{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:26:13Z","timestamp":1729657573328,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1109\/rtas.2014.6926002","type":"proceedings-article","created":{"date-parts":[[2015,1,21]],"date-time":"2015-01-21T19:35:37Z","timestamp":1421868937000},"page":"189-200","source":"Crossref","is-referenced-by-count":4,"title":["Architecture-parametric timing analysis"],"prefix":"10.1109","author":[{"given":"Jan","family":"Reineke","sequence":"first","affiliation":[]},{"given":"Johannes","family":"Doerfert","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2009.5351143"},{"key":"ref32","first-page":"276","article-title":"Automatic verification of hybrid systems with large discrete state space","volume":"4218","author":"damm","year":"2006","journal-title":"ATVA"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2007.358018"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2001.933995"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2039370.2039388"},{"key":"ref11","first-page":"35","article-title":"OTAWA: an open toolbox for adaptive WCET analysis","author":"ballabriga","year":"2010","journal-title":"SEUS"},{"key":"ref12","first-page":"1212","article-title":"Timing analysis for the precision timed ARM processor","author":"banerjee","year":"2012","journal-title":"Keele University Technical Report"},{"journal-title":"The GNU multiple precision arithmetic library","year":"0","author":"granlund","key":"ref13"},{"key":"ref14","article-title":"The Mälardalen WCET benchmarks - past, present and future","author":"gustafsson","year":"2010","journal-title":"WCET"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2010.78"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1273440.1250671"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1455229.1455231"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1289816.1289877"},{"key":"ref19","article-title":"Towards compositionality in execution time analysis - definition and challenges","author":"hahn","year":"2013","journal-title":"CRTS"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/BF01088803"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024787"},{"key":"ref27","first-page":"91","article-title":"A formal framework for precise parametric WCET formulas","author":"huber","year":"2012","journal-title":"WCET"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2013287"},{"key":"ref6","first-page":"243","article-title":"Parametric integer programming","volume":"22","author":"feautrier","year":"1988","journal-title":"RAIRO Recherche Opérationnelle"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/500001.500011","article-title":"retargetable static timing analysis for embedded software","author":"chen","year":"2001","journal-title":"International Symposium on System Synthesis (IEEE Cat No 01EX526) ISSS-01"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2012.6378622"},{"key":"ref8","first-page":"81","article-title":"A fast linear-arithmetic solver for DPLL(T)","author":"dutertre","year":"2006","journal-title":"CAV"},{"journal-title":"Linear Programming and Extensions","year":"1963","author":"dantzig","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2014005"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1145\/1278480.1278545","article-title":"the case for the precision timed (pret) machine","author":"edwards","year":"2007","journal-title":"2007 44th ACM\/IEEE Design Automation Conference DAC"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2007.4391842"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1132357.1132364"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1254766.1254795"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/384196.384230"},{"key":"ref24","first-page":"25:1","article-title":"Parametric timing analysis and its application to dynamic voltage scaling","volume":"10","author":"mohan","year":"2011","journal-title":"ACM TECS"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2008.7"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1967677.1967697"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2010.06.009"}],"event":{"name":"2014 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)","start":{"date-parts":[[2014,4,15]]},"location":"Berlin, Germany","end":{"date-parts":[[2014,4,17]]}},"container-title":["2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6917167\/6925980\/06926002.pdf?arnumber=6926002","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T04:03:27Z","timestamp":1498190607000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6926002\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/rtas.2014.6926002","relation":{},"subject":[],"published":{"date-parts":[[2014,4]]}}}