{"id":"https://openalex.org/W6912438696","doi":"https://doi.org/10.5281/zenodo.4115919","title":"Artifact: Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata","display_name":"Artifact: Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata","publication_year":2020,"publication_date":"2020-10-21","ids":{"openalex":"https://openalex.org/W6912438696","doi":"https://doi.org/10.5281/zenodo.4115919"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:4115919","is_oa":true,"landing_page_url":"https://zenodo.org/record/4115919","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/4115919","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Andr\u00e9, Etienne","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":true,"raw_author_name":"Andr\u00e9, Etienne","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":null,"display_name":"Arias, Jaime","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":"Arias, Jaime","raw_affiliation_strings":["LIPN, CNRS UMR 7030, Universit\u00e9 Sorbonne Paris Nord, France"],"affiliations":[{"raw_affiliation_string":"LIPN, CNRS UMR 7030, Universit\u00e9 Sorbonne Paris Nord, France","institution_ids":["https://openalex.org/I39804081","https://openalex.org/I4210156583","https://openalex.org/I1294671590","https://openalex.org/I4210091279"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Petrucci, Laure","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":"Petrucci, Laure","raw_affiliation_strings":["LIPN, CNRS UMR 7030, Universit\u00e9 Sorbonne Paris Nord, France"],"affiliations":[{"raw_affiliation_string":"LIPN, CNRS UMR 7030, Universit\u00e9 Sorbonne Paris Nord, France","institution_ids":["https://openalex.org/I39804081","https://openalex.org/I4210156583","https://openalex.org/I1294671590","https://openalex.org/I4210091279"]}]},{"author_position":"last","author":{"id":null,"display_name":"van de Pol, Jaco","orcid":null},"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":false,"raw_author_name":"van de Pol, Jaco","raw_affiliation_strings":["Computer Science Department, University of Aarhus, Denmark"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, University of Aarhus, Denmark","institution_ids":["https://openalex.org/I204337017"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210121838","https://openalex.org/I90183372"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.7021999955177307},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.6470999717712402},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.5422000288963318},{"id":"https://openalex.org/keywords/scripting-language","display_name":"Scripting language","score":0.4560999870300293},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.44839999079704285},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4269999861717224},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.40310001373291016},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.35850000381469727}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7912999987602234},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.7021999955177307},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.6470999717712402},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5651999711990356},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.5422000288963318},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.4560999870300293},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.44839999079704285},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4269999861717224},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.40310001373291016},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.35850000381469727},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3483000099658966},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.32100000977516174},{"id":"https://openalex.org/C159694833","wikidata":"https://www.wikidata.org/wiki/Q2321565","display_name":"Iterative method","level":2,"score":0.31709998846054077},{"id":"https://openalex.org/C24574437","wikidata":"https://www.wikidata.org/wiki/Q7135228","display_name":"Parametric model","level":3,"score":0.3070000112056732},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.30329999327659607},{"id":"https://openalex.org/C2779982483","wikidata":"https://www.wikidata.org/wiki/Q6094420","display_name":"Iterative refinement","level":2,"score":0.27149999141693115},{"id":"https://openalex.org/C180611318","wikidata":"https://www.wikidata.org/wiki/Q7316902","display_name":"Retransmission","level":3,"score":0.27079999446868896},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.26930001378059387},{"id":"https://openalex.org/C143587482","wikidata":"https://www.wikidata.org/wiki/Q1543216","display_name":"Iterative and incremental development","level":2,"score":0.2506999969482422}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:4115919","is_oa":true,"landing_page_url":"https://zenodo.org/record/4115919","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},{"id":"doi:10.5281/zenodo.4115919","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.4115919","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:4115919","is_oa":true,"landing_page_url":"https://zenodo.org/record/4115919","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},"sustainable_development_goals":[{"score":0.4753046929836273,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0,25,44,100,143],"artifact":[1,88,105,144],"contains":[2,89],"the":[3,8,28,65,73,90,94,98,104,109,122,125,130,141,147,153,163],"latest":[4],"version":[5,161],"(3.0.0)":[6],"of":[7,53,72,140,162],"imitator":[9],"software":[10],"(https://www.imitator.fr)":[11],"which":[12],"provides":[13,146],"new":[14],"implementation":[15],"and":[16,36,39,50,116,158],"heuristics":[17],"for":[18,107,156],"cycle":[19,110],"detection":[20,111],"in":[21,64,103,113,129,137],"Parametric":[22],"Timed":[23],"Automata.<br>":[24],"paper":[26],"presents":[27],"different":[29],"algorithms":[30,45],"at":[31],"stake,":[32],"studies":[33],"their":[34],"termination":[35],"completeness":[37],"properties,":[38],"compares":[40],"them":[41],"through":[42],"experiments.":[43],"cover":[46],"BFS":[47],"(Breadth-First":[48],"Search)":[49],"several":[51],"variants":[52],"NDFS":[54],"(Nested":[55],"Depth":[56],"First":[57],"Search),":[58],"including":[59],"an":[60],"iterative":[61],"deepening":[62],"approach,":[63],"parametric":[66,78],"setting.":[67],"It":[68],"finally":[69],"tackles":[70],"properties":[71],"BRP":[74,126],"(Bounded":[75],"Retransmission":[76],"Protocol)":[77],"model,":[79],"synthesising":[80],"more":[81],"liberal":[82],"constraints":[83],"than":[84],"previous":[85],"works.":[86],"This":[87],"means":[91],"to":[92],"reproduce":[93],"experimental":[95],"results":[96,112],"from":[97],"paper.":[99],"scripts":[101],"provided":[102],"allow":[106],"obtaining":[108],"tables":[114],"1":[115],"2.":[117],"An":[118],"additional":[119],"script":[120],"launches":[121],"experiments":[123],"on":[124],"case":[127],"study,":[128],"same":[131],"order":[132],"as":[133,150,152],"they":[134],"are":[135],"detailed":[136],"section":[138],"6":[139],"paper.<br>":[142],"also":[145],"source":[148],"files":[149],"well":[151],"necessary":[154],"libraries":[155],"compilation,":[157],"a":[159],"pre-compiled":[160],"tool.":[164],"Zenodo":[165],"link:":[166,169],"https://doi.org/10.5281/zenodo.4115919<br>":[167],"Gitlab":[168],"https://depot.lipn.univ-paris13.fr/imitator/papers/tacas21":[170]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}