{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T10:49:46Z","timestamp":1761130186698,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,11,26]],"date-time":"2024-11-26T00:00:00Z","timestamp":1732579200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"FUNDEP Rota 2030\/Linha VI project AutoDL","award":["29271.03.01\/2023.04-00"],"award-info":[{"award-number":["29271.03.01\/2023.04-00"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,11,26]]},"DOI":"10.1145\/3697090.3697101","type":"proceedings-article","created":{"date-parts":[[2024,12,11]],"date-time":"2024-12-11T07:06:08Z","timestamp":1733900768000},"page":"55-64","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Using Vehicular Protection Mechanisms to Enable Fault-Aware Safety Verification of Autonomous Vehicles"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3108-7650","authenticated-orcid":false,"given":"Jos\u00e9 Luis","family":"Conradi Hoffmann","sequence":"first","affiliation":[{"name":"Federal University of Santa Catarina, Florian\u00f3polis, Santa Catarina, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4063-1339","authenticated-orcid":false,"given":"Ant\u00f4nio Augusto","family":"Fr\u00f6hlich","sequence":"additional","affiliation":[{"name":"Federal University of Santa Catarina, Florian\u00f3polis, Santa Catarina, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8020-4446","authenticated-orcid":false,"given":"Marcus","family":"V\u00f6lp","sequence":"additional","affiliation":[{"name":"SnT - Universit\u00e9 du Luxembourg, Kirchberg, Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7309-6424","authenticated-orcid":false,"given":"Paolo","family":"Milazzo","sequence":"additional","affiliation":[{"name":"University of Pisa, Pisa, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,12,10]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_3_2_2_2","DOI":"10.1109\/IVS.2010.5548121"},{"doi-asserted-by":"publisher","unstructured":"Matthias Althoff and Silvia Magdici. 2016. Set-Based Prediction of Traffic Participants on Arbitrary Road Networks. IEEE Transactions on Intelligent Vehicles 1 2 (2016) 187\u2013202. 10.1109\/TIV.2016.2622920","key":"e_1_3_3_2_3_2","DOI":"10.1109\/TIV.2016.2622920"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_4_2","DOI":"10.1109\/IJCNN.2016.7727461"},{"doi-asserted-by":"publisher","unstructured":"Jin Cui Giedre Sabaliauskaite Lin\u00a0Shen Liew Fengjun Zhou and Biao Zhang. 2019. Collaborative Analysis Framework of Safety and Security for Autonomous Vehicles. IEEE Access 7 (2019) 148672\u2013148683. 10.1109\/access.2019.2946632","key":"e_1_3_3_2_5_2","DOI":"10.1109\/access.2019.2946632"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_6_2","DOI":"10.1109\/ETFA52439.2022.9921605"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_7_2","DOI":"10.1109\/SBESC60926.2023.10324156"},{"doi-asserted-by":"publisher","unstructured":"Ant\u00f4nio\u00a0Augusto Fr\u00f6hlich. 2018. SmartData: an IoT-ready API for sensor networks. International Journal of Sensor Networks 28 3 (2018) 202. 10.1504\/ijsnet.2018.096264","key":"e_1_3_3_2_8_2","DOI":"10.1504\/ijsnet.2018.096264"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_9_2","DOI":"10.1109\/ITSC.2018.8569950"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_10_2","DOI":"10.1109\/IECON49645.2022.9969074"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_11_2","DOI":"10.1109\/ISIE51582.2022.9831686"},{"doi-asserted-by":"publisher","unstructured":"Jihua Huang and Han-Shue Tan. 2016. Control System Design of an Automated Bus in Revenue Service. IEEE Transactions on Intelligent Transportation Systems 17 10 (Oct. 2016) 2868\u20132878. 10.1109\/tits.2016.2530760 https:\/\/dl.acm.org\/doi\/10.1109\/tits.2016.2530760","key":"e_1_3_3_2_12_2","DOI":"10.1109\/tits.2016.2530760"},{"doi-asserted-by":"publisher","unstructured":"SAE International. 2021. Taxonomy and Definitions for Terms Related to Driving Automation Systems for On-Road Motor Vehicles. 10.4271\/j3016_202104","key":"e_1_3_3_2_13_2","DOI":"10.4271\/j3016_202104"},{"unstructured":"International Organization for Standardization. 2018. ISO 2626: Road vehicles \u2013 Functional Safety. https:\/\/www.iso.org\/obp\/ui\/#iso:std:iso:26262:-1:ed-2:v1:en","key":"e_1_3_3_2_14_2"},{"doi-asserted-by":"publisher","unstructured":"Seong-Woo Kim Baoxing Qin Zhuang\u00a0Jie Chong Xiaotong Shen Wei Liu Marcelo\u00a0H. Ang Emilio Frazzoli and Daniela Rus. 2015. Multivehicle Cooperative Driving Using Cooperative Perception: Design and Experimental Validation. IEEE Transactions on Intelligent Transportation Systems 16 2 (2015) 663\u2013680. 10.1109\/TITS.2014.2337316 https:\/\/dl.acm.org\/doi\/10.1109\/TITS.2014.2337316","key":"e_1_3_3_2_15_2","DOI":"10.1109\/TITS.2014.2337316"},{"doi-asserted-by":"publisher","unstructured":"Weiwei Kong Yugong Luo Zhaobo Qin Yunlong Qi and Xiaomin Lian. 2019. Comprehensive Fault Diagnosis and Fault-Tolerant Protection of In-Vehicle Intelligent Electric Power Supply Network. IEEE Transactions on Vehicular Technology 68 11 (2019) 10453\u201310464. 10.1109\/TVT.2019.2921784","key":"e_1_3_3_2_16_2","DOI":"10.1109\/TVT.2019.2921784"},{"doi-asserted-by":"publisher","unstructured":"Philip Koopman and Michael Wagner. 2016. Challenges in Autonomous Vehicle Testing and Validation. SAE International Journal of Transportation Safety 4 1 (April 2016) 15\u201324. 10.4271\/2016-01-0128","key":"e_1_3_3_2_17_2","DOI":"10.4271\/2016-01-0128"},{"doi-asserted-by":"publisher","unstructured":"Federico Lucchetti Rafal Graczyk and Marcus V\u00f6lp. 2023. Toward resilient autonomous driving\u2014An experience report on integrating resilience mechanisms into the Apollo autonomous driving software stack. Frontiers in Computer Science 5 (April 2023) 1\u201311. 10.3389\/fcomp.2023.1125055","key":"e_1_3_3_2_18_2","DOI":"10.3389\/fcomp.2023.1125055"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_19_2","DOI":"10.1007\/978-3-540-30206-3_12"},{"doi-asserted-by":"publisher","unstructured":"Khan Muhammad Amin Ullah Jaime Lloret Javier\u00a0Del Ser and Victor Hugo\u00a0C. de Albuquerque. 2021. Deep Learning for Safe Autonomous Driving: Current Challenges and Future Directions. IEEE Transactions on Intelligent Transportation Systems 22 7 (2021) 4316\u20134336. 10.1109\/TITS.2020.3032227 https:\/\/dl.acm.org\/doi\/10.1109\/TITS.2020.3032227","key":"e_1_3_3_2_20_2","DOI":"10.1109\/TITS.2020.3032227"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_21_2","DOI":"10.1109\/ICCVE45908.2019.8965069"},{"doi-asserted-by":"publisher","unstructured":"Christian Pek Stefanie Manzinger Markus Koschi and Matthias Althoff. 2020. Using online verification to prevent autonomous vehicles from causing accidents. Nature Machine Intelligence 2 9 (Sept. 2020) 518\u2013528. 10.1038\/s42256-020-0225-y","key":"e_1_3_3_2_22_2","DOI":"10.1038\/s42256-020-0225-y"},{"doi-asserted-by":"publisher","unstructured":"Usman Raza Alessandro Camerra Amy\u00a0L. Murphy Themis Palpanas and Gian\u00a0Pietro Picco. 2015. Practical Data Prediction for Real-World Wireless Sensor Networks. IEEE Transactions on Knowledge and Data Engineering 27 8 (2015) 2231\u20132244. 10.1109\/TKDE.2015.2411594 https:\/\/dl.acm.org\/doi\/10.1109\/TKDE.2015.2411594","key":"e_1_3_3_2_23_2","DOI":"10.1109\/TKDE.2015.2411594"},{"doi-asserted-by":"publisher","unstructured":"M.S. Sangha J.B. Gomm D.L. Yu and G.F. Page. 2005. FAULT DETECTION AND IDENTIFICATION OF AUTOMOTIVE ENGINES USING NEURAL NETWORKS. IFAC Proceedings Volumes 38 1 (2005) 272\u2013277. 10.3182\/20050703-6-CZ-1902.0193316th IFAC World Congress.","key":"e_1_3_3_2_24_2","DOI":"10.3182\/20050703-6-CZ-1902.01933"},{"unstructured":"Shai Shalev-Shwartz Shaked Shammah and Amnon Shashua. 2017. On a Formal Model of Safe and Scalable Self-driving Cars. CoRR abs\/1708.06374 (2017) 1\u201337. arXiv:https:\/\/arXiv.org\/abs\/1708.06374http:\/\/arxiv.org\/abs\/1708.06374","key":"e_1_3_3_2_25_2"},{"doi-asserted-by":"publisher","unstructured":"Galina Sidorenko Aleksei Fedorov Johan Thunberg and Alexey Vinel. 2022. Towards a Complete Safety Framework for Longitudinal Driving. IEEE Transactions on Intelligent Vehicles 7 4 (2022) 809\u2013814. 10.1109\/TIV.2022.3209910","key":"e_1_3_3_2_26_2","DOI":"10.1109\/TIV.2022.3209910"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_27_2","DOI":"10.1109\/DISCOVER50404.2020.9278091"},{"doi-asserted-by":"publisher","unstructured":"J.T. Spooner and K.M. Passino. 1997. Fault-tolerant control for automated highway systems. IEEE Transactions on Vehicular Technology 46 3 (1997) 770\u2013785. 10.1109\/25.618202","key":"e_1_3_3_2_28_2","DOI":"10.1109\/25.618202"}],"event":{"acronym":"LADC 2024","name":"LADC 2024: 13th Latin-American Symposium on Dependable and Secure Computing","location":"Recife Brazil"},"container-title":["Proceedings of the 13th Latin-American Symposium on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3697090.3697101","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3697090.3697101","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:17:33Z","timestamp":1750295853000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3697090.3697101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,26]]},"references-count":27,"alternative-id":["10.1145\/3697090.3697101","10.1145\/3697090"],"URL":"https:\/\/doi.org\/10.1145\/3697090.3697101","relation":{},"subject":[],"published":{"date-parts":[[2024,11,26]]},"assertion":[{"value":"2024-12-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}