{"id":"https://openalex.org/W2186806377","doi":"https://doi.org/10.1109/memcod.2015.7340462","title":"SCEst: Sequentially constructive esterel","display_name":"SCEst: Sequentially constructive esterel","publication_year":2015,"publication_date":"2015-09-01","ids":{"openalex":"https://openalex.org/W2186806377","doi":"https://doi.org/10.1109/memcod.2015.7340462","mag":"2186806377"},"language":"en","primary_location":{"id":"doi:10.1109/memcod.2015.7340462","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2015.7340462","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)","raw_type":"proceedings-article"},"type":"article","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/A5083685943","display_name":"Karsten Rathlev","orcid":null},"institutions":[{"id":"https://openalex.org/I32021983","display_name":"Kiel University","ror":"https://ror.org/04v76ef78","country_code":"DE","type":"education","lineage":["https://openalex.org/I32021983"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Karsten Rathlev","raw_affiliation_strings":["Christian Motika and Reinhard von Hanxleden, Christian-Albrechts-Universit\u00e4t zu Kiel, Kiel, Germany"],"affiliations":[{"raw_affiliation_string":"Christian Motika and Reinhard von Hanxleden, Christian-Albrechts-Universit\u00e4t zu Kiel, Kiel, Germany","institution_ids":["https://openalex.org/I32021983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040819930","display_name":"Steven Smyth","orcid":"https://orcid.org/0000-0003-2470-0880"},"institutions":[{"id":"https://openalex.org/I32021983","display_name":"Kiel University","ror":"https://ror.org/04v76ef78","country_code":"DE","type":"education","lineage":["https://openalex.org/I32021983"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Steven Smyth","raw_affiliation_strings":["Christian Motika and Reinhard von Hanxleden, Christian-Albrechts-Universit\u00e4t zu Kiel, Kiel, Germany"],"affiliations":[{"raw_affiliation_string":"Christian Motika and Reinhard von Hanxleden, Christian-Albrechts-Universit\u00e4t zu Kiel, Kiel, Germany","institution_ids":["https://openalex.org/I32021983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113453643","display_name":"Christian Motika","orcid":null},"institutions":[{"id":"https://openalex.org/I32021983","display_name":"Kiel University","ror":"https://ror.org/04v76ef78","country_code":"DE","type":"education","lineage":["https://openalex.org/I32021983"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christian Motika","raw_affiliation_strings":["Christian-Albrechts-Universitat zu Kiel, Kiel, Schleswig-Holstein, DE"],"affiliations":[{"raw_affiliation_string":"Christian-Albrechts-Universitat zu Kiel, Kiel, Schleswig-Holstein, DE","institution_ids":["https://openalex.org/I32021983"]}]},{"author_position":"middle","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":"Kiel University","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-Universitat zu Kiel, Kiel, Schleswig-Holstein, DE"],"affiliations":[{"raw_affiliation_string":"Christian-Albrechts-Universitat zu Kiel, Kiel, Schleswig-Holstein, DE","institution_ids":["https://openalex.org/I32021983"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056710976","display_name":"Michael Mendler","orcid":"https://orcid.org/0000-0001-9562-0576"},"institutions":[{"id":"https://openalex.org/I94626330","display_name":"University of Bamberg","ror":"https://ror.org/01c1w6d29","country_code":"DE","type":"education","lineage":["https://openalex.org/I94626330"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Michael Mendler","raw_affiliation_strings":["Otto-Friedrich-Universitat Bamberg, Bamberg, Bayern, DE"],"affiliations":[{"raw_affiliation_string":"Otto-Friedrich-Universitat Bamberg, Bamberg, Bayern, DE","institution_ids":["https://openalex.org/I94626330"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5083685943"],"corresponding_institution_ids":["https://openalex.org/I32021983"],"apc_list":null,"apc_paid":null,"fwci":1.2919,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.8072452,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"91","issue":null,"first_page":"10","last_page":"19"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9997000098228455,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9991000294685364,"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/T10142","display_name":"Formal Methods in Verification","score":0.9987000226974487,"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/computer-science","display_name":"Computer science","score":0.6541755199432373},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.6362878084182739},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4447647035121918},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3224201202392578},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.05871197581291199}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6541755199432373},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.6362878084182739},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4447647035121918},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3224201202392578},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.05871197581291199}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/memcod.2015.7340462","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2015.7340462","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W34362263","https://openalex.org/W1514615033","https://openalex.org/W1973926979","https://openalex.org/W1982205631","https://openalex.org/W1984399134","https://openalex.org/W2039801803","https://openalex.org/W2076623712","https://openalex.org/W2128969973","https://openalex.org/W2130358593","https://openalex.org/W2151561628","https://openalex.org/W2156783651","https://openalex.org/W2166295031","https://openalex.org/W2187708965","https://openalex.org/W2622045392","https://openalex.org/W2741986823","https://openalex.org/W3011852893","https://openalex.org/W6601329792","https://openalex.org/W6643862963","https://openalex.org/W6646738220","https://openalex.org/W6686371869"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2377770720","https://openalex.org/W94411513","https://openalex.org/W4311883357","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W160889949","https://openalex.org/W2197168648"],"abstract_inverted_index":{"The":[0],"synchronous":[1],"language":[2],"Esterel":[3,57],"provides":[4,95],"determinate":[5],"concurrency":[6],"for":[7,33,52,103],"reactive":[8],"systems.":[9],"Determinacy":[10],"is":[11,31,49,72,85],"ensured":[12],"by":[13,62],"the":[14,34,76,88],"\u201csignal":[15],"coherence":[16],"rule,\u201d":[17],"which":[18,93],"demands":[19],"that":[20],"signals":[21],"have":[22],"a":[23,96],"stable":[24],"value":[25],"throughout":[26],"one":[27],"reaction":[28],"cycle.":[29],"This":[30],"natural":[32],"original":[35],"application":[36],"domains":[37],"of":[38,82],"Esterel,":[39],"such":[40],"as":[41,68,70],"controller":[42],"design":[43],"and":[44,100],"hardware":[45],"development;":[46],"however,":[47],"it":[48],"unnecessarily":[50],"restrictive":[51],"software":[53],"development.":[54],"Sequentially":[55,79,90],"Constructive":[56,80,91],"(SCEst)":[58],"overcomes":[59],"this":[60],"restriction":[61],"allowing":[63],"values":[64],"to":[65],"change":[66],"instantaneously,":[67],"long":[69],"determinacy":[71],"still":[73],"guaranteed,":[74],"adopting":[75],"recently":[77],"proposed":[78],"model":[81],"computation.":[83],"SCEst":[84],"grounded":[86],"in":[87],"minimal":[89],"Language,":[92],"also":[94],"novel":[97],"semantic":[98],"definition":[99],"compilation":[101],"approach":[102],"Esterel.":[104]},"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":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}