{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T02:14:39Z","timestamp":1769739279526,"version":"3.49.0"},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000041","name":"ADA","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000041","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\/100000185","name":"DARPA","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,4]]},"DOI":"10.23919\/date56975.2023.10137246","type":"proceedings-article","created":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T19:32:57Z","timestamp":1685734377000},"page":"1-6","source":"Crossref","is-referenced-by-count":10,"title":["MAVFI: An End-to-End Fault Analysis Framework with Anomaly Detection and Recovery for Micro Aerial Vehicles"],"prefix":"10.23919","author":[{"given":"Yu-Shun","family":"Hsiao","sequence":"first","affiliation":[{"name":"Harvard University"}]},{"given":"Zishen","family":"Wan","sequence":"additional","affiliation":[{"name":"Harvard University"}]},{"given":"Tianyu","family":"Jia","sequence":"additional","affiliation":[{"name":"Harvard University"}]},{"given":"Radhika","family":"Ghosal","sequence":"additional","affiliation":[{"name":"Harvard University"}]},{"given":"Abdulrahman","family":"Mahmoud","sequence":"additional","affiliation":[{"name":"Harvard University"}]},{"given":"Arijit","family":"Raychowdhury","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology"}]},{"given":"David","family":"Brooks","sequence":"additional","affiliation":[{"name":"Harvard University"}]},{"given":"Gu-Yeon","family":"Wei","sequence":"additional","affiliation":[{"name":"Harvard University"}]},{"given":"Vijay Janapa","family":"Reddi","sequence":"additional","affiliation":[{"name":"Harvard University"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2021.3052449"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304050"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586280"},{"key":"ref14","author":"knuth","year":"2014","journal-title":"Art of Computer Programming"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2019.00025"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2014.2"},{"key":"ref2","article-title":"Silent data corruptions at scale","author":"dixit","year":"2021","journal-title":"ArXiv Preprint"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3126908.3126964"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/LCA.2020.2981022"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DSN48987.2021.00018"},{"key":"ref7","article-title":"Making convolutions resilient via algorithm-based error detection techniques","author":"hari","year":"2021","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"ref9","article-title":"Mavbench: Micro aerial vehicle benchmarking","author":"boroujerdian","year":"2018","journal-title":"Micro"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2005.37"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3458336.3465297"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2020.2975764"},{"key":"ref5","year":"0","journal-title":"Surviving an In-Flight Anomaly What Happened on Ingenuity's Sixth Flight"}],"event":{"name":"2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)","location":"Antwerp, Belgium","start":{"date-parts":[[2023,4,17]]},"end":{"date-parts":[[2023,4,19]]}},"container-title":["2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10136870\/10136706\/10137246.pdf?arnumber=10137246","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,25]],"date-time":"2023-09-25T17:49:58Z","timestamp":1695664198000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10137246\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4]]},"references-count":16,"URL":"https:\/\/doi.org\/10.23919\/date56975.2023.10137246","relation":{},"subject":[],"published":{"date-parts":[[2023,4]]}}}