{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T20:09:54Z","timestamp":1784146194506,"version":"3.55.0"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T00:00:00Z","timestamp":1776643200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T00:00:00Z","timestamp":1776643200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000028","name":"Semiconductor Research Corporation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000028","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002701","name":"Ministry of Education","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002701","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002531","name":"Kyungpook National University","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002531","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,4,20]]},"DOI":"10.23919\/date69613.2026.11539296","type":"proceedings-article","created":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T19:53:10Z","timestamp":1780602790000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["PREFACE: Proactive Re-executions for Fault-aware Mixed-criticality Environments"],"prefix":"10.23919","author":[{"given":"Hwisoo","family":"So","sequence":"first","affiliation":[{"name":"Kyungpook National University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Byeonggil","family":"Jun","sequence":"additional","affiliation":[{"name":"Arizona State University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Chanhee","family":"Lee","sequence":"additional","affiliation":[{"name":"Arizona State University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hokeun","family":"Kim","sequence":"additional","affiliation":[{"name":"Arizona State University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Aviral","family":"Shrivastava","sequence":"additional","affiliation":[{"name":"Arizona State University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2005.37"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS54340.2022.00011"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS59052.2023.00037"},{"key":"ref4","volume-title":"Software-implemented hardware fault tolerance","author":"Goloubeva","year":"2006"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2005.34"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-013-5416-6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062265"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2017.8203792"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.23919\/DATE51398.2021.9473917"},{"key":"ref10","first-page":"29","article-title":"DO-178C: A new standard for software safety certification","volume-title":"Presented at the 22nd Systems and Software Technology Conference (SSTC)","volume":"26","author":"Brosgol"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/WWC.2001.990739"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"ref13","article-title":"llvm-or1k, GitHub"},{"key":"ref14","first-page":"1","article-title":"Quantitative evaluation of soft error injection techniques for robust system design","volume-title":"Proceedings of the 50th Annual Design Automation Conference","author":"Cho"},{"key":"ref15","article-title":"mor1kx Github repository"},{"issue":"212","key":"ref16","first-page":"6","article-title":"The OpenRISC processor: open hardware and linux","volume":"2011","author":"Tandon","year":"2011","journal-title":"Linux Journal"},{"issue":"99","key":"ref17","first-page":"3","article-title":"Icarus Verilog: Open-source Verilog more than a year later","volume":"2002","author":"Williams","year":"2002","journal-title":"Linux Journal"},{"key":"ref18","article-title":"System design and analysis","volume-title":"Advisory Circular AC","author":"Administration"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2392616.2392619"},{"key":"ref20","article-title":"A realistic evaluation of memory hardware errors and software system susceptibility","volume-title":"2010 USENIX Annual Technical Conference (USENIX ATC 10)","author":"Li"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2016.2522508"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-005-0507-9"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1002\/nav.3800210113"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3356865"},{"key":"ref25","first-page":"1","article-title":"On the scheduling of fault-tolerant mixed-criticality systems","volume-title":"Proceedings of the 51th Annual Design Automation Conference","author":"Huang"},{"key":"ref26","first-page":"11","article-title":"Do-178b: Software considerations in airborne systems and equipment certification","volume":"199","author":"Johnson","year":"1998","journal-title":"Crosstalk, October"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2016.037"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2017.2762293"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-014-9202-z"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ISSSR.2016.027"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2968455.2968515"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.58729\/1941-6679.1384"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2019.101688"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS54340.2022.00024"}],"event":{"name":"2026 Design, Automation & Test in Europe Conference (DATE)","location":"Verona, Italy","start":{"date-parts":[[2026,4,20]]},"end":{"date-parts":[[2026,4,22]]}},"container-title":["2026 Design, Automation & Test in Europe Conference (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11539023\/11539024\/11539296.pdf?arnumber=11539296","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T20:00:22Z","timestamp":1784145622000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11539296\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,20]]},"references-count":34,"URL":"https:\/\/doi.org\/10.23919\/date69613.2026.11539296","relation":{},"subject":[],"published":{"date-parts":[[2026,4,20]]}}}