{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T05:38:57Z","timestamp":1740807537549,"version":"3.38.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-08T14:27:32Z","timestamp":1291818452000},"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":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hamideh","family":"Sabouri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Niloofar","family":"Razavi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marjan","family":"Sirjani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"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","doi-asserted-by":"crossref","first-page":"385","DOI":"10.3233\/FUN-2004-63405","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"},{"key":"5","article-title":"actors: a model of concurrent computation in distributed systems","author":"agha","year":"1990","journal-title":"MIT Press Cambridge MA USA"},{"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":[[2025,2,28]],"date-time":"2025-02-28T15:40:39Z","timestamp":1740757239000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4574596\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/acsd.2008.4574596","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}