{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,6]],"date-time":"2025-10-06T06:02:50Z","timestamp":1759730570127,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,10,19]],"date-time":"2008-10-19T00:00:00Z","timestamp":1224374400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,10,19]]},"DOI":"10.1145\/1450135.1450166","type":"proceedings-article","created":{"date-parts":[[2008,10,22]],"date-time":"2008-10-22T12:25:44Z","timestamp":1224678344000},"page":"131-136","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":63,"title":["Model checking SystemC designs using timed automata"],"prefix":"10.1145","author":[{"given":"Paula","family":"Herber","sequence":"first","affiliation":[{"name":"Technical University of Berlin, Berlin, Germany"}]},{"given":"Joachim","family":"Fellmuth","sequence":"additional","affiliation":[{"name":"Technical University of Berlin, Berlin, Germany"}]},{"given":"Sabine","family":"Glesner","sequence":"additional","affiliation":[{"name":"Technical University of Berlin, Berlin, Germany"}]}],"member":"320","published-online":{"date-parts":[[2008,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_2_1","volume-title":"Formal Methods for the Design of Real-Time Systems, LNCS 3185","author":"Behrmann G.","year":"2004","unstructured":"G. Behrmann , A. David , and K. G. Larsen . A Tutorial on Uppaal . In Formal Methods for the Design of Real-Time Systems, LNCS 3185 . Springer , 2004 . G. Behrmann, A. David, and K. G. Larsen. A Tutorial on Uppaal. In Formal Methods for the Design of Real-Time Systems, LNCS 3185. Springer, 2004."},{"key":"e_1_3_2_1_3_1","first-page":"232","volume-title":"Workshop on Verification and Control of Hybrid Systems, LNCS 1066","author":"Bengtsson J.","year":"1995","unstructured":"J. Bengtsson , K. G. Larsen , F. Larsson , P. Pettersson , and W. Yi . Uppaal - a Tool Suite for Automatic Verification of Real-Time Systems . In Workshop on Verification and Control of Hybrid Systems, LNCS 1066 , pages 232 -- 243 . Springer , Oct. 1995 . J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi. Uppaal - a Tool Suite for Automatic Verification of Real-Time Systems. In Workshop on Verification and Control of Hybrid Systems, LNCS 1066, pages 232--243. Springer, Oct. 1995."},{"key":"e_1_3_2_1_4_1","series-title":"Lecture Notes on Concurrency and Petri Nets, LNCS 3098","volume-title":"Timed automata: Semantics, algorithms and tools","author":"Bengtsson J.","year":"2004","unstructured":"J. Bengtsson and W. Yi . Timed automata: Semantics, algorithms and tools . In Lecture Notes on Concurrency and Petri Nets, LNCS 3098 . Springer , 2004 . J. Bengtsson and W. Yi. Timed automata: Semantics, algorithms and tools. In Lecture Notes on Concurrency and Petri Nets, LNCS 3098. Springer, 2004."},{"key":"e_1_3_2_1_5_1","unstructured":"FZI Research Center for Information Technology. KaSCPar - Karlsruhe SystemC Parser Suite.  FZI Research Center for Information Technology. KaSCPar - Karlsruhe SystemC Parser Suite."},{"key":"e_1_3_2_1_6_1","volume-title":"System Design with SystemC","author":"Groetker T.","year":"2002","unstructured":"T. Groetker . System Design with SystemC . Kluwer Academic Publishers , 2002 . T. Groetker. System Design with SystemC. Kluwer Academic Publishers, 2002."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459851"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1127908.1127920"},{"key":"e_1_3_2_1_9_1","first-page":"76","volume-title":"Automation and Test in Europe","author":"Habibi A.","year":"2006","unstructured":"A. Habibi , H. Moinudeen , and S. Tahar . Generating Finite State Machines from SystemC. In Design , Automation and Test in Europe , pages 76 -- 81 , 2006 . A. Habibi, H. Moinudeen, and S. Tahar. Generating Finite State Machines from SystemC. In Design, Automation and Test in Europe, pages 76--81, 2006."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11562948_8"},{"key":"e_1_3_2_1_11_1","volume-title":"Open SystemC Language Reference Manual","author":"IEEE Standards Association","year":"2005","unstructured":"IEEE Standards Association . IEEE Std . 1666--2005 , Open SystemC Language Reference Manual , 2005 . IEEE Standards Association. IEEE Std. 1666--2005, Open SystemC Language Reference Manual, 2005."},{"key":"e_1_3_2_1_12_1","first-page":"1228","volume-title":"DATE","author":"Karlsson D.","year":"2006","unstructured":"D. Karlsson , P. Eles , and Z. Peng . Formal verification of SystemC Designs using a Petri-Net based Representation . In DATE , pages 1228 -- 1233 , 2006 . D. Karlsson, P. Eles, and Z. Peng. Formal verification of SystemC Designs using a Petri-Net based Representation. In DATE, pages 1228--1233, 2006."},{"key":"e_1_3_2_1_13_1","volume-title":"Research in Microelectronics and Electronics","volume":"1","author":"Man K.","year":"2005","unstructured":"K. Man . An Overview of SystemCFL . In Research in Microelectronics and Electronics , volume 1 , 2005 . K. Man. An Overview of SystemCFL. In Research in Microelectronics and Electronics, volume 1, 2005."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/978-3-540-73625-7_6","volume-title":"Embedded Computing Systems: Architectures, Modeling, and Simulation, LNCS 4599","author":"Man K. L.","year":"2007","unstructured":"K. L. Man , A. Fedeli , M. Mercaldi , M. Boubekeur , and M. P. Schellekens . SC2SCFL: Automated SystemC to SystemCFL Translation . In Embedded Computing Systems: Architectures, Modeling, and Simulation, LNCS 4599 , pages 34 -- 45 . Springer , 2007 . K. L. Man, A. Fedeli, M. Mercaldi, M. Boubekeur, and M. P. Schellekens. SC2SCFL: Automated SystemC to SystemCFL Translation. In Embedded Computing Systems: Architectures, Modeling, and Simulation, LNCS 4599, pages 34--45. Springer, 2007."},{"key":"e_1_3_2_1_15_1","first-page":"97","volume-title":"SystemC: Methodologies and Applications","author":"M\u00fcller W.","year":"2003","unstructured":"W. M\u00fcller , J. Ruf , and W. Rosenstiel . An ASM based SystemC Simulation Semantics . SystemC: Methodologies and Applications , pages 97 -- 126 , 2003 . W. M\u00fcller, J. Ruf, and W. Rosenstiel. An ASM based SystemC Simulation Semantics. SystemC: Methodologies and Applications, pages 97--126, 2003."},{"key":"e_1_3_2_1_16_1","first-page":"64","volume-title":"DATE","author":"Ruf J.","year":"2001","unstructured":"J. Ruf , D. Hoffmann , J. Gerlach , T. Kropf , W. Rosenstiehl , and W. M\u00fcller . The Simulation Semantics of SystemC . In DATE , pages 64 -- 70 . IEEE Press , 2001 . J. Ruf, D. Hoffmann, J. Gerlach, T. Kropf, W. Rosenstiehl, and W. M\u00fcller. The Simulation Semantics of SystemC. In DATE, pages 64--70. IEEE Press, 2001."},{"key":"e_1_3_2_1_17_1","volume-title":"DATE","author":"Salem A.","year":"2003","unstructured":"A. Salem . Formal Semantics of Synchronous SystemC . In DATE , 2003 . A. Salem. Formal Semantics of Synchronous SystemC. In DATE, 2003."}],"event":{"name":"ESWEEK 08: Fourth Embedded Systems Week","sponsor":["ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"],"location":"Atlanta GA USA","acronym":"ESWEEK 08"},"container-title":["Proceedings of the 6th IEEE\/ACM\/IFIP international conference on Hardware\/Software codesign and system synthesis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1450135.1450166","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1450135.1450166","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:55Z","timestamp":1750253395000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1450135.1450166"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,19]]},"references-count":17,"alternative-id":["10.1145\/1450135.1450166","10.1145\/1450135"],"URL":"https:\/\/doi.org\/10.1145\/1450135.1450166","relation":{},"subject":[],"published":{"date-parts":[[2008,10,19]]},"assertion":[{"value":"2008-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}