{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:33:08Z","timestamp":1750307588136,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"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.1629354","type":"proceedings-article","created":{"date-parts":[[2009,10,13]],"date-time":"2009-10-13T15:11:11Z","timestamp":1255446671000},"page":"137-146","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Symbolic state traversal for WCET analysis"],"prefix":"10.1145","author":[{"given":"Stephan","family":"Wilhelm","sequence":"first","affiliation":[{"name":"AbsInt GmbH, Saarbr\u00fccken, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bj\u00f6rn","family":"Wachter","sequence":"additional","affiliation":[{"name":"Saarland University, Saarbr\u00fccken, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"AbsInt. aiT WCET Analyzers. http:\/\/www.absint.com\/ait 2000.  AbsInt. aiT WCET Analyzers. http:\/\/www.absint.com\/ait 2000."},{"volume-title":"6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis","year":"2006","author":"Berg C.","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781144"},{"key":"e_1_3_2_1_4_1","unstructured":"A. Betts G. Bernat R. Kirner P. Puschner and I. Wenzel. WCET Coverage for Pipelines. Technical report 2006.  A. Betts G. Bernat R. Kirner P. Puschner and I. Wenzel. WCET Coverage for Pipelines. Technical report 2006."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0044-z"},{"key":"e_1_3_2_1_6_1","first-page":"428","volume-title":"CAV","author":"Brayton R. K.","year":"1996"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"volume-title":"IEEE Comp. Soc. Press","year":"1990","author":"Burch J.","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","unstructured":"S.-T. Cheng. Compiling Verilog into Automata. Technical report Electronics Research Lab Univ. of California Berkeley CA 94720 1994.  S.-T. Cheng. Compiling Verilog into Automata. Technical report Electronics Research Lab Univ. of California Berkeley CA 94720 1994."},{"key":"e_1_3_2_1_10_1","first-page":"15","volume-title":"CHDL","author":"Clarke E. M.","year":"1993"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"volume-title":"EDN - Electronic Design","year":"1988","author":"EDN.","key":"e_1_3_2_1_12_1"},{"volume-title":"Uppsala University","year":"2002","author":"Engblom J.","key":"e_1_3_2_1_13_1"},{"volume-title":"Saarland University","year":"1997","author":"Ferdinand C.","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/646787.703893"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/951513.951525"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814618"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1991.185307"},{"key":"e_1_3_2_1_19_1","first-page":"396","volume-title":"CAV","author":"Jhala R.","year":"2001"},{"volume-title":"Timing Validation of Automotive Software. In 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA) 2008","year":"2008","author":"Kastner D.","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/217474.217570"},{"key":"e_1_3_2_1_22_1","first-page":"10196","volume-title":"DATE","author":"Logothetis G.","year":"2003"},{"volume-title":"Proceedings of the 20th IEEE Real-Time Systems Symposium","year":"1999","author":"Lundquist T.","key":"e_1_3_2_1_23_1"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"F. Martin. PAG - An Efficient Program Analyzer Generator. STTT 2(1) 1998.  F. Martin. PAG - An Efficient Program Analyzer Generator. STTT 2(1) 1998.","DOI":"10.1007\/s100090050017"},{"key":"e_1_3_2_1_25_1","first-page":"80","volume-title":"Proceedings of the 7th International Conference on Compiler Construction, LNCS 1383","author":"Martin F.","year":"1998"},{"volume-title":"CAV","year":"2004","author":"Metzner A.","key":"e_1_3_2_1_26_1"},{"key":"e_1_3_2_1_27_1","unstructured":"R. Ranjan A. Aziz R. Brayton B. Plessier and C. Pixley. Efficient BDD Algorithms for FSM Synthesis and Verification 1995.  R. Ranjan A. Aziz R. Brayton B. Plessier and C. Pixley. Efficient BDD Algorithms for FSM Synthesis and Verification 1995."},{"volume-title":"Saarland University","year":"2008","author":"Reineke J.","key":"e_1_3_2_1_28_1"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/259794.259802"},{"volume-title":"Saarland University","year":"2003","author":"Schneider J.","key":"e_1_3_2_1_30_1"},{"volume-title":"Proceedings of the 5th Intl Workshop on (WCET) Analysis","year":"2005","author":"Souyris J.","key":"e_1_3_2_1_31_1"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"L. Tan. The Worst-case Execution Time Tool Challenge 2006. International Journal on Software Tools for Technology Transfer (STTT) 11(2):133 -- 152 2009.  L. Tan. The Worst-case Execution Time Tool Challenge 2006. International Journal on Software Tools for Technology Transfer (STTT) 11(2):133 -- 152 2009.","DOI":"10.1007\/s10009-008-0095-9"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/646788.704041"},{"key":"e_1_3_2_1_34_1","unstructured":"H. Theiling. Control Flow Graphs for Real-Time System Analysis. PhD thesis Saarland University 2003.  H. Theiling. Control Flow Graphs for Real-Time System Analysis. PhD thesis Saarland University 2003."},{"key":"e_1_3_2_1_35_1","unstructured":"S. Thesing. Safe and Precise WCET Determination by Abstract Interpretation of Pipeline Models. PhD thesis Saarland University 2004.  S. Thesing. Safe and Precise WCET Determination by Abstract Interpretation of Pipeline Models. PhD thesis Saarland University 2004."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2003.1209972"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/47907.47911"},{"key":"e_1_3_2_1_38_1","first-page":"2937","article-title":"ILP is good for WCET, but MC is not, nor ILP alone. In In Verification, Model Checking and Abstract Interpretation (VMCAI)","author":"Wilhelm R.","year":"2004","journal-title":"LNCS"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"}],"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.1629354","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1629335.1629354","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.1629354"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,12]]},"references-count":39,"alternative-id":["10.1145\/1629335.1629354","10.1145\/1629335"],"URL":"https:\/\/doi.org\/10.1145\/1629335.1629354","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"}}]}}