{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:26:47Z","timestamp":1729618007146,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,7]]},"DOI":"10.1109\/memcod.2011.5970506","type":"proceedings-article","created":{"date-parts":[[2011,8,3]],"date-time":"2011-08-03T22:16:29Z","timestamp":1312409789000},"page":"11-20","source":"Crossref","is-referenced-by-count":11,"title":["Rigorous system level modeling and analysis of mixed HW\/SW systems"],"prefix":"10.1109","author":[{"given":"P.","family":"Bourgos","sequence":"first","affiliation":[]},{"given":"A.","family":"Basu","sequence":"additional","affiliation":[]},{"given":"M.","family":"Bozga","sequence":"additional","affiliation":[]},{"given":"S.","family":"Bensalem","sequence":"additional","affiliation":[]},{"given":"J.","family":"Sifakis","sequence":"additional","affiliation":[]},{"given":"K.","family":"Huang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1186\/1687-3963-2007-082123","article-title":"A framework for system-level modeling and simulation of embedded systems architectures","volume":"2007","author":"erbas","year":"2007","journal-title":"EURASIP J Embedded Syst"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2005.23"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ASAP.1997.606839"},{"key":"ref13","first-page":"20 120","article-title":"Exploring sw performance using soc transaction-level modeling","author":"moussa","year":"2003","journal-title":"DATE"},{"key":"ref14","first-page":"101","article-title":"Real-time calculus for scheduling hard real-time systems","author":"thiele","year":"2002","journal-title":"ISCAS vol 4 no March"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:20045088"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1629335.1629342"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.11.018"},{"key":"ref18","first-page":"236","article-title":"Combining simulation and formal methods for system-level performance analysis","author":"k\u00fcnzli","year":"2006","journal-title":"DATE"},{"key":"ref19","first-page":"471","article-title":"The semantics of a simple language for parallel programming","author":"kahn","year":"1974","journal-title":"Information Processing"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1879021.1879049"},{"key":"ref3","first-page":"2006","article-title":"The landscape of parallel computing research: A view from berkeley","author":"asanovic","year":"2006","journal-title":"Tech Rep UCB\/EECS"},{"key":"ref6","first-page":"90","article-title":"Model-driven design-space exploration for embedded systems: The octopus toolset","author":"twan","year":"2010","journal-title":"ISOLA"},{"key":"ref5","article-title":"A next-generation design framework for platform-based design","author":"abhijit","year":"2007","journal-title":"DVCon 2007"},{"key":"ref8","first-page":"580","article-title":"Sys-temcodesigner: automatic design space exploration and rapid prototyping from behavioral models","author":"haubelt","year":"2008","journal-title":"DAC"},{"article-title":"System Design with SystemC","year":"2002","author":"grtker","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2006.27"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2007.53"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2001.968594"},{"key":"ref20","first-page":"508","article-title":"A Notion of Glue Expressiveness for Component-Based Systems","volume":"5201","author":"bliudze","year":"2008","journal-title":"CONCUR Ser LNCS"},{"key":"ref22","article-title":"Coupling MPARM with DOL","author":"huang","year":"2009","journal-title":"ETH Zurich Technical Report"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2011.27"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13464-7_4"}],"event":{"name":"2011 9th IEEE\/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011)","start":{"date-parts":[[2011,7,11]]},"location":"Cambridge, United Kingdom","end":{"date-parts":[[2011,7,13]]}},"container-title":["Ninth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5959846\/5970502\/05970506.pdf?arnumber=5970506","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T15:02:41Z","timestamp":1560438161000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5970506\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/memcod.2011.5970506","relation":{},"subject":[],"published":{"date-parts":[[2011,7]]}}}