{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T16:18:02Z","timestamp":1781972282767,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,6,23]],"date-time":"2024-06-23T00:00:00Z","timestamp":1719100800000},"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":[[2024,6,23]]},"DOI":"10.1145\/3649329.3656218","type":"proceedings-article","created":{"date-parts":[[2024,11,7]],"date-time":"2024-11-07T19:27:22Z","timestamp":1731007642000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["AccMoS: Accelerating Model Simulation for Simulink via Code Generation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-7947-6075","authenticated-orcid":false,"given":"Yifan","family":"Cheng","sequence":"first","affiliation":[{"name":"University of Electronic Science and Technology of China, Chengdu, Sichuan, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0162-7185","authenticated-orcid":false,"given":"Zehong","family":"Yu","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7083-2038","authenticated-orcid":false,"given":"Zhuo","family":"Su","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9165-8331","authenticated-orcid":false,"given":"Ting","family":"Chen","sequence":"additional","affiliation":[{"name":"University of Electronic Science and Technology of China, Chengdu, Sichuan, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9886-1412","authenticated-orcid":false,"given":"Xiaosong","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of Electronic Science and Technology of China, Chengdu, Sichuan, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0955-503X","authenticated-orcid":false,"given":"Yu","family":"Jiang","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,11,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"SCADE: Synchronous design and validation of embedded control software. In Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems","author":"Berry G\u00e9rard","year":"2007","unstructured":"G\u00e9rard Berry. 2007. SCADE: Synchronous design and validation of embedded control software. In Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems. Springer, 19--33."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MECHATRON.2011.5961080"},{"key":"e_1_3_2_1_3_1","volume-title":"Messerschmitt","author":"Buck Joseph","year":"2002","unstructured":"Joseph Buck, Soonhoi Ha, Edward A. Lee, and David G. Messerschmitt. 2002. Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems. In Readings in Hardware\/Software Co-Design, Giovanni De Micheli, Rolf Ernst, and Wayne Wolf (Eds.). Morgan Kaufmann, San Francisco, 527--543."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2010.5446809"},{"key":"e_1_3_2_1_5_1","volume-title":"Discrete\/continuous models of consumer demand. Econometrica: Journal of the Econometric Society","author":"Hanemann W Michael","year":"1984","unstructured":"W Michael Hanemann. 1984. Discrete\/continuous models of consumer demand. Econometrica: Journal of the Econometric Society (1984), 541--561."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/EURMIC.2004.1333431"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.01.063"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2017.2778077"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2661664"},{"key":"e_1_3_2_1_10_1","volume-title":"https:\/\/www.mathworks.com\/help\/matlab\/index.html","author":"MATLAB.","year":"2023","unstructured":"Mathworks. 2023. MATLAB. (2023). https:\/\/www.mathworks.com\/help\/matlab\/index.html."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884797"},{"key":"e_1_3_2_1_12_1","volume-title":"https:\/\/www.mathworks.com\/help\/simulink\/index.html","author":"Matlab Simulink","year":"2023","unstructured":"Simulink and Matlab. 2023. Simulink Documentation. (2023). https:\/\/www.mathworks.com\/help\/simulink\/index.html."},{"key":"e_1_3_2_1_13_1","unstructured":"Simulink and Matlab. 2023. Simulink Model Coverage Document. (2023). https:\/\/www.mathworks.com\/help\/slcoverage\/ug\/model-coverage.html."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2021.3055487"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2021.3132564"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530582"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-006-0455-0"},{"key":"e_1_3_2_1_18_1","volume-title":"An integrated model-driven development environment for composing and validating distributed real-time and embedded systems. Model-Driven Software Development","author":"Trombetti Gabriele","year":"2005","unstructured":"Gabriele Trombetti, Aniruddha Gokhale, Douglas C Schmidt, Jesse Greenwald, John Hatcliff, Georg Jung, and Gurdip Singh. 2005. An integrated model-driven development environment for composing and validating distributed real-time and embedded systems. Model-Driven Software Development (2005), 329--361."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmp.2006.01.004"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3199967"}],"event":{"name":"DAC '24: 61st ACM\/IEEE Design Automation Conference","location":"San Francisco CA USA","acronym":"DAC '24","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE-CEDA","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 61st ACM\/IEEE Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649329.3656218","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3649329.3656218","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:17:55Z","timestamp":1750295875000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649329.3656218"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,23]]},"references-count":20,"alternative-id":["10.1145\/3649329.3656218","10.1145\/3649329"],"URL":"https:\/\/doi.org\/10.1145\/3649329.3656218","relation":{},"subject":[],"published":{"date-parts":[[2024,6,23]]},"assertion":[{"value":"2024-11-07","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}