{"id":"https://openalex.org/W3138868504","doi":"https://doi.org/10.1007/978-3-030-72016-2_17","title":"Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata","display_name":"Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3138868504","doi":"https://doi.org/10.1007/978-3-030-72016-2_17","mag":"3138868504"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-72016-2_17","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-72016-2_17","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-72016-2_17.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-72016-2_17.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084807183","display_name":"\u00c9tienne Andr\u00e9","orcid":"https://orcid.org/0000-0001-8473-9555"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210121838","display_name":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","ror":"https://ror.org/02vnf0c38","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I90183372"]},{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"\u00c9tienne Andr\u00e9","raw_affiliation_strings":["Universit\u00e9 de Lorraine, CNRS, Inria, LORIA, Nancy, France"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Lorraine, CNRS, Inria, LORIA, Nancy, France","institution_ids":["https://openalex.org/I90183372","https://openalex.org/I4210121838","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027273299","display_name":"Jaime Arias","orcid":"https://orcid.org/0000-0003-3019-4902"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I4210091279","display_name":"Universit\u00e9 Sorbonne Paris Nord","ror":"https://ror.org/0199hds37","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210091279"]},{"id":"https://openalex.org/I4210156583","display_name":"Laboratoire d'Informatique de Paris-Nord","ror":"https://ror.org/05g1zjw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210091279","https://openalex.org/I4210156583","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jaime Arias","raw_affiliation_strings":["LIPN, CNRS UMR 7030, Universit\u00e9 Sorbonne Paris Nord, Villetaneuse, France"],"affiliations":[{"raw_affiliation_string":"LIPN, CNRS UMR 7030, Universit\u00e9 Sorbonne Paris Nord, Villetaneuse, France","institution_ids":["https://openalex.org/I39804081","https://openalex.org/I4210156583","https://openalex.org/I1294671590","https://openalex.org/I4210091279"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051227207","display_name":"Laure Petrucci","orcid":"https://orcid.org/0000-0003-3154-5268"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I4210091279","display_name":"Universit\u00e9 Sorbonne Paris Nord","ror":"https://ror.org/0199hds37","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210091279"]},{"id":"https://openalex.org/I4210156583","display_name":"Laboratoire d'Informatique de Paris-Nord","ror":"https://ror.org/05g1zjw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210091279","https://openalex.org/I4210156583","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Laure Petrucci","raw_affiliation_strings":["LIPN, CNRS UMR 7030, Universit\u00e9 Sorbonne Paris Nord, Villetaneuse, France"],"affiliations":[{"raw_affiliation_string":"LIPN, CNRS UMR 7030, Universit\u00e9 Sorbonne Paris Nord, Villetaneuse, France","institution_ids":["https://openalex.org/I39804081","https://openalex.org/I4210156583","https://openalex.org/I1294671590","https://openalex.org/I4210091279"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012697499","display_name":"Jaco van de Pol","orcid":"https://orcid.org/0000-0003-4305-0625"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Jaco van de Pol","raw_affiliation_strings":["Aarhus University, Aarhus, Denmark"],"affiliations":[{"raw_affiliation_string":"Aarhus University, Aarhus, Denmark","institution_ids":["https://openalex.org/I204337017"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5012697499"],"corresponding_institution_ids":["https://openalex.org/I204337017"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":5.4503,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.96694737,"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":"311","last_page":"329"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"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":1.0,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/computer-science","display_name":"Computer science","score":0.846714973449707},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.7103850841522217},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.6273391842842102},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.596817135810852},{"id":"https://openalex.org/keywords/timed-automaton","display_name":"Timed automaton","score":0.42741072177886963},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4263894855976105},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33697786927223206},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12928801774978638}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.846714973449707},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7103850841522217},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6273391842842102},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.596817135810852},{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.42741072177886963},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4263894855976105},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33697786927223206},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12928801774978638},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-030-72016-2_17","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-72016-2_17","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-72016-2_17.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.atira.dk:openaire/9d3cd404-d413-4334-be61-4aa8744725eb","is_oa":true,"landing_page_url":"https://pure.au.dk/portal/en/publications/9d3cd404-d413-4334-be61-4aa8744725eb","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Andr\u00e9, \u00c9, Arias, J, Petrucci, L & Pol, J V D 2021, Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. in J F Groote & K G Larsen (eds), Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 \u2013 April 1, 2021, Proceedings, Part I. Springer, Lecture Notes in Computer Science, vol. 12651, pp. 311-329. https://doi.org/10.1007/978-3-030-72016-2_17","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:HAL:hal-03340887v1","is_oa":false,"landing_page_url":"https://hal.science/hal-03340887","pdf_url":null,"source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","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":"https://etaps.org/2021/tacas/","raw_type":"Conference papers"},{"id":"pmh:oai:pubmedcentral.nih.gov:7979200","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/7979200","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Tools and Algorithms for the Construction and Analysis of Systems","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-72016-2_17","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-72016-2_17","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-72016-2_17.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2569206284","display_name":null,"funder_award_id":"ProMiS (ANR-19-CE25-0015)","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G3389333781","display_name":null,"funder_award_id":"INS2I","funder_id":"https://openalex.org/F4320322892","funder_display_name":"Centre National de la Recherche Scientifique"},{"id":"https://openalex.org/G7758152977","display_name":null,"funder_award_id":"support","funder_id":"https://openalex.org/F4320322892","funder_display_name":"Centre National de la Recherche Scientifique"},{"id":"https://openalex.org/G8318455765","display_name":null,"funder_award_id":"ANR-19","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G8490020569","display_name":null,"funder_award_id":"ANR-19-CE25-0015","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320322892","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73"},{"id":"https://openalex.org/F4320336508","display_name":"Institut des sciences de l'information et de leurs interactions","ror":"https://ror.org/04z22qz54"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3138868504.pdf","grobid_xml":"https://content.openalex.org/works/W3138868504.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W11326594","https://openalex.org/W1493300555","https://openalex.org/W1503762954","https://openalex.org/W1530711118","https://openalex.org/W1667231716","https://openalex.org/W1917164756","https://openalex.org/W1964976168","https://openalex.org/W1976659775","https://openalex.org/W2012935476","https://openalex.org/W2025782239","https://openalex.org/W2062873592","https://openalex.org/W2098166444","https://openalex.org/W2099184861","https://openalex.org/W2101508170","https://openalex.org/W2133057837","https://openalex.org/W2155953212","https://openalex.org/W2274504493","https://openalex.org/W2295421498","https://openalex.org/W2296504218","https://openalex.org/W2522043470","https://openalex.org/W2604784900","https://openalex.org/W2607981089","https://openalex.org/W2905232208","https://openalex.org/W2906749021","https://openalex.org/W2954656065","https://openalex.org/W3010307732","https://openalex.org/W3120288634","https://openalex.org/W3154685813","https://openalex.org/W4299446758"],"related_works":["https://openalex.org/W1750171350","https://openalex.org/W1903000972","https://openalex.org/W2569130014","https://openalex.org/W2095644384","https://openalex.org/W2149582339","https://openalex.org/W2900094146","https://openalex.org/W1597414920","https://openalex.org/W1928422391","https://openalex.org/W2148140319","https://openalex.org/W2124122503"],"abstract_inverted_index":{"Abstract":[0],"We":[1,31,45,57],"study":[2],"semi-algorithms":[3],"to":[4,39,79],"synthesise":[5],"the":[6,47,63,77],"constraints":[7],"under":[8],"which":[9],"a":[10,21,55,71],"Parametric":[11],"Timed":[12],"Automaton":[13],"satisfies":[14],"some":[15],"liveness":[16],"requirement.":[17],"The":[18],"algorithms":[19,53],"traverse":[20],"possibly":[22],"infinite":[23],"parametric":[24],"zone":[25],"graph,":[26],"searching":[27],"for":[28,42,62],"accepting":[29],"cycles.":[30],"provide":[32],"new":[33,72],"search":[34],"and":[35,49],"pruning":[36],"algorithms,":[37],"leading":[38],"successful":[40],"termination":[41],"many":[43],"examples.":[44],"demonstrate":[46],"success":[48],"efficiency":[50],"of":[51,74],"these":[52],"on":[54],"benchmark.":[56],"also":[58],"illustrate":[59],"parameter":[60],"synthesis":[61],"classical":[64],"Bounded":[65],"Retransmission":[66],"Protocol.":[67],"Finally,":[68],"we":[69],"introduce":[70],"notion":[73],"completeness":[75],"in":[76],"limit,":[78],"investigate":[80],"if":[81],"an":[82],"algorithm":[83],"enumerates":[84],"all":[85],"solutions.":[86]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":5}],"updated_date":"2026-04-15T08:11:43.952461","created_date":"2025-10-10T00:00:00"}