{"id":"https://openalex.org/W1971933195","doi":"https://doi.org/10.1145/2442116.2442130","title":"Detection of harmful schizophrenic statements in esterel","display_name":"Detection of harmful schizophrenic statements in esterel","publication_year":2013,"publication_date":"2013-03-10","ids":{"openalex":"https://openalex.org/W1971933195","doi":"https://doi.org/10.1145/2442116.2442130","mag":"1971933195"},"language":"en","primary_location":{"id":"doi:10.1145/2442116.2442130","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2442116.2442130","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/A5112052807","display_name":"Jeong-Han Yun","orcid":null},"institutions":[{"id":"https://openalex.org/I142401562","display_name":"Electronics and Telecommunications Research Institute","ror":"https://ror.org/03ysstz10","country_code":"KR","type":"facility","lineage":["https://openalex.org/I142401562","https://openalex.org/I2801339556","https://openalex.org/I4210144908","https://openalex.org/I4387152098"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jeong-Han Yun","raw_affiliation_strings":["The Attached Institute of ETRI, Yuseong, Daejeon, Republic of Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Attached Institute of ETRI, Yuseong, Daejeon, Republic of Korea","institution_ids":["https://openalex.org/I142401562"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056674523","display_name":"Chul-Joo Kim","orcid":"https://orcid.org/0000-0002-1067-7010"},"institutions":[{"id":"https://openalex.org/I2250650973","display_name":"Samsung (South Korea)","ror":"https://ror.org/04w3jy968","country_code":"KR","type":"company","lineage":["https://openalex.org/I2250650973"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Chul-Joo Kim","raw_affiliation_strings":["Digital Media & Communications R&D Center, Samsung Electronics Co., LTD, Gyeonggi-do, Republic of Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Digital Media & Communications R&D Center, Samsung Electronics Co., LTD, Gyeonggi-do, Republic of Korea","institution_ids":["https://openalex.org/I2250650973"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060456592","display_name":"Seonggun Kim","orcid":null},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Seonggun Kim","raw_affiliation_strings":["KAIST, Yuseong-gu, Daejeon, Republic of Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KAIST, Yuseong-gu, Daejeon, Republic of Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111494161","display_name":"Kwang-Moo Choe","orcid":null},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Kwang-Moo Choe","raw_affiliation_strings":["KAIST, Yuseong-gu, Daejeon, Republic of Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KAIST, Yuseong-gu, Daejeon, Republic of Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101662993","display_name":"Taisook Han","orcid":"https://orcid.org/0000-0002-5211-5606"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Taisook Han","raw_affiliation_strings":["KAIST, Yuseong-gu, Daejeon, Republic of Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KAIST, Yuseong-gu, Daejeon, Republic of Korea","institution_ids":["https://openalex.org/I157485424"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.05623493,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"12","issue":"3","first_page":"1","last_page":"23"},"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.9995999932289124,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.996999979019165,"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.8868913650512695},{"id":"https://openalex.org/keywords/statement","display_name":"Statement (logic)","score":0.8012367486953735},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7000285387039185},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6726500988006592},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5400089025497437},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.43545791506767273}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8868913650512695},{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.8012367486953735},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7000285387039185},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6726500988006592},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5400089025497437},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.43545791506767273},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2442116.2442130","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2442116.2442130","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":[{"score":0.7200000286102295,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G1629342944","display_name":null,"funder_award_id":"(NIPA-2011-C1090-1131-0004)","funder_id":"https://openalex.org/F4320322065","funder_display_name":"National IT Industry Promotion Agency"},{"id":"https://openalex.org/G3037060701","display_name":null,"funder_award_id":"2011-0000965","funder_id":"https://openalex.org/F4320322349","funder_display_name":"Ministry of Education, Science and Technology"},{"id":"https://openalex.org/G8030763739","display_name":null,"funder_award_id":"2011-0000965","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"}],"funders":[{"id":"https://openalex.org/F4320321408","display_name":"Ministry of Education","ror":"https://ror.org/01p262204"},{"id":"https://openalex.org/F4320321640","display_name":"Ministry of Knowledge Economy","ror":"https://ror.org/008nkqk13"},{"id":"https://openalex.org/F4320322065","display_name":"National IT Industry Promotion Agency","ror":"https://ror.org/026v53e29"},{"id":"https://openalex.org/F4320322120","display_name":"National Research Foundation of Korea","ror":"https://ror.org/013aysd81"},{"id":"https://openalex.org/F4320322349","display_name":"Ministry of Education, Science and Technology","ror":"https://ror.org/01p262204"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W173367418","https://openalex.org/W1510132912","https://openalex.org/W1570112753","https://openalex.org/W1875492031","https://openalex.org/W1981858646","https://openalex.org/W2000805517","https://openalex.org/W2033960469","https://openalex.org/W2040368742","https://openalex.org/W2042277847","https://openalex.org/W2043100293","https://openalex.org/W2049455231","https://openalex.org/W2059522352","https://openalex.org/W2068308783","https://openalex.org/W2076605978","https://openalex.org/W2081938726","https://openalex.org/W2110827463","https://openalex.org/W2117120804","https://openalex.org/W2118551933","https://openalex.org/W2121616158","https://openalex.org/W2125415493","https://openalex.org/W2127335869","https://openalex.org/W2139398572","https://openalex.org/W2142427575","https://openalex.org/W2152010088","https://openalex.org/W2155097858","https://openalex.org/W2158748448","https://openalex.org/W2159542925","https://openalex.org/W2290159405","https://openalex.org/W2319731145","https://openalex.org/W2339714652","https://openalex.org/W3141112769","https://openalex.org/W4242414053","https://openalex.org/W4249563073","https://openalex.org/W6638832069"],"related_works":["https://openalex.org/W2378211422","https://openalex.org/W2745001401","https://openalex.org/W4321353415","https://openalex.org/W1713081424","https://openalex.org/W2132806979","https://openalex.org/W2127315869","https://openalex.org/W1523769955","https://openalex.org/W2245390655","https://openalex.org/W4379536100","https://openalex.org/W188282463"],"abstract_inverted_index":{"In":[0,101],"imperative":[1,58],"synchronous":[2,59],"languages,":[3],"a":[4,17,21,27,87,110,181],"statement":[5,23,89,112],"is":[6,11,24,56,93,98,173],"called":[7],"schizophrenic":[8,22,45,88,111,130,150],"if":[9,82],"it":[10,92,185],"executed":[12],"more":[13],"than":[14],"once":[15],"in":[16,63,159,168],"single":[18],"clock.":[19],"When":[20],"translated":[25],"into":[26,189],"circuit,":[28],"the":[29,36,41,49,71,83,106,114,138,164,169,178],"circuit":[30,85,121],"can":[31,186],"behave":[32],"abnormally":[33],"because":[34],"of":[35,74,86,113,143,180],"multiple":[37,53],"executions.":[38,54],"To":[39],"solve":[40],"problems":[42],"caused":[43],"by":[44],"statements,":[46],"compilers":[47,191],"duplicate":[48],"statements":[50,62,131,151],"to":[51,67,70,128,134,154],"avoid":[52],"Esterel":[55,64,115],"an":[57,126],"language.":[60],"Schizophrenic":[61],"are":[65],"considered":[66],"occur":[68],"due":[69],"instantaneous":[72],"reentrance":[73],"local":[75],"signal":[76],"declarations":[77],"or":[78],"parallel":[79],"statements.":[80],"However,":[81],"corresponding":[84],"behaves":[90],"normally,":[91],"harmless":[94],"and":[95,157,175],"thus":[96],"curing":[97],"not":[99],"necessary.":[100],"this":[102],"paper,":[103],"we":[104],"identify":[105],"conditions":[107],"under":[108],"which":[109],"program":[116],"must":[117],"be":[118,135,155,187],"cured":[119,136,156],"during":[120],"translation.":[122],"We":[123],"also":[124],"propose":[125],"algorithm":[127,147],"detect":[129],"that":[132,152,184],"have":[133,153],"on":[137,163,177],"control":[139],"flow":[140],"graphs":[141],"(CFGs)":[142],"source":[144],"codes.":[145],"Our":[146],"detects":[148],"all":[149],"results":[158],"fewer":[160],"false":[161],"alarms":[162],"benchmark":[165],"programs":[166],"used":[167],"previous":[170],"work.":[171],"It":[172],"simple":[174],"based":[176],"CFG":[179],"program,":[182],"implying":[183],"merged":[188],"existing":[190],"easily.":[192]},"counts_by_year":[{"year":2017,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}