{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:33:09Z","timestamp":1750307589201,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,10,11]],"date-time":"2009-10-11T00:00:00Z","timestamp":1255219200000},"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,11]]},"DOI":"10.1145\/1629395.1629424","type":"proceedings-article","created":{"date-parts":[[2009,10,13]],"date-time":"2009-10-13T15:11:11Z","timestamp":1255446671000},"page":"205-214","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":27,"title":["Tight WCRT analysis of synchronous C programs"],"prefix":"10.1145","author":[{"given":"Partha S.","family":"Roop","sequence":"first","affiliation":[{"name":"The University of Auckland, Auckland, New Zealand"}]},{"given":"Sidharta","family":"Andalam","sequence":"additional","affiliation":[{"name":"The University of Auckland, Auckland, New Zealand"}]},{"given":"Reinhard","family":"von Hanxleden","sequence":"additional","affiliation":[{"name":"Christian-Albrechts-University , Kiel, Germany"}]},{"given":"Simon","family":"Yuan","sequence":"additional","affiliation":[{"name":"The University of Auckland, Auckland, New Zealand"}]},{"given":"Claus","family":"Traulsen","sequence":"additional","affiliation":[{"name":"Christian-Albrechts-University , Kiel, Germany"}]}],"member":"320","published-online":{"date-parts":[[2009,10,11]]},"reference":[{"unstructured":"UPPAAL tool. www.uppaal.com. last accessed on 29.4.09.  UPPAAL tool. www.uppaal.com. last accessed on 29.4.09.","key":"e_1_3_2_1_1_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_4_1","volume-title":"Benjamin\/Cummings","author":"Andrews G. R.","year":"1991","unstructured":"G. R. Andrews . Concurrent Programming : Principles and Practice . Benjamin\/Cummings , 1991 . G. R. Andrews. Concurrent Programming: Principles and Practice. Benjamin\/Cummings, 1991."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1016\/j.entcs.2008.05.011"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1002\/spe.4380210406"},{"key":"e_1_3_2_1_7_1","volume-title":"Model Checking","author":"Clarke E. M.","year":"2000","unstructured":"E. M. Clarke , O. Grumberg , and D. Peled . Model Checking . MIT Press , 2000 . E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 2000."},{"unstructured":"S. A. Edwards. Estbench Esterel benchmark suite. http:\/\/www1.cs.columbia.edu\/ sedwards\/software\/estbench-1.0.tar.gz.  S. A. Edwards. Estbench Esterel benchmark suite. http:\/\/www1.cs.columbia.edu\/ sedwards\/software\/estbench-1.0.tar.gz.","key":"e_1_3_2_1_8_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1145\/1278480.1278545"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1145\/1450135.1450175"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1007\/978-3-540-28644-8_25"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1145\/309847.309989"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/1168919.1168896"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/1450095.1450117"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.5555\/956418.956622"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.5555\/1874620.1874644"},{"key":"e_1_3_2_1_17_1","first-page":"334","volume-title":"CAV","volume":"3114","author":"Metzner A.","year":"2004","unstructured":"A. Metzner . Why model checking can improve WCET analysis . In CAV , volume LNCS- 3114 , pages 334 -- 347 , 2004 . A. Metzner. Why model checking can improve WCET analysis. In CAV, volume LNCS-3114, pages 334--347, 2004."},{"key":"e_1_3_2_1_18_1","volume-title":"Communication and Concurrency","author":"Milner R.","year":"1989","unstructured":"R. Milner . Communication and Concurrency . Prentice Hall , 1989 . R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1145\/1017753.1017793"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.5555\/1874620.1874650"},{"key":"e_1_3_2_1_21_1","volume-title":"Embedded System Design","author":"Vahid F.","year":"2002","unstructured":"F. Vahid and T. Givargis . Embedded System Design . John Wiley and Sons , 2002 . F. Vahid and T. Givargis. Embedded System Design. John Wiley and Sons, 2002."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1145\/1347375.1347389"},{"volume-title":"Microblaze Processor Reference Guide","year":"2008","unstructured":"Xilinx. Microblaze Processor Reference Guide , 2008 . Xilinx. Microblaze Processor Reference Guide, 2008.","key":"e_1_3_2_1_23_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1155\/2009\/610891"}],"event":{"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"],"acronym":"ESWeek '09","name":"ESWeek '09: Fifth Embedded Systems Week","location":"Grenoble France"},"container-title":["Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1629395.1629424","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1629395.1629424","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:41:27Z","timestamp":1750250487000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1629395.1629424"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,11]]},"references-count":23,"alternative-id":["10.1145\/1629395.1629424","10.1145\/1629395"],"URL":"https:\/\/doi.org\/10.1145\/1629395.1629424","relation":{},"subject":[],"published":{"date-parts":[[2009,10,11]]},"assertion":[{"value":"2009-10-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}