{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:22:14Z","timestamp":1729624934879,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1109\/rtas.2013.6531082","type":"proceedings-article","created":{"date-parts":[[2013,6,25]],"date-time":"2013-06-25T18:55:18Z","timestamp":1372186518000},"page":"87-96","source":"Crossref","is-referenced-by-count":12,"title":["Precise micro-architectural modeling for WCET analysis via AI+SAT"],"prefix":"10.1109","author":[{"given":"A.","family":"Banerjee","sequence":"first","affiliation":[]},{"given":"S.","family":"Chattopadhyay","sequence":"additional","affiliation":[]},{"given":"A.","family":"Roychoudhury","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1145\/315773.315778"},{"doi-asserted-by":"publisher","key":"22","DOI":"10.1145\/1391469.1391545"},{"doi-asserted-by":"publisher","key":"17","DOI":"10.1109\/RTSS.2008.10"},{"doi-asserted-by":"publisher","key":"23","DOI":"10.1023\/A:1008141130870"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1109\/RTAS.2011.27"},{"key":"24","article-title":"Why AI + ILP is good for WCET, but MC is not, nor ILP alone","author":"wilhelm","year":"2004","journal-title":"VMCAI"},{"key":"15","article-title":"Timing analysis of concurrent programs running on shared cache multi-cores","author":"li et al","year":"2009","journal-title":"RTSS"},{"key":"16","article-title":"Refining static analyses by trace-based partitioning using control flow","author":"handjieva","year":"1998","journal-title":"SAS"},{"key":"13","article-title":"Combining abstract interpretation with model checking for timing analysis of multicore software","author":"lv et al","year":"2010","journal-title":"RTSS"},{"key":"14","article-title":"Chronos: A timing analyzer for embedded software","author":"li et al","year":"2007","journal-title":"Science of Computer Programming"},{"key":"11","article-title":"Supporting timing analysis by automatic bounding of loop iterations","volume":"18","author":"healy et al","year":"2000","journal-title":"Real-Time Systems"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1109\/RTSS.2006.12"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1007\/978-3-642-11950-7_19"},{"year":"0","key":"3"},{"year":"2006","author":"nemer","journal-title":"Papabench A Free Real-time Benchmark","key":"20"},{"year":"0","key":"2"},{"year":"0","key":"1"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1109\/REAL.2000.896006"},{"key":"7","article-title":"A tool for checking ANSI-C programs","author":"clarke","year":"2004","journal-title":"TACAS"},{"key":"6","article-title":"Scalable and precise refine-ment of cache timing analysis via model checking","author":"chattopadhyay","year":"2011","journal-title":"RTSS"},{"year":"2003","journal-title":"SCSEM Case Study","article-title":"CTAS case study overview, requirements","key":"5"},{"year":"0","key":"4"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/CGO.2009.17"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.1023\/A:1008149332687","article-title":"Worst case execution time analysis for a processor with branch prediction","volume":"18","author":"colin","year":"2000","journal-title":"Real-Time Systems"}],"event":{"name":"2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS)","start":{"date-parts":[[2013,4,9]]},"location":"Philadelphia, PA","end":{"date-parts":[[2013,4,11]]}},"container-title":["2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6523367\/6531071\/06531082.pdf?arnumber=6531082","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T15:14:07Z","timestamp":1498058047000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6531082\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/rtas.2013.6531082","relation":{},"subject":[],"published":{"date-parts":[[2013,4]]}}}