{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:51:29Z","timestamp":1730281889938,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/memcod.2015.7340474","type":"proceedings-article","created":{"date-parts":[[2015,12,3]],"date-time":"2015-12-03T16:13:03Z","timestamp":1449159183000},"page":"90-95","source":"Crossref","is-referenced-by-count":2,"title":["Hierarchical multi-formalism proofs of cyber-physical systems"],"prefix":"10.1109","author":[{"given":"Michael W.","family":"Whalen","sequence":"first","affiliation":[]},{"given":"Sanjai","family":"Rayadurgam","sequence":"additional","affiliation":[]},{"given":"Elaheh","family":"Ghassabani","sequence":"additional","affiliation":[]},{"given":"Anitha","family":"Murugesan","sequence":"additional","affiliation":[]},{"given":"Oleg","family":"Sokolsky","sequence":"additional","affiliation":[]},{"given":"Mats P.E.","family":"Heimdahl","sequence":"additional","affiliation":[]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33678-2_25"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2012.22"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.03.003"},{"key":"ref13","article-title":"Active: A tool for integrating analysis contracts","author":"ruchkin","year":"2014","journal-title":"Proc of the Analytic Virtual Integration of Cyber- Physical Systems Workshop"},{"key":"ref14","first-page":"5","article-title":"Models in software engineering","author":"chkouri","year":"0","journal-title":"Springer-Verlag 2009 ch Translating AADL into BIP - Application to the Verification of Real-Time Systems"},{"key":"ref4","article-title":"Hierarchical multi-formalism proofs","author":"whalen","year":"2014","journal-title":"University of Minnesota Sofware Engineering Center Tech Rep"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289949"},{"key":"ref5","first-page":"527","article-title":"Readings in hardware\/software co-design","author":"buck","year":"2002","journal-title":"Ptolemy A Framework for Simulating and Prototyping Heterogeneous Systems"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/INNOVATIONS.2012.6207775"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45923-5_12"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2014.6843718"},{"key":"ref1","first-page":"126","article-title":"Compositional verification of architectural models","volume":"7226","author":"cofer","year":"2012","journal-title":"NFM"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461368"}],"event":{"name":"2015 ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)","start":{"date-parts":[[2015,9,21]]},"location":"Austin, TX, USA","end":{"date-parts":[[2015,9,23]]}},"container-title":["2015 ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7329076\/7340456\/07340474.pdf?arnumber=7340474","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T22:20:28Z","timestamp":1490394028000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7340474\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/memcod.2015.7340474","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}