{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T16:17:33Z","timestamp":1758125853858,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,10,12]],"date-time":"2009-10-12T00:00:00Z","timestamp":1255305600000},"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":[[2009,10,12]]},"DOI":"10.1145\/1629335.1629349","type":"proceedings-article","created":{"date-parts":[[2009,10,13]],"date-time":"2009-10-13T15:11:11Z","timestamp":1255446671000},"page":"97-106","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Formal and executable contracts for transaction-level modeling in SystemC"],"prefix":"10.1145","author":[{"given":"Tayeb","family":"Bouhadiba","sequence":"first","affiliation":[{"name":"VERIMAG\/Grenoble INP, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florence","family":"Maraninchi","sequence":"additional","affiliation":[{"name":"VERIMAG\/Grenoble INP, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Funchal","sequence":"additional","affiliation":[{"name":"VERIMAG\/STMicroelectronics, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02053-7_11"},{"key":"e_1_3_2_1_2_1","first-page":"155","article-title":"Ptolemy: a framework for simulating and prototyping heterogeneous systems","volume":"4","author":"Buck J.","year":"1994","unstructured":"J. Buck , S. Ha , E. Lee , and D. Messerschmitt . Ptolemy: a framework for simulating and prototyping heterogeneous systems . International Journal of Computer Simulation , 4 : 155 -- 182 , April 1994 . J. Buck, S. Ha, E. Lee, and D. Messerschmitt. Ptolemy: a framework for simulating and prototyping heterogeneous systems. International Journal of Computer Simulation, 4:155--182, April 1994.","journal-title":"International Journal of Computer Simulation"},{"key":"e_1_3_2_1_3_1","unstructured":"The Spirit Consortium. IP-XACT 1.4 specification. www.spiritconsortium.org\/releases\/1.4.  The Spirit Consortium. IP-XACT 1.4 specification. www.spiritconsortium.org\/releases\/1.4."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403381"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1213675"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450135.1450166"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_8_1","volume-title":"Int. Journal on Software Tools for Technology Transfer, 1(1{2):134--152","author":"Larsen K. G.","year":"1997","unstructured":"K. G. Larsen , P. Pettersson , and W. Yi . Uppaal in a Nutshell . Int. Journal on Software Tools for Technology Transfer, 1(1{2):134--152 , Oct. 1997 . K. G. Larsen, P. Pettersson, and W. Yi. Uppaal in a Nutshell. Int. Journal on Software Tools for Technology Transfer, 1(1{2):134--152, Oct. 1997."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289971.1289981"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/NEWCAS.2008.4606376"},{"key":"e_1_3_2_1_11_1","unstructured":"K. L. Mcmillan. The SMV system Nov. 06 1992.  K. L. Mcmillan. The SMV system Nov. 06 1992."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086286"},{"key":"e_1_3_2_1_13_1","volume-title":"Sept.","author":"Moy M.","year":"2006","unstructured":"M. Moy , F. Maraninchi , and L. Maillet-Contoz . LusSy: an open tool for the analysis of systems-on-a-chip at the transaction level. Design Automation for Embedded Systems, 10(2--3) , Sept. 2006 . M. Moy, F. Maraninchi, and L. Maillet-Contoz. LusSy: an open tool for the analysis of systems-on-a-chip at the transaction level. Design Automation for Embedded Systems, 10(2--3), Sept. 2006."},{"key":"e_1_3_2_1_14_1","first-page":"285","volume-title":"Forum on specification&Design Languages (FDL)","author":"Niemann B.","year":"2006","unstructured":"B. Niemann and C. Haubelt . Formalizing TLM with communicating state machines . In Forum on specification&Design Languages (FDL) , pages 285 -- 293 , 2006 . B. Niemann and C. Haubelt. Formalizing TLM with communicating state machines. In Forum on specification&Design Languages (FDL), pages 285--293, 2006."},{"key":"e_1_3_2_1_15_1","volume-title":"IEEE 1666 Standard: SystemC Language Reference Manual","author":"Initiative C","year":"2005","unstructured":"Open System C Initiative . IEEE 1666 Standard: SystemC Language Reference Manual , 2005 . http:\/\/www.systemc.org\/. Open SystemC Initiative. IEEE 1666 Standard: SystemC Language Reference Manual, 2005. http:\/\/www.systemc.org\/."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68237-0_20"}],"event":{"name":"ESWeek '09: Fifth 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":"Grenoble France","acronym":"ESWeek '09"},"container-title":["Proceedings of the seventh ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1629335.1629349","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1629335.1629349","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:41:26Z","timestamp":1750250486000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1629335.1629349"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,12]]},"references-count":16,"alternative-id":["10.1145\/1629335.1629349","10.1145\/1629335"],"URL":"https:\/\/doi.org\/10.1145\/1629335.1629349","relation":{},"subject":[],"published":{"date-parts":[[2009,10,12]]},"assertion":[{"value":"2009-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}