{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,28]],"date-time":"2026-09-28T17:36:33Z","timestamp":1790616993129,"version":"4.1.0"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,10,13]],"date-time":"2022-10-13T00:00:00Z","timestamp":1665619200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,13]],"date-time":"2022-10-13T00:00:00Z","timestamp":1665619200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100014819","name":"U.S. Army Combat Capabilities Development Command","doi-asserted-by":"publisher","award":["W911W 6-20-c-2020"],"award-info":[{"award-number":["W911W 6-20-c-2020"]}],"id":[{"id":"10.13039\/100014819","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000005","name":"Department of Defense","doi-asserted-by":"publisher","award":["FA8702-15-D-0002"],"award-info":[{"award-number":["FA8702-15-D-0002"]}],"id":[{"id":"10.13039\/100000005","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100008047","name":"Carnegie Mellon University","doi-asserted-by":"publisher","award":["DM22-0854"],"award-info":[{"award-number":["DM22-0854"]}],"id":[{"id":"10.13039\/100008047","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,10,13]]},"DOI":"10.1109\/memocode57689.2022.9954589","type":"proceedings-article","created":{"date-parts":[[2022,11,28]],"date-time":"2022-11-28T20:22:51Z","timestamp":1669666971000},"page":"1-9","source":"Crossref","is-referenced-by-count":5,"title":["Mechanization of a Large DSML: An Experiment with AADL and Coq"],"prefix":"10.1109","author":[{"given":"Jerome","family":"Hugues","sequence":"first","affiliation":[{"name":"Software Engineering Institute Carnegie Mellon University,Pittsburg,PA,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lutz","family":"Wrage","sequence":"additional","affiliation":[{"name":"Software Engineering Institute Carnegie Mellon University,Pittsburg,PA,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Hatcliff","sequence":"additional","affiliation":[{"name":"Kansas State University,Department of Computing and Information,Manhattan,KS,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Danielle","family":"Stewart","sequence":"additional","affiliation":[{"name":"Galois, Inc.,Minneapolis,MN,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","author":"bertot","year":"2004","journal-title":"Interactive Theorem Proving and Program Development - Coq'Art The Calculus of Inductive Constructions ser Texts in Theoretical Computer Science An EATCS Series"},{"key":"ref11","volume":"1","author":"pierce","year":"2018","journal-title":"Logical Foundations ser Software Foundations series"},{"key":"ref12","year":"2017"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"ref14","year":"0"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40648-0_28"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-009-9072-y"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2597457.2597458"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.02.058"},{"key":"ref19","first-page":"259","article-title":"Effective bridging between ecore and coq: Case of a type-checker with proof-carrying code","volume":"64","author":"buisson","year":"2018","journal-title":"Modelling and Implementation of Complex Systems - Proceedings of the 5th International Symposium MISC 2018 Laghouat Algeria December 16–18 2018 ser Lecture Notes in Networks and Systems"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/154766.155376"},{"key":"ref3","first-page":"233","article-title":"Sirius: A rapid development of dsm graphical editor","author":"viyovi?","year":"0","journal-title":"IEEE 18th International Conference on Intelligent Engineering Systems INES 2014"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538814"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2814251.2814261"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-019-09226-1"},{"key":"ref7","author":"pit-claudel","year":"2021","journal-title":"An experience report on writing usable DSLs in Coq"},{"key":"ref2","author":"bettini","year":"2016","journal-title":"Implementing Domain-Speci c Languages with Xtext and Xtend Second Edition"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1118890.1118892"},{"key":"ref9","first-page":"22:1","article-title":"Abstract response-time analysis: A formal foundation for the busy-window principle","volume":"165","author":"bozhko","year":"2020","journal-title":"32nd euromicro conference on real-time systems ECRTS 2020 july 7–10 2020 virtual conference ser LIPIcs"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-019-00765-6"}],"event":{"name":"2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","location":"Shanghai, China","start":{"date-parts":[[2022,10,13]]},"end":{"date-parts":[[2022,10,14]]}},"container-title":["2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9954458\/9954381\/09954589.pdf?arnumber=9954589","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,19]],"date-time":"2022-12-19T20:08:55Z","timestamp":1671480535000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9954589\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,13]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/memocode57689.2022.9954589","relation":{},"subject":[],"published":{"date-parts":[[2022,10,13]]}}}