{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T10:46:25Z","timestamp":1761648385875,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1109\/sies.2016.7509422","type":"proceedings-article","created":{"date-parts":[[2016,7,14]],"date-time":"2016-07-14T21:41:34Z","timestamp":1468532494000},"page":"1-10","source":"Crossref","is-referenced-by-count":6,"title":["Static probabilistic timing analysis in presence of faults"],"prefix":"10.1109","author":[{"given":"Chao","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Santinelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jerome","family":"Hugues","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Beltrame","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.116"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.31"},{"key":"ref12","first-page":"22","article-title":"Improvements to static probabilistic timing analysis for systems with random cache replacement policies","author":"davis","year":"2013","journal-title":"RTSOPS 2013"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2013.27"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-014-9218-4"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2659787.2659809"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2015.41"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2014.16"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2013.33"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2014.59"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/23.490893"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2003.1225959"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89332-5"},{"article-title":"Cmos reliability challenges the future of commercial digitalelectronics and nasa","year":"0","author":"guertin","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465796"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15672-4_13"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2009.30"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2002.1181582"},{"key":"ref9","first-page":"1","article-title":"On the correctness, optimality and precision of static probabilistic timing analysis","author":"altmeyer","year":"0"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2516821.2516842"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/AHS.2014.6880183"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2006.4380799"},{"key":"ref24","first-page":"136","article-title":"The M&#x00E4;lardalen WCET Benchmarks: Past, Present And Future","volume":"15","author":"gustafsson","year":"0"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2008.15"}],"event":{"name":"2016 11th IEEE Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2016,5,23]]},"location":"Krakow, Poland","end":{"date-parts":[[2016,5,25]]}},"container-title":["2016 11th IEEE Symposium on Industrial Embedded Systems (SIES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7504669\/7509398\/07509422.pdf?arnumber=7509422","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T15:44:14Z","timestamp":1602690254000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7509422"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/sies.2016.7509422","relation":{},"subject":[],"published":{"date-parts":[[2016,5]]}}}