{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:57:52Z","timestamp":1729666672446,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/sies.2012.6356587","type":"proceedings-article","created":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T02:14:21Z","timestamp":1354328061000},"page":"211-219","source":"Crossref","is-referenced-by-count":5,"title":["A formal support for homogeneous simulation of heterogeneous embedded systems"],"prefix":"10.1109","author":[{"given":"Luigi","family":"Di Guglielmo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Fummi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Graziano","family":"Pravadelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Stefanni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sara","family":"Vinco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"UniverCM: The UNIversal VERsatile Computational Model for heterogeneous embedded system design","author":"di guglielmo","year":"0","journal-title":"Proc of HLDVT 2011"},{"key":"17","first-page":"134","article-title":"Cosimulation of hybrid systems: Signal-simulink","author":"tudoret","year":"2000","journal-title":"FTRTFT"},{"journal-title":"HIFSuite","year":"0","key":"18"},{"journal-title":"Simulink 7 6","year":"2010","key":"33"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/BMAS.2006.283461"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2009.13"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1497561.1497566"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147140"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2008.4484675"},{"journal-title":"SystemC-AMS 1 0 Standard","year":"0","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.884859"},{"journal-title":"Stateflow Design and Simulate State Machines and Control Logic","year":"0","key":"21"},{"journal-title":"Readings in Hardware\/Software Co-Design","year":"2001","author":"de micheli","key":"20"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.15"},{"key":"23","first-page":"1","article-title":"Model Based Engineering for the support of Models of Computation: The Cometa Approach","author":"diallo","year":"0","journal-title":"Proceedings of MPM 2011"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.819898"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2011.5953667"},{"journal-title":"High-Level Synthesis Introduction to Chip and System Design","year":"1992","author":"gajski","key":"26"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2006.27"},{"journal-title":"IEEE Standard VHDL Analog and Mixed-Signal Extensions","year":"0","key":"28"},{"journal-title":"Verilog-AMS LRM","year":"0","key":"29"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84882-434-8","author":"fernandez","year":"2009","journal-title":"Models of Computation - An Introduction to Computability Theory"},{"journal-title":"Open SystemC Initiative","year":"0","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763168"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1007\/0-306-48709-8_14"},{"key":"7","first-page":"640","article-title":"Modeling and Simulation using the Compositional Interchange Format for Hybrid Systems","author":"sonntag","year":"2009","journal-title":"MATHMOD"},{"journal-title":"HSIF Semantics (Version 3 Synchronous Edition)","year":"2002","key":"6"},{"key":"32","first-page":"258","article-title":"PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech","volume":"3414","author":"frehse","year":"2005","journal-title":"LNCS"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193228"},{"key":"31","first-page":"1500","article-title":"Correct-byconstruction generation of device drivers based on RTL testbenches","author":"bombieri","year":"0","journal-title":"Proc of ACM\/IEEE DATE 2009"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"journal-title":"The SystemVerilog","year":"0","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4515-6"}],"event":{"name":"2012 7th IEEE International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2012,6,20]]},"location":"Karlsruhe, Germany","end":{"date-parts":[[2012,6,22]]}},"container-title":["7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6339458\/6356563\/06356587.pdf?arnumber=6356587","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,17]],"date-time":"2020-07-17T08:25:09Z","timestamp":1594974309000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6356587\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/sies.2012.6356587","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}