{"id":"https://openalex.org/W14301426","doi":"https://doi.org/10.1007/978-3-642-39176-7_5","title":"On-the-Fly Control Software Synthesis","display_name":"On-the-Fly Control Software Synthesis","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W14301426","doi":"https://doi.org/10.1007/978-3-642-39176-7_5","mag":"14301426"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-39176-7_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-39176-7_5","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007276194","display_name":"Vadim Alimguzhin","orcid":"https://orcid.org/0000-0001-9251-5244"},"institutions":[{"id":"https://openalex.org/I7885462","display_name":"Ufa State Aviation Technical University","ror":"https://ror.org/046gpnb18","country_code":"RU","type":"education","lineage":["https://openalex.org/I7885462"]},{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT","RU"],"is_corresponding":false,"raw_author_name":"Vadim Alimguzhin","raw_affiliation_strings":["Department of Computer Science and Robotics, Ufa State Aviation Technical University, 12 Karl Marx Street, Ufa, 450000, Russian Federation","Dip. di Informatica, Sapienza Universit\u00e0 di Roma, Via Salaria 113, 00198, Roma, Italy","Sapienza Universit\u00e0 di Roma","Ufa State Aviation Technical University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Robotics, Ufa State Aviation Technical University, 12 Karl Marx Street, Ufa, 450000, Russian Federation","institution_ids":["https://openalex.org/I7885462"]},{"raw_affiliation_string":"Dip. di Informatica, Sapienza Universit\u00e0 di Roma, Via Salaria 113, 00198, Roma, Italy","institution_ids":["https://openalex.org/I861853513"]},{"raw_affiliation_string":"Sapienza Universit\u00e0 di Roma","institution_ids":["https://openalex.org/I861853513"]},{"raw_affiliation_string":"Ufa State Aviation Technical University","institution_ids":["https://openalex.org/I7885462"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052419841","display_name":"Federico Mari","orcid":"https://orcid.org/0000-0003-4289-9301"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Federico Mari","raw_affiliation_strings":["Dip. di Informatica, Sapienza Universit\u00e0 di Roma, Via Salaria 113, 00198, Roma, Italy","Sapienza Universit\u00e0 di Roma"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dip. di Informatica, Sapienza Universit\u00e0 di Roma, Via Salaria 113, 00198, Roma, Italy","institution_ids":["https://openalex.org/I861853513"]},{"raw_affiliation_string":"Sapienza Universit\u00e0 di Roma","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085357809","display_name":"Igor Melatti","orcid":"https://orcid.org/0000-0002-6273-6190"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Igor Melatti","raw_affiliation_strings":["Dip. di Informatica, Sapienza Universit\u00e0 di Roma, Via Salaria 113, 00198, Roma, Italy","Sapienza Universit\u00e0 di Roma"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dip. di Informatica, Sapienza Universit\u00e0 di Roma, Via Salaria 113, 00198, Roma, Italy","institution_ids":["https://openalex.org/I861853513"]},{"raw_affiliation_string":"Sapienza Universit\u00e0 di Roma","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028335233","display_name":"Ivano Salvo","orcid":"https://orcid.org/0000-0003-3111-701X"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Ivano Salvo","raw_affiliation_strings":["Dip. di Informatica, Sapienza Universit\u00e0 di Roma, Via Salaria 113, 00198, Roma, Italy","Sapienza Universit\u00e0 di Roma"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dip. di Informatica, Sapienza Universit\u00e0 di Roma, Via Salaria 113, 00198, Roma, Italy","institution_ids":["https://openalex.org/I861853513"]},{"raw_affiliation_string":"Sapienza Universit\u00e0 di Roma","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010524910","display_name":"Enrico Tronci","orcid":"https://orcid.org/0000-0002-0377-3119"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Enrico Tronci","raw_affiliation_strings":["Dip. di Informatica, Sapienza Universit\u00e0 di Roma, Via Salaria 113, 00198, Roma, Italy","Sapienza Universit\u00e0 di Roma"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dip. di Informatica, Sapienza Universit\u00e0 di Roma, Via Salaria 113, 00198, Roma, Italy","institution_ids":["https://openalex.org/I861853513"]},{"raw_affiliation_string":"Sapienza Universit\u00e0 di Roma","institution_ids":["https://openalex.org/I861853513"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":4.085,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.93522907,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"61","last_page":"80"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/realizability","display_name":"Realizability","score":0.8885090351104736},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8260188698768616},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5729885697364807},{"id":"https://openalex.org/keywords/software-design","display_name":"Software design","score":0.5394907593727112},{"id":"https://openalex.org/keywords/control-software","display_name":"Control software","score":0.4437633156776428},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.43255582451820374},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.41606754064559937},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2225489616394043}],"concepts":[{"id":"https://openalex.org/C2776378722","wikidata":"https://www.wikidata.org/wiki/Q3454417","display_name":"Realizability","level":2,"score":0.8885090351104736},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8260188698768616},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5729885697364807},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.5394907593727112},{"id":"https://openalex.org/C2988765172","wikidata":"https://www.wikidata.org/wiki/Q22349898","display_name":"Control software","level":3,"score":0.4437633156776428},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.43255582451820374},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.41606754064559937},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2225489616394043}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-642-39176-7_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-39176-7_5","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.386.8260","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.8260","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://spinroot.com/spin/Workshops/ws13/spin2013_submission_24.pdf","raw_type":"text"},{"id":"pmh:oai:iris.uniroma1.it:11573/515408","is_oa":false,"landing_page_url":"http://hdl.handle.net/11573/515408","pdf_url":null,"source":{"id":"https://openalex.org/S4377196107","display_name":"IRIS Research product catalog (Sapienza University of Rome)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W412460","https://openalex.org/W103535159","https://openalex.org/W169615145","https://openalex.org/W183058569","https://openalex.org/W1481427335","https://openalex.org/W1484739396","https://openalex.org/W1522448884","https://openalex.org/W1539432158","https://openalex.org/W1562347120","https://openalex.org/W1565544898","https://openalex.org/W1568485177","https://openalex.org/W1580392414","https://openalex.org/W1586668623","https://openalex.org/W1589421353","https://openalex.org/W1805265119","https://openalex.org/W1900127520","https://openalex.org/W1904025428","https://openalex.org/W1973942504","https://openalex.org/W1999929714","https://openalex.org/W2004463571","https://openalex.org/W2008166752","https://openalex.org/W2033455284","https://openalex.org/W2037635833","https://openalex.org/W2042027173","https://openalex.org/W2042281190","https://openalex.org/W2048145195","https://openalex.org/W2057842062","https://openalex.org/W2079042739","https://openalex.org/W2093069131","https://openalex.org/W2115309705","https://openalex.org/W2125779951","https://openalex.org/W2128076627","https://openalex.org/W2136389843","https://openalex.org/W2139101939","https://openalex.org/W2142184759","https://openalex.org/W2152303030","https://openalex.org/W2152533774","https://openalex.org/W2170091282","https://openalex.org/W2170151971","https://openalex.org/W2496196621","https://openalex.org/W2963437838","https://openalex.org/W3009865963","https://openalex.org/W3016163793","https://openalex.org/W3048437239","https://openalex.org/W4239216443","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4214835859","https://openalex.org/W4312927049","https://openalex.org/W2380017313","https://openalex.org/W2520111506","https://openalex.org/W2359702179","https://openalex.org/W2366623749","https://openalex.org/W39186842","https://openalex.org/W2984668418","https://openalex.org/W2394328671","https://openalex.org/W4253428884"],"abstract_inverted_index":null,"counts_by_year":[{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":4}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2016-06-24T00:00:00"}