{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:31:07Z","timestamp":1750221067291,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,11,4]],"date-time":"2018-11-04T00:00:00Z","timestamp":1541289600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,11,4]]},"DOI":"10.1145\/3281278.3281283","type":"proceedings-article","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T15:28:39Z","timestamp":1540394919000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Synthesizing manually verifiable code for statecharts"],"prefix":"10.1145","author":[{"given":"Steven","family":"Smyth","sequence":"first","affiliation":[{"name":"University of Kiel, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Motika","sequence":"additional","affiliation":[{"name":"Philotech Systementwicklung und Software, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinhard","family":"von Hanxleden","sequence":"additional","affiliation":[{"name":"University of Kiel, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,11,4]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.5555\/1870926.1871325"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1016\/j.entcs.2003.05.007"},{"key":"e_1_3_2_1_3_1","volume-title":"Proc. IEEE, Special Issue on Embedded Systems","volume":"91","author":"Benveniste Albert","year":"2003","unstructured":"Albert Benveniste , Paul Caspi , Stephen A. Edwards , Nicolas Halbwachs , Paul Le Guernic , and Robert de Simone . 2003 . The Synchronous Languages Twelve Years Later . In Proc. IEEE, Special Issue on Embedded Systems , Vol. 91 . IEEE, Piscataway, NJ, USA, 64\u201383. Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, and Robert de Simone. 2003. The Synchronous Languages Twelve Years Later. In Proc. IEEE, Special Issue on Embedded Systems , Vol. 91. IEEE, Piscataway, NJ, USA, 64\u201383."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1109\/TASE.2017.8285623"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1007\/11693024_20"},{"key":"e_1_3_2_1_6_1","volume-title":"Embedded Systems Programming (Jan","author":"Douglass Bruce Powel","year":"1999","unstructured":"Bruce Powel Douglass . 1999. UML Statecharts . Embedded Systems Programming (Jan . 1999 ), 22\u201342. Bruce Powel Douglass. 1999. UML Statecharts. Embedded Systems Programming (Jan. 1999), 22\u201342."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1007\/11576280_5"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1145\/2997465.2997467"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1145\/1086228.1086260"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1016\/0167-6423(87)90035-9"},{"volume-title":"Safer C: Developing Software for in High-Integrity and Safety-Critical Systems","author":"Hatton Les","unstructured":"Les Hatton . 1995. Safer C: Developing Software for in High-Integrity and Safety-Critical Systems . McGraw-Hill, Inc. Les Hatton. 1995. Safer C: Developing Software for in High-Integrity and Safety-Critical Systems . McGraw-Hill, Inc.","key":"e_1_3_2_1_11_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1109\/MC.2006.180"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.5555\/1874620.1874644"},{"volume-title":"Guidelines for the Use of the C Language in Critical Systems","author":"MISRA.","unstructured":"MISRA. 2013. MISRA C:2012 : Guidelines for the Use of the C Language in Critical Systems . Motor Industry Research Association . MISRA. 2013. MISRA C:2012: Guidelines for the Use of the C Language in Critical Systems . Motor Industry Research Association.","key":"e_1_3_2_1_14_1"},{"volume-title":"SCCharts\u2014Language and Interactive Incremental Implementation . Number 2017\/2 in Kiel Computer Science Series. Department of Computer Science. Dissertation","author":"Motika Christian","unstructured":"Christian Motika . 2017. SCCharts\u2014Language and Interactive Incremental Implementation . Number 2017\/2 in Kiel Computer Science Series. Department of Computer Science. Dissertation , Faculty of Engineering, Christian-Albrechts- Universit\u00e4t zu Kiel . Christian Motika. 2017. SCCharts\u2014Language and Interactive Incremental Implementation . Number 2017\/2 in Kiel Computer Science Series. Department of Computer Science. Dissertation, Faculty of Engineering, Christian-Albrechts-Universit\u00e4t zu Kiel.","key":"e_1_3_2_1_15_1"},{"unstructured":"Dumitru Potop-Butucaru Stephen A. Edwards and G\u00e9rard Berry. 2007. Compiling Esterel . Springer.   Dumitru Potop-Butucaru Stephen A. Edwards and G\u00e9rard Berry. 2007. Compiling Esterel . Springer.","key":"e_1_3_2_1_16_1"},{"volume-title":"Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance . Taylor &amp","author":"Rierson Leanna","unstructured":"Leanna Rierson . 2013. Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance . Taylor &amp ; Francis Inc . Leanna Rierson. 2013. Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance . Taylor & Francis Inc.","key":"e_1_3_2_1_17_1"},{"doi-asserted-by":"crossref","unstructured":"Miro Samek. 2008. Practical UML Statecharts in C\/C++Event-Driven Programming for Embedded Systems . Newnes.   Miro Samek. 2008. Practical UML Statecharts in C\/C++Event-Driven Programming for Embedded Systems . Newnes.","key":"e_1_3_2_1_18_1","DOI":"10.1201\/b16463"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1145\/3035544"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1109\/FDL.2018.8524111"},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA \u201916)","volume":"74","author":"Smyth Steven","year":"2016","unstructured":"Steven Smyth , Stephan Lenga , and Reinhard von Hanxleden . 2016 . Model Extraction for Legacy C Programs with SCCharts . In Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA \u201916) , Doctoral Symposium (Electronic Communications of the EASST) , Vol. 74 . Corfu, Greece. With accompanying poster . Steven Smyth, Stephan Lenga, and Reinhard von Hanxleden. 2016. Model Extraction for Legacy C Programs with SCCharts. In Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA \u201916), Doctoral Symposium (Electronic Communications of the EASST) , Vol. 74. Corfu, Greece. With accompanying poster ."},{"volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems (LNCS)","author":"von der Beeck Michael","unstructured":"Michael von der Beeck . 1994. A Comparison of Statecharts Variants . In Formal Techniques in Real-Time and Fault-Tolerant Systems (LNCS) , H. Langmaack, W. P. de Roever, and J. Vytopil (Eds.), Vol. 863 . SpringerVerlag , 128\u2013148. Michael von der Beeck. 1994. A Comparison of Statecharts Variants. In Formal Techniques in Real-Time and Fault-Tolerant Systems (LNCS), H. Langmaack, W. P. de Roever, and J. Vytopil (Eds.), Vol. 863. SpringerVerlag, 128\u2013148.","key":"e_1_3_2_1_22_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1145\/1629335.1629366"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1145\/2594291.2594310"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1145\/2627350"}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"acronym":"SPLASH '18","name":"SPLASH '18: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Boston MA USA"},"container-title":["Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3281278.3281283","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3281278.3281283","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:17Z","timestamp":1750208237000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3281278.3281283"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,4]]},"references-count":25,"alternative-id":["10.1145\/3281278.3281283","10.1145\/3281278"],"URL":"https:\/\/doi.org\/10.1145\/3281278.3281283","relation":{},"subject":[],"published":{"date-parts":[[2018,11,4]]},"assertion":[{"value":"2018-11-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}