{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:25:01Z","timestamp":1729617901672,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1109\/rtas.2016.7461358","type":"proceedings-article","created":{"date-parts":[[2016,4,28]],"date-time":"2016-04-28T16:18:27Z","timestamp":1461860307000},"page":"1-12","source":"Crossref","is-referenced-by-count":18,"title":["Precise Cache Timing Analysis via Symbolic Execution"],"prefix":"10.1109","author":[{"given":"Duc-Hiep","family":"Chu","sequence":"first","affiliation":[]},{"given":"Joxan","family":"Jaffar","sequence":"additional","affiliation":[]},{"given":"Rasool","family":"Maghareh","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2011.27"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/129393.129398"},{"journal-title":"Clang-C Language Family Front End for LLVM","year":"2015","key":"ref12"},{"journal-title":"Malardalen WCET research group benchmarks","year":"2006","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"ref15","article-title":"Papabench: a free real-time benchmark","volume":"4","author":"nemer","year":"2006","journal-title":"International Workshop on Worst-Case Execution Time Analysis WCET'06"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008119029962"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2516821.2516847"},{"key":"ref18","first-page":"456","article-title":"Performance analysis of embedded software using implicit path enumeration","author":"li","year":"1995","journal-title":"Proc Design Automation Conference DAC'95"},{"key":"ref19","first-page":"105","article-title":"Segment abstraction for worst-case execution time analysis","author":"?ern\u00fd","year":"2015","journal-title":"European Symposium on Programming ESOP'15"},{"key":"ref28","article-title":"Sound and efficient WCET analysis in the presence of timing anomalies","volume":"10","author":"reineke","year":"2009","journal-title":"International Workshop on Worst-Case Execution Time Analysis WCET'06"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2013.6531082"},{"key":"ref27","article-title":"A definition and classification of timing anomalies","volume":"4","author":"reineke","year":"2006","journal-title":"International Workshop on Worst-Case Execution Time Analysis WCET'06"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2011.25"},{"key":"ref6","first-page":"297","article-title":"Efficient memoization for dynamic programming with ad-hoc constraints","author":"jaffar","year":"2008","journal-title":"Proc AAAI Nat Conf Artificial Intelligence"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038692"},{"journal-title":"WCET tool competition 2014","year":"2014","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512770"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008141130870"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0057777"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2002.1181568"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2597809.2597817"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/315773.315778"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/RTTAS.1997.601358"},{"journal-title":"aiT Worst-Case Execution Time Analyzers","year":"2015","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008138407139"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46081-8_3"}],"event":{"name":"2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)","start":{"date-parts":[[2016,4,11]]},"location":"Vienna, Austria","end":{"date-parts":[[2016,4,14]]}},"container-title":["2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7460013\/7461311\/07461358.pdf?arnumber=7461358","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,9,29]],"date-time":"2016-09-29T12:48:24Z","timestamp":1475153304000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7461358\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/rtas.2016.7461358","relation":{},"subject":[],"published":{"date-parts":[[2016,4]]}}}