{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T13:22:44Z","timestamp":1760016164020,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,18]],"date-time":"2005-09-18T00:00:00Z","timestamp":1127001600000},"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":[[2005,9,18]]},"DOI":"10.1145\/1086228.1086260","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T17:34:39Z","timestamp":1131384879000},"page":"164-172","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":38,"title":["A denotational semantics for stateflow"],"prefix":"10.1145","author":[{"given":"Gr\u00e9goire","family":"Hamon","sequence":"first","affiliation":[{"name":"Chalmers Institute of Technology, G\u00f6teborg, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2005,9,18]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Kestrel Technology","author":"Anton John","year":"2005","unstructured":"John Anton , Paulo da Costa , and Lindsay Errington . Formal synthesis of generators for embedded systems. Technical report , Kestrel Technology , May 2005 . John Anton, Paulo da Costa, and Lindsay Errington. Formal synthesis of generators for embedded systems. Technical report, Kestrel Technology, May 2005."},{"key":"e_1_3_2_1_2_1","volume-title":"August","author":"Buck Daniel","year":"2001","unstructured":"Daniel Buck and Andreas Rau . On modelling guidelines: Flowchart patterns for Stateflow. Softwaretechnik-Trends, 21(2) , August 2001 . Daniel Buck and Andreas Rau. On modelling guidelines: Flowchart patterns for Stateflow. Softwaretechnik-Trends, 21(2), August 2001."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45212-6_7"},{"key":"e_1_3_2_1_4_1","first-page":"496","volume-title":"CAV 2004","volume":"3114","author":"de Moura Leonardo","year":"2004","unstructured":"Leonardo de Moura , Sam Owre , Harald Rues , John Rushby , N. Shankar , Maria Sorea , and Ashish Tiwari . SAL 2. In Computer-Aided Verification , CAV 2004 , volume 3114 of LNCS, pages 496 -- 500 , Boston, MA , July 2004 . Springer. Leonardo de Moura, Sam Owre, Harald Rues, John Rushby, N. Shankar, Maria Sorea, and Ashish Tiwari. SAL 2. In Computer-Aided Verification, CAV 2004, volume 3114 of LNCS, pages 496--500, Boston, MA, July 2004. Springer."},{"volume-title":"Structured analysis and design using Matlab\/Simulink\/Stateflow - modeling style guidelines. Technical report","year":"1999","key":"e_1_3_2_1_5_1","unstructured":"Ford. Structured analysis and design using Matlab\/Simulink\/Stateflow - modeling style guidelines. Technical report , Ford Motor Company , 1999 . Available at http:\/\/vehicle.me.berkeley.edu\/mobies\/papers\/stylev242.pdf. Ford. Structured analysis and design using Matlab\/Simulink\/Stateflow - modeling style guidelines. Technical report, Ford Motor Company, 1999. Available at http:\/\/vehicle.me.berkeley.edu\/mobies\/papers\/stylev242.pdf."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1030033.1030059"},{"key":"e_1_3_2_1_8_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/978-3-540-24721-0_17","volume-title":"Fundamental Approaches to Software Engineering (FASE)'04","author":"Hamon Gr\u00e9goire","year":"2004","unstructured":"Gr\u00e9goire Hamon and John Rushby . An operational semantics for Stateflow . In Fundamental Approaches to Software Engineering (FASE)'04 , volume 2984 of LNCS , pages 229 -- 243 , Barcelona, Spain , 2004 . Springer . Gr\u00e9goire Hamon and John Rushby. An operational semantics for Stateflow. In Fundamental Approaches to Software Engineering (FASE)'04, volume 2984 of LNCS, pages 229--243, Barcelona, Spain, 2004. Springer."},{"key":"e_1_3_2_1_10_1","volume-title":"The Objective Caml system release 3.08 Documentation and user's manual. Technical report","author":"Leroy Xavier","year":"2003","unstructured":"Xavier Leroy . The Objective Caml system release 3.08 Documentation and user's manual. Technical report , Institut National de Recherche en Informatique et Automatique (INRIA) , 2003 . Xavier Leroy. The Objective Caml system release 3.08 Documentation and user's manual. Technical report, Institut National de Recherche en Informatique et Automatique (INRIA), 2003."},{"key":"e_1_3_2_1_11_1","volume-title":"User's Guide, release 13sp1 edition","author":"Mathworks The","year":"2003","unstructured":"The Mathworks . Stateflow and Stateflow Coder , User's Guide, release 13sp1 edition , September 2003 . The Mathworks. Stateflow and Stateflow Coder, User's Guide, release 13sp1 edition, September 2003."},{"key":"e_1_3_2_1_12_1","volume-title":"Ford Research","author":"Milam Bill","year":"2002","unstructured":"Bill Milam . Mobies , midterm report. Technical report , Ford Research , 2002 . Available at http:\/\/vehicle.me.berkeley.edu\/mobies\/evaluations\/tools\/mobies_evaluation_codegen.pdf. Bill Milam. Mobies, midterm report. Technical report, Ford Research, 2002. Available at http:\/\/vehicle.me.berkeley.edu\/mobies\/evaluations\/tools\/mobies_evaluation_codegen.pdf."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01019459"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017795"},{"key":"e_1_3_2_1_15_1","volume-title":"Denotational semantics: a methodology for language development","author":"Schmidt David A.","year":"1986","unstructured":"David A. Schmidt . Denotational semantics: a methodology for language development . William C. Brown Publishers , Dubuque, IA, USA , 1986 . David A. Schmidt. Denotational semantics: a methodology for language development. William C. Brown Publishers, Dubuque, IA, USA, 1986."},{"key":"e_1_3_2_1_16_1","volume-title":"Computing Laboratory","author":"Strachey Christopher","year":"1974","unstructured":"Christopher Strachey and Christopher P. Wadsworth . Continuations: A mathematical semantics for handling full jumps. Technical Monograph PRG-11 , Computing Laboratory , Oxford University , England , 1974 . Reproduced in {17}. Christopher Strachey and Christopher P. Wadsworth. Continuations: A mathematical semantics for handling full jumps. Technical Monograph PRG-11, Computing Laboratory, Oxford University, England, 1974. Reproduced in {17}."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010026413531"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805818"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010074329461"}],"event":{"name":"EMSOFT05: Fifth ACM International Conference on Embedded Software 2005","sponsor":["ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Jersey City NJ USA","acronym":"EMSOFT05"},"container-title":["Proceedings of the 5th ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086228.1086260","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1086228.1086260","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:18Z","timestamp":1750262898000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086228.1086260"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,18]]},"references-count":18,"alternative-id":["10.1145\/1086228.1086260","10.1145\/1086228"],"URL":"https:\/\/doi.org\/10.1145\/1086228.1086260","relation":{},"subject":[],"published":{"date-parts":[[2005,9,18]]},"assertion":[{"value":"2005-09-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}