{"id":"https://openalex.org/W2771782676","doi":"https://doi.org/10.1145/3063129","title":"SCEst","display_name":"SCEst","publication_year":2017,"publication_date":"2017-12-07","ids":{"openalex":"https://openalex.org/W2771782676","doi":"https://doi.org/10.1145/3063129","mag":"2771782676"},"language":"en","primary_location":{"id":"doi:10.1145/3063129","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3063129","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-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/A5040819930","display_name":"Steven Smyth","orcid":"https://orcid.org/0000-0003-2470-0880"},"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":"Steven Smyth","raw_affiliation_strings":["Kiel University, Kiel, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Kiel University, 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":"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":"Christian Motika","raw_affiliation_strings":["Kiel University, Kiel, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Kiel University, Kiel, Germany","institution_ids":["https://openalex.org/I32021983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083685943","display_name":"Karsten Rathlev","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":"Karsten Rathlev","raw_affiliation_strings":["Kiel University, Kiel, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Kiel University, Kiel, Germany","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":"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":["Kiel University, Kiel, Germany"],"raw_orcid":"https://orcid.org/0000-0001-5691-1215","affiliations":[{"raw_affiliation_string":"Kiel University, Kiel, Germany","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":["Bamberg University, Bamberg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Bamberg University, Bamberg, Germany","institution_ids":["https://openalex.org/I94626330"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9248,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.76681253,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"17","issue":"2","first_page":"1","last_page":"26"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998000264167786,"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.9998000264167786,"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.9986000061035156,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9962000250816345,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8819589614868164},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.753978431224823},{"id":"https://openalex.org/keywords/determinacy","display_name":"Determinacy","score":0.7476314306259155},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.6802892088890076},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6221623420715332},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.46304017305374146},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38731685280799866},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3453732430934906},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3349330723285675},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.2253490388393402},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08435264229774475}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8819589614868164},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.753978431224823},{"id":"https://openalex.org/C58468513","wikidata":"https://www.wikidata.org/wiki/Q1201165","display_name":"Determinacy","level":2,"score":0.7476314306259155},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.6802892088890076},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6221623420715332},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.46304017305374146},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38731685280799866},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3453732430934906},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3349330723285675},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.2253490388393402},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08435264229774475},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3063129","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3063129","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320310654","display_name":"Indian National Science Academy","ror":"https://ror.org/051475v86"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W34362263","https://openalex.org/W80966606","https://openalex.org/W154245241","https://openalex.org/W963977683","https://openalex.org/W1533525390","https://openalex.org/W1973926979","https://openalex.org/W1982205631","https://openalex.org/W1984399134","https://openalex.org/W2031131603","https://openalex.org/W2039801803","https://openalex.org/W2076623712","https://openalex.org/W2083877067","https://openalex.org/W2085773946","https://openalex.org/W2090321041","https://openalex.org/W2100044916","https://openalex.org/W2101431901","https://openalex.org/W2105858189","https://openalex.org/W2127335869","https://openalex.org/W2128969973","https://openalex.org/W2130358593","https://openalex.org/W2149127686","https://openalex.org/W2151561628","https://openalex.org/W2156783651","https://openalex.org/W2166295031","https://openalex.org/W2176300081","https://openalex.org/W2179148191","https://openalex.org/W2186806377","https://openalex.org/W2339714652","https://openalex.org/W2622045392","https://openalex.org/W2741986823","https://openalex.org/W3011852893"],"related_works":["https://openalex.org/W3037524176","https://openalex.org/W45652848","https://openalex.org/W1521335825","https://openalex.org/W2505787881","https://openalex.org/W1482555883","https://openalex.org/W4213060090","https://openalex.org/W4301421734","https://openalex.org/W2063305408","https://openalex.org/W4239791835","https://openalex.org/W2479625298"],"abstract_inverted_index":{"The":[0],"synchronous":[1],"language":[2],"Esterel":[3,58],"provides":[4,99],"determinate":[5],"concurrency":[6],"for":[7,34,53,107],"reactive":[8],"systems.":[9],"Determinacy":[10],"is":[11,32,50,73,86],"ensured":[12],"by":[13,63],"the":[14,35,77,89],"signal":[15],"coherence":[16],"rule":[17],",":[18],"which":[19,97],"demands":[20],"that":[21],"signals":[22],"have":[23],"a":[24,100],"stable":[25],"value":[26],"throughout":[27],"one":[28],"reaction":[29],"cycle.":[30],"This":[31],"natural":[33],"original":[36],"application":[37],"domains":[38],"of":[39,83],"Esterel,":[40],"such":[41],"as":[42,69,71],"controller":[43],"design":[44],"and":[45,104],"hardware":[46],"development;":[47],"however,":[48],"it":[49],"unnecessarily":[51],"restrictive":[52],"software":[54],"development.":[55],"Sequentially":[56,80,91],"Constructive":[57,81,92],"(SCEst)":[59],"overcomes":[60],"this":[61],"restriction":[62],"allowing":[64],"values":[65],"to":[66],"change":[67],"instantaneously,":[68],"long":[70],"determinacy":[72],"still":[74],"guaranteed,":[75],"adopting":[76],"recently":[78],"proposed":[79],"model":[82],"computation.":[84],"SCEst":[85],"grounded":[87],"in":[88],"minimal":[90],"Language":[93],"(":[94],"scl":[95],"),":[96],"also":[98],"novel":[101],"semantic":[102],"definition":[103],"compilation":[105],"approach":[106],"Esterel.":[108]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2017-12-22T00:00:00"}