{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:01:55Z","timestamp":1729630915453,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,7]]},"DOI":"10.1109\/wises.2008.4623310","type":"proceedings-article","created":{"date-parts":[[2008,9,16]],"date-time":"2008-09-16T16:41:06Z","timestamp":1221583266000},"page":"1-7","source":"Crossref","is-referenced-by-count":8,"title":["Using model checking to derive loop bounds of general loops within ANSI-C applications for measurement based WCET analysis"],"prefix":"10.1109","author":[{"given":"Bernhard","family":"Rieder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Puschner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ingomar","family":"Wenzel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1007\/978-3-540-24730-2_15","article-title":"a tool for checking ansi-c programs","volume":"2988","author":"clarke","year":"2004","journal-title":"Lecture Notes in Computer Science"},{"year":"0","key":"2"},{"journal-title":"ANSI-C Bounded Model Checker User Manual","year":"2006","author":"clarke","key":"1"},{"key":"7","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1007\/978-3-540-27813-9_26","article-title":"why model checking can improve wcet analysis","volume":"3114","author":"metzner","year":"2004","journal-title":"Lecture Notes in Computer Science"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.12"},{"journal-title":"Ma?lardalen WCET benchmarks","year":"2006","key":"5"},{"key":"4","article-title":"data-flow based detection of loop bounds","author":"cullmann","year":"2007","journal-title":"Proceedings of 7th International Workshop on Worst-Case Execution Time (WCET) Analysis"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.76"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/SEUS.2005.12"}],"event":{"name":"2008 International Workshop on Intelligent Solutions in Embedded Systems (WISES 2008)","start":{"date-parts":[[2008,7,10]]},"location":"Rogensburg","end":{"date-parts":[[2008,7,11]]}},"container-title":["2008 International Workshop on Intelligent Solutions in Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4609868\/4623290\/04623310.pdf?arnumber=4623310","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T07:46:58Z","timestamp":1497772018000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4623310\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/wises.2008.4623310","relation":{},"subject":[],"published":{"date-parts":[[2008,7]]}}}