{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:10Z","timestamp":1763468050700,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,9]],"date-time":"2011-10-09T00:00:00Z","timestamp":1318118400000},"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":[[2011,10,9]]},"DOI":"10.1145\/2038642.2038647","type":"proceedings-article","created":{"date-parts":[[2011,10,11]],"date-time":"2011-10-11T14:29:11Z","timestamp":1318343351000},"page":"13-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Resource allocation contracts for open analytic runtime models"],"prefix":"10.1145","author":[{"given":"Min-Young","family":"Nam","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dionisio","family":"de Niz","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lutz","family":"Wrage","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lui","family":"Sha","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, Urbana, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,10,9]]},"reference":[{"unstructured":"gPROMS. http:\/\/www.psenterprise.com\/gproms\/.  gPROMS. http:\/\/www.psenterprise.com\/gproms\/.","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","volume-title":"Morgan Kaufmann","author":"Ashenden Peter J.","year":"2002","unstructured":"Peter J. Ashenden , Gregory D. Peterson , and Darrell A. Teegarden . The System Designer's Guide to VHDL-AMS: Analog, Mixed-Signal, and Mixed-Technology Modeling . Morgan Kaufmann , 2002 . Peter J. Ashenden, Gregory D. Peterson, and Darrell A. Teegarden. The System Designer's Guide to VHDL-AMS: Analog, Mixed-Signal, and Mixed-Technology Modeling. Morgan Kaufmann, 2002."},{"key":"e_1_3_2_1_3_1","first-page":"49","volume-title":"The Spec# Programming System: An Overview","author":"Barnett Mike","year":"2004","unstructured":"Mike Barnett , K. Rustan M. Leino , and Wolfram Schulte . The Spec# Programming System: An Overview . pages 49 -- 69 . Springer , 2004 . Mike Barnett, K. Rustan M. Leino, and Wolfram Schulte. The Spec# Programming System: An Overview. pages 49--69. Springer, 2004."},{"key":"e_1_3_2_1_5_1","volume-title":"A generic model of contracts for embedded systems. CoRR, abs\/0706.1456","author":"Benveniste A.","year":"2007","unstructured":"A. Benveniste , B. Caillaud , and R. Passerone . A generic model of contracts for embedded systems. CoRR, abs\/0706.1456 , 2007 . A. Benveniste, B. Caillaud, and R. Passerone. A generic model of contracts for embedded systems. CoRR, abs\/0706.1456, 2007."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1002\/spe.v35:6"},{"unstructured":"S.\n      Colin\n     and \n      L.\n      Mariani\n  . \n  Run-Time Verification\n  . In Manfred Broy Bengt Jonsson Joost-Pieter Katoen Martin Leucker and Alexander Pretschner editors Model-Based Testing of Reactive Systems volume \n  3472\n   of \n  Lecture Notes in Computer Science pages \n  525\n  --\n  555\n  . \n  Springer\n  .  S. Colin and L. Mariani. Run-Time Verification. In Manfred Broy Bengt Jonsson Joost-Pieter Katoen Martin Leucker and Alexander Pretschner editors Model-Based Testing of Reactive Systems volume 3472 of Lecture Notes in Computer Science pages 525--555. Springer.","key":"e_1_3_2_1_7_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1504\/IJES.2006.014855"},{"key":"e_1_3_2_1_9_1","first-page":"687","volume-title":"Proceedings of the Russian-German Workshop Innovation Information Technologies: theory and practice","author":"Demuth Birgit","year":"2009","unstructured":"Birgit Demuth and Claas Wilke . Model and Object Verification by Using Dresden OCL . In Proceedings of the Russian-German Workshop Innovation Information Technologies: theory and practice , pages 687 -- 690 , Ufa, Russia , 2009 . Birgit Demuth and Claas Wilke. Model and Object Verification by Using Dresden OCL. In Proceedings of the Russian-German Workshop Innovation Information Technologies: theory and practice, pages 687--690, Ufa, Russia, 2009."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1109\/ICECCS.2007.29"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/512529.512558"},{"key":"e_1_3_2_1_12_1","volume-title":"UML Distilled: A Brief Guide to the Standard Object Modeling Language","author":"Fowler Martin","year":"1999","unstructured":"Martin Fowler and Kendall Scott . UML Distilled: A Brief Guide to the Standard Object Modeling Language . Addison-Wesley , 1999 . Martin Fowler and Kendall Scott. UML Distilled: A Brief Guide to the Standard Object Modeling Language. Addison-Wesley, 1999."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.5555\/882497.884518"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1109\/MSP.2010.30"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.5555\/1351542.1351687"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1145\/505145.505149"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1145\/383845.383858"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.5555\/998685.1006964"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1007\/s00165-007-0026-7"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1016\/j.scico.2004.05.015"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1145\/321738.321743"},{"key":"e_1_3_2_1_22_1","volume-title":"Object-oriented Software Construction","author":"Meyer Bertrand","year":"1997","unstructured":"Bertrand Meyer . Object-oriented Software Construction , 1997 . Bertrand Meyer. Object-oriented Software Construction, 1997."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1109\/ICSTW.2008.53"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.5555\/827266.828523"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1109\/2.846319"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.5555\/827266.828530"}],"event":{"sponsor":["CEDA","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","IEEE CS"],"acronym":"ESWeek '11","name":"ESWeek '11: Seventh Embedded Systems Week","location":"Taipei Taiwan"},"container-title":["Proceedings of the ninth ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2038642.2038647","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2038642.2038647","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:48:14Z","timestamp":1750240094000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2038642.2038647"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,9]]},"references-count":25,"alternative-id":["10.1145\/2038642.2038647","10.1145\/2038642"],"URL":"https:\/\/doi.org\/10.1145\/2038642.2038647","relation":{},"subject":[],"published":{"date-parts":[[2011,10,9]]},"assertion":[{"value":"2011-10-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}