{"id":"https://openalex.org/W2098914714","doi":"https://doi.org/10.1145/1134650.1134667","title":"Synthesizing safe state machines from Esterel","display_name":"Synthesizing safe state machines from Esterel","publication_year":2006,"publication_date":"2006-06-14","ids":{"openalex":"https://openalex.org/W2098914714","doi":"https://doi.org/10.1145/1134650.1134667","mag":"2098914714"},"language":"en","primary_location":{"id":"doi:10.1145/1134650.1134667","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1134650.1134667","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems","raw_type":"proceedings-article"},"type":"conference-paper","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/A5030268596","display_name":"Steffen Prochnow","orcid":null},"institutions":[{"id":"https://openalex.org/I32021983","display_name":"Christian-Albrechts-Universit\u00e4t zu Kiel","ror":"https://ror.org/04v76ef78","country_code":"DE","type":"education","lineage":["https://openalex.org/I32021983"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Steffen Prochnow","raw_affiliation_strings":["Christian-Albrechts-Universit\u00e4t Kiel, Kiel, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Christian-Albrechts-Universit\u00e4t Kiel, Kiel, Germany","institution_ids":["https://openalex.org/I32021983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082890682","display_name":"Claus Traulsen","orcid":null},"institutions":[{"id":"https://openalex.org/I32021983","display_name":"Christian-Albrechts-Universit\u00e4t zu Kiel","ror":"https://ror.org/04v76ef78","country_code":"DE","type":"education","lineage":["https://openalex.org/I32021983"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Claus Traulsen","raw_affiliation_strings":["Christian-Albrechts-Universit\u00e4t Kiel, Kiel, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Christian-Albrechts-Universit\u00e4t Kiel, Kiel, Germany","institution_ids":["https://openalex.org/I32021983"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029982033","display_name":"Reinhard von Hanxleden","orcid":"https://orcid.org/0000-0001-5691-1215"},"institutions":[{"id":"https://openalex.org/I32021983","display_name":"Christian-Albrechts-Universit\u00e4t zu Kiel","ror":"https://ror.org/04v76ef78","country_code":"DE","type":"education","lineage":["https://openalex.org/I32021983"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Reinhard von Hanxleden","raw_affiliation_strings":["Christian-Albrechts-Universit\u00e4t Kiel, Kiel, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Christian-Albrechts-Universit\u00e4t Kiel, Kiel, Germany","institution_ids":["https://openalex.org/I32021983"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I32021983"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"113","last_page":"124"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9990000128746033,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.863884449005127},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6578295230865479},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5524588227272034},{"id":"https://openalex.org/keywords/readability","display_name":"Readability","score":0.46728548407554626},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.41766437888145447}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.863884449005127},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6578295230865479},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5524588227272034},{"id":"https://openalex.org/C2778143727","wikidata":"https://www.wikidata.org/wiki/Q1820650","display_name":"Readability","level":2,"score":0.46728548407554626},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.41766437888145447},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1134650.1134667","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1134650.1134667","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.523.1624","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.523.1624","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://rtsys.informatik.uni-kiel.de/~biblio/downloads/papers/lctes06-spr.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.5400000214576721,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1580085173","https://openalex.org/W2001914359","https://openalex.org/W2012593910","https://openalex.org/W2019385049","https://openalex.org/W2049455231","https://openalex.org/W2081938726","https://openalex.org/W2096039823","https://openalex.org/W2100500718","https://openalex.org/W2125415493","https://openalex.org/W2129394298","https://openalex.org/W2135120182","https://openalex.org/W2151561628","https://openalex.org/W2533986088"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1964661231","https://openalex.org/W4254960163","https://openalex.org/W3110264473","https://openalex.org/W2032810564","https://openalex.org/W2370831213","https://openalex.org/W2972807713","https://openalex.org/W4315704968","https://openalex.org/W2100255360","https://openalex.org/W2107506952"],"abstract_inverted_index":{"Esterel":[0,18,69,78,97,124],"and":[1,42,63,104,108,160,205],"Safe":[2],"State":[3],"Machines":[4],"(SSMs)":[5],"are":[6,24,32],"synchronous":[7],"languages":[8],"dedicated":[9],"to":[10,36,48,76,106,153,163,198],"the":[11,27,65,90,96,110,155,167,179,200,206,209],"modeling":[12,194],"of":[13,52,58,68,157,166,183,202,208],"embedded":[14],"reactive":[15],"systems.":[16],"While":[17],"is":[19,70,175],"a":[20,53,86,93,101,131,192],"textual":[21,40,66],"language,":[22],"SSMs":[23,115],"based":[25],"on":[26],"graphical":[28,102],"Statecharts":[29,31],"formalism.":[30],"often":[33],"more":[34],"intuitive":[35],"understand":[37],"than":[38],"their":[39,43],"counterpart,":[41],"animated":[44],"simulation":[45],"can":[46],"help":[47],"visualize":[49],"subtle":[50],"behaviors":[51],"program.":[54],"However,":[55],"in":[56,116,136,191],"terms":[57],"editing":[59],"speed,":[60],"revision":[61],"management,":[62],"meta-modeling,":[64],"nature":[67],"advantageous.":[71],"We":[72],"present":[73],"an":[74,123,127],"approach":[75,204],"transform":[77],"v5":[79],"programs":[80],"into":[81,126],"equivalent":[82,128],"SSMs.":[83,143,184,211],"This":[84],"permits":[85],"design":[87,182],"flow":[88],"where":[89],"designer":[91],"develops":[92],"system":[94,111],"at":[95],"level,":[98],"but":[99,138],"uses":[100],"browser":[103],"simulator":[105],"inspect":[107],"validate":[109],"under":[112],"development.We":[113],"synthesize":[114],"two":[117],"phases.":[118],"The":[119,144,185],"first":[120],"phase":[121,146],"transforms":[122],"program":[125],"SSM,":[129],"using":[130],"structural":[132],"translation":[133],"that":[134,151],"results":[135],"correct,":[137],"typically":[139],"not":[140],"very":[141],"compact":[142],"second":[145],"iteratively":[147],"applies":[148],"optimization":[149,174],"rules":[150],"aim":[152],"reduce":[154],"number":[156],"states,":[158],"transitions":[159],"hierarchy":[161],"levels":[162],"enhance":[164],"readability":[165],"SSM.":[168],"As":[169],"it":[170],"turned":[171],"out,":[172],"this":[173,203],"also":[176],"useful":[177],"for":[178],"traditional,":[180],"manual":[181],"complete":[186],"transformation":[187],"has":[188],"been":[189],"implemented":[190],"prototypical":[193],"environment,":[195],"which":[196],"allows":[197],"demonstrate":[199],"practicality":[201],"compactness":[207],"generated":[210]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}