{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T09:35:42Z","timestamp":1730194542485,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1109\/acsd.2008.4574596","type":"proceedings-article","created":{"date-parts":[[2010,12,8]],"date-time":"2010-12-08T09:27:32Z","timestamp":1291800452000},"page":"56-61","source":"Crossref","is-referenced-by-count":5,"title":["An effective approach for model checking SystemC designs"],"prefix":"10.1109","author":[{"given":"Razieh","family":"Behjati","sequence":"first","affiliation":[]},{"given":"Hamideh","family":"Sabouri","sequence":"additional","affiliation":[]},{"given":"Niloofar","family":"Razavi","sequence":"additional","affiliation":[]},{"given":"Marjan","family":"Sirjani","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"113","article-title":"compositional semantics of system-level designs written in systemc. fundamentals of software engineering (fsen'07)","volume":"4767","author":"razavi","year":"2007","journal-title":"LNCS"},{"year":"0","key":"22"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0022460"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1278480.1278527"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2006.1695912"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-006-9044-6"},{"journal-title":"IEEE 1666 SystemC Language Reference Manual","year":"2005","key":"16"},{"key":"13","first-page":"494","article-title":"efficient symmetry reduction for an actor-based model. icd-cit","volume":"3816","author":"jaghoori","year":"2005","journal-title":"LNCS"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2005.1487900"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2008.4574597"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141704"},{"key":"21","first-page":"1054","article-title":"model checking, automated abstraction, and compositional verification of rebeca models","volume":"ucs 11","author":"sirjani","year":"2005","journal-title":"J"},{"journal-title":"SyMon SystemC Model-checking engine technical report","year":"0","key":"3"},{"key":"20","first-page":"385","article-title":"modeling and verification of reactive systems using rebeca","volume":"63","author":"sirjani","year":"2004","journal-title":"Fundamenta Informaticae"},{"year":"0","key":"2"},{"journal-title":"Afra A SystemC verifier","year":"0","key":"1"},{"key":"10","first-page":"245","article-title":"formal verification of ltl formulas for systemc designs","volume":"5","author":"gro\ufffde","year":"2003","journal-title":"ISCAS"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2002.1115387"},{"journal-title":"Model checking","year":"2000","author":"clarke","key":"6"},{"journal-title":"MIT Press Cambridge MA USA","article-title":"actors: a model of concurrent computation in distributed systems","year":"1990","author":"agha","key":"5"},{"journal-title":"Sytra SystemC to Rebeca transformation","year":"0","key":"4"},{"journal-title":"Transaction-Level Modeling With SystemC TLM Concepts and Applications for Embedded Systems","year":"2005","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"}],"event":{"name":"2008 8th International Conference on Application of Concurrency to System Design","start":{"date-parts":[[2008,6,23]]},"location":"Xian, China","end":{"date-parts":[[2008,6,27]]}},"container-title":["2008 8th International Conference on Application of Concurrency to System Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4562770\/4574586\/04574596.pdf?arnumber=4574596","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T12:18:06Z","timestamp":1489753086000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4574596\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"references-count":23,"URL":"http:\/\/dx.doi.org\/10.1109\/acsd.2008.4574596","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}
