{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T15:13:55Z","timestamp":1778253235903,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,9]],"date-time":"2014-06-09T00:00:00Z","timestamp":1402272000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["DFG HA 4407\/6-1, ME 1427\/6-1"],"award-info":[{"award-number":["DFG HA 4407\/6-1, ME 1427\/6-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,6,9]]},"DOI":"10.1145\/2594291.2594310","type":"proceedings-article","created":{"date-parts":[[2014,5,13]],"date-time":"2014-05-13T08:18:34Z","timestamp":1399969114000},"page":"372-383","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":29,"title":["SCCharts: sequentially constructive statecharts for safety-critical applications"],"prefix":"10.1145","author":[{"given":"Reinhard","family":"von Hanxleden","sequence":"first","affiliation":[{"name":"Kiel University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bj\u00f6rn","family":"Duderstadt","sequence":"additional","affiliation":[{"name":"Kiel University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Motika","sequence":"additional","affiliation":[{"name":"Kiel University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Smyth","sequence":"additional","affiliation":[{"name":"Kiel University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Mendler","sequence":"additional","affiliation":[{"name":"Bamberg University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joaqu\u00edn","family":"Aguado","sequence":"additional","affiliation":[{"name":"Bamberg University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen","family":"Mercer","sequence":"additional","affiliation":[{"name":"National Instruments, Austin, TX"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Owen","family":"O'Brien","sequence":"additional","affiliation":[{"name":"National Instruments, Austin, TX"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54833-8_13"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/278283.278285"},{"key":"e_1_3_2_1_4_1","first-page":"64","volume-title":"Simone. The Synchronous Languages Twelve Years Later. In Proc. IEEE, Special Issue on Embedded Systems","volume":"91","author":"Benveniste A.","year":"2003","unstructured":"A. Benveniste , P. Caspi , S. A. Edwards , N. Halbwachs , P. L. Guernic , and R. de Simone. The Synchronous Languages Twelve Years Later. In Proc. IEEE, Special Issue on Embedded Systems , volume 91 , pages 64 -- 83 , Piscataway, NJ, USA , Jan. 2003 . IEEE. A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic, and R. de Simone. The Synchronous Languages Twelve Years Later. In Proc. IEEE, Special Issue on Embedded Systems, volume 91, pages 64--83, Piscataway, NJ, USA, Jan. 2003. IEEE."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","first-page":"425","DOI":"10.7551\/mitpress\/5641.003.0021","volume-title":"Proof, Language, and Interaction: Essays in Honour of Robin Milner","author":"Berry G.","year":"2000","unstructured":"G. Berry . The foundations of Esterel . In G. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language, and Interaction: Essays in Honour of Robin Milner , pages 425 -- 454 , Cambridge, MA , USA, 2000 . MIT Press . ISBN 0-262-16188-5. G. Berry. The foundations of Esterel. In G. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language, and Interaction: Essays in Honour of Robin Milner, pages 425--454, Cambridge, MA, USA, 2000. MIT Press. ISBN 0-262-16188-5."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542452.1542455"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086261"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176887.1176899"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/762488.762489"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12566-9_7"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/312009.312034"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"key":"e_1_3_2_1_17_1","volume-title":"Special Issue on Synchronous Paradigms in Embedded Systems","author":"Lukoschus J.","year":"2007","unstructured":"J. Lukoschus and R. von Hanxleden . Removing cycles in Esterel programs. EURASIP Journal on Embedded Systems , Special Issue on Synchronous Paradigms in Embedded Systems , 2007 . Article ID 48979, 23 pages. J. Lukoschus and R. von Hanxleden. Removing cycles in Esterel programs. EURASIP Journal on Embedded Systems, Special Issue on Synchronous Paradigms in Embedded Systems, 2007. Article ID 48979, 23 pages."},{"key":"e_1_3_2_1_18_1","volume-title":"IEEE Workshop on Visual Languages","author":"Maraninchi F.","year":"1991","unstructured":"F. Maraninchi . The Argos language : Graphical representation of automata and description of reactive systems . In IEEE Workshop on Visual Languages , Oct. 1991 . F. Maraninchi. The Argos language: Graphical representation of automata and description of reactive systems. In IEEE Workshop on Visual Languages, Oct. 1991."},{"key":"e_1_3_2_1_19_1","volume-title":"Communication and Concurrency","author":"Milner R.","year":"1989","unstructured":"R. Milner . Communication and Concurrency . Prentice Hall , 1989 . R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"e_1_3_2_1_20_1","volume-title":"Compiling Esterel","author":"Potop-Butucaru D.","year":"2007","unstructured":"D. Potop-Butucaru , S. A. Edwards , and G. Berry . Compiling Esterel . Springer , May 2007 . D. Potop-Butucaru, S. A. Edwards, and G. Berry. Compiling Esterel. Springer, May 2007."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134650.1134667"},{"key":"e_1_3_2_1_22_1","volume-title":"Dec.","author":"Reenskaug T.","year":"1979","unstructured":"T. Reenskaug . Models -- Views -- Controllers , Dec. 1979 . Xerox PARC technical note. T. Reenskaug. Models -- Views -- Controllers, Dec. 1979. Xerox PARC technical note."},{"key":"e_1_3_2_1_23_1","first-page":"75","volume-title":"Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC'13)","author":"Schneider C.","year":"2013","unstructured":"C. Schneider , M. Sp\u00f6nemann , and R. von Hanxleden . Just model! -- Putting automatic synthesis of node-link-diagrams into practice . In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC'13) , pages 75 -- 82 , San Jose, CA, USA, 15- -19 Sept. 2013 .. C. Schneider, M. Sp\u00f6nemann, and R. von Hanxleden. Just model! -- Putting automatic synthesis of node-link-diagrams into practice. In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC'13), pages 75--82, San Jose, CA, USA, 15--19 Sept. 2013.."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/784820.784830"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/357114.357116"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/787259.787602"},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of Synchronous Languages, Applications, and Programming (SLAP'04)","author":"Tardieu O.","year":"2004","unstructured":"O. Tardieu . Goto and concurrency---introducing safe jumps in Esterel . In Proceedings of Synchronous Languages, Applications, and Programming (SLAP'04) , Barcelona, Spain , Mar. 2004 . O. Tardieu. Goto and concurrency---introducing safe jumps in Esterel. In Proceedings of Synchronous Languages, Applications, and Programming (SLAP'04), Barcelona, Spain, Mar. 2004."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459813"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763284"},{"key":"e_1_3_2_1_30_1","series-title":"LNCS","first-page":"128","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"von der Beeck M.","year":"1994","unstructured":"M. von der Beeck . A comparison of Statecharts variants . In H. Langmaack, W. P. de Roever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems , volume 863 of LNCS , pages 128 -- 148 . Springer-Verlag , 1994 . M. von der Beeck. A comparison of Statecharts variants. In H. Langmaack, W. P. de Roever, and J. Vytopil, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 863 of LNCS, pages 128--148. Springer-Verlag, 1994."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629335.1629366"},{"key":"e_1_3_2_1_33_1","volume-title":"Special Issue on Applications of Concurrency to System Design","author":"von Hanxleden R.","year":"2014","unstructured":"R. von Hanxleden , M. Mendler , J. Aguado , B. Duderstadt , I. Fuhrmann , C. Motika , S. Mercer , O. O'Brien , and P. Roop . Sequentially Constructive Concurrency---A conservative extension of the synchronous model of computation. ACM Transactions on Embedded Computing Systems , Special Issue on Applications of Concurrency to System Design , 2014 . To appear. R. von Hanxleden, M. Mendler, J. Aguado, B. Duderstadt, I. Fuhrmann, C. Motika, S. Mercer, O. O'Brien, and P. Roop. Sequentially Constructive Concurrency---A conservative extension of the synchronous model of computation. ACM Transactions on Embedded Computing Systems, Special Issue on Applications of Concurrency to System Design, 2014. To appear."}],"event":{"name":"PLDI '14: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Edinburgh United Kingdom","acronym":"PLDI '14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","NSF"]},"container-title":["Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2594291.2594310","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2594291.2594310","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:01:05Z","timestamp":1750215665000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2594291.2594310"}},"subtitle":["HW\/SW-synthesis for a conservative extension of synchronous statecharts"],"short-title":[],"issued":{"date-parts":[[2014,6,9]]},"references-count":31,"alternative-id":["10.1145\/2594291.2594310","10.1145\/2594291"],"URL":"https:\/\/doi.org\/10.1145\/2594291.2594310","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2666356.2594310","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,6,9]]},"assertion":[{"value":"2014-06-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}