{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:51:28Z","timestamp":1725526288028},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1109\/date.2012.6176482","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T18:16:29Z","timestamp":1361297789000},"page":"296-299","source":"Crossref","is-referenced-by-count":0,"title":["MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution"],"prefix":"10.1109","author":[{"given":"M.","family":"Becker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G. B. G.","family":"Defo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Fummi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Mueller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Pravadelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Vinco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1007\/978-1-4020-9436-1_9"},{"key":"17","first-page":"134","article-title":"Cosimulation of hybrid systems: Signal-simulink","author":"tudoret","year":"2000","journal-title":"FTRTFT"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1109\/BMAS.2006.283461"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1109\/DATE.2008.4484675"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1145\/1497561.1497566"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1109\/TCAD.2006.884859"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1145\/1146909.1147140"},{"year":"0","journal-title":"The SystemVerilog","key":"11"},{"year":"0","journal-title":"SystemC-AMS 1 0 Standard","key":"12"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1109\/FDL.2008.4641420"},{"year":"0","journal-title":"HIFSuite","key":"20"},{"doi-asserted-by":"publisher","key":"22","DOI":"10.1145\/1837274.1837283"},{"year":"2011","author":"di guglielmo","journal-title":"UniverCM The UNIversal VERsatile Computational Model for Heterogeneous Embedded System Design","key":"23"},{"key":"24","first-page":"58","article-title":"Semi-formal functional verification by EFSM traversing via NuSMV","author":"guglielmo","year":"0","journal-title":"Proc of IEEE HLDVT 2010"},{"doi-asserted-by":"publisher","key":"25","DOI":"10.1145\/1982595.1982616"},{"year":"0","key":"26"},{"year":"2007","author":"zabel","journal-title":"Simulation with Abstract RTOS Models in SystemC","key":"27"},{"doi-asserted-by":"publisher","key":"28","DOI":"10.1007\/978-1-4020-9436-1_9"},{"year":"2007","journal-title":"SystemC 2 1 Language Reference Manual","key":"3"},{"key":"2","first-page":"41","article-title":"Qemu, a fast and portable dynamic translator","author":"ballard","year":"0","journal-title":"Prof of USENIX Technical Conference 2005"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1007\/978-1-4615-4515-6"},{"year":"2002","author":"smith","journal-title":"Open Dynamics Engine V0 030 User Guide","key":"1"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/MC.2003.1193228"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/JPROC.2002.805829"},{"year":"2011","journal-title":"What Is Model-Based Design","key":"5"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1109\/DATE.2011.5763168"},{"year":"2002","journal-title":"HSIF Semantics (Version 3 Synchronous Edition)","key":"9"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/LICS.1996.561342"}],"event":{"name":"2012 Design, Automation & Test in Europe Conference & Exhibition (DATE 2012)","start":{"date-parts":[[2012,3,12]]},"location":"Dresden","end":{"date-parts":[[2012,3,16]]}},"container-title":["2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6171057\/6176405\/06176482.pdf?arnumber=6176482","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T19:05:44Z","timestamp":1490123144000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6176482\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/date.2012.6176482","relation":{},"subject":[],"published":{"date-parts":[[2012,3]]}}}