{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:52:24Z","timestamp":1729662744438,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1109\/memcod.2009.5185374","type":"proceedings-article","created":{"date-parts":[[2009,8,11]],"date-time":"2009-08-11T15:09:22Z","timestamp":1250003362000},"page":"18-27","source":"Crossref","is-referenced-by-count":0,"title":["Refining schizophrenia via graph reachability in Esterel"],"prefix":"10.1109","author":[{"family":"Jeong-Han Yun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Chul-Joo Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Sunae Seo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Taisook Han","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Kwang-Moo Choe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"journal-title":"Estbench Esterel Benchmark Suite","year":"0","author":"edwards","key":"17"},{"key":"18","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/3-540-44898-5_6","article-title":"instantaneous termination in pure esterel","volume":"2694","author":"tardieu","year":"2003","journal-title":"Proceedings of the 10th International Static Analysis Symposium(SAS'2003)"},{"key":"15","article-title":"boolean automata for implementing pure esterel","author":"poigne","year":"1995","journal-title":"Arbeitspapiere Der GMD 964 GMD Sankt Augustin"},{"key":"16","first-page":"80","volume":"65","author":"closse","year":"2002","journal-title":"Saxort Interpreting Esterel Semantic on a Sequential Execution Structure"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459813"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.02.028"},{"key":"11","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/3-540-57529-4_44","article-title":"preemption in concurrent systems","author":"berry","year":"1993","journal-title":"Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/502217.502226"},{"key":"21","first-page":"1","article-title":"a deterministic logical semantics for pure esterel","volume":"29","year":"2007","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"20","article-title":"loops in esterel: from operational semantics to formally specified compilers","author":"tardieu","year":"2004","journal-title":"These De Doctorat Ecole Des Mines De Paris"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1113830.1113832"},{"journal-title":"Cec The Columbia Esterel Compiler","year":"0","author":"edwards","key":"23"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1155\/2007\/52651"},{"journal-title":"Ramesh's Homepage","year":"0","author":"ramesh","key":"25"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/293625.293635"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/5.97297"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/5.97301"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2231-4"},{"journal-title":"Compiling Esterel","year":"2007","author":"potop-butucaru","key":"7"},{"key":"6","first-page":"425","article-title":"the foundations of esterel","year":"2000","journal-title":"Proof Language and Interaction Essays in Honour of Robin Milner"},{"journal-title":"The Constructive Semantics of Pure Esterel","year":"1999","key":"5"},{"journal-title":"The Esterel Primer","year":"1998","author":"berry","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"journal-title":"The Esterel V7 Reference Manual Version V7 30 Initial IEEE Standardization Proposal","article-title":"esterel-technologies","year":"2005","key":"8"}],"event":{"name":"2009 7th IEEE\/ACM International Conference on Formal Methods and Models for Co-Design (MEMOCODE)","start":{"date-parts":[[2009,7,13]]},"location":"Cambridge, MA, USA","end":{"date-parts":[[2009,7,15]]}},"container-title":["2009 7th IEEE\/ACM International Conference on Formal Methods and Models for Co-Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5173407\/5185370\/05185374.pdf?arnumber=5185374","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T18:43:27Z","timestamp":1497811407000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5185374\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/memcod.2009.5185374","relation":{},"subject":[],"published":{"date-parts":[[2009,7]]}}}