{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T14:47:25Z","timestamp":1776782845963,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T00:00:00Z","timestamp":1712880000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,12]]},"DOI":"10.1145\/3597503.3639151","type":"proceedings-article","created":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T16:43:26Z","timestamp":1712940206000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["REDriver: Runtime Enforcement for Autonomous Vehicles"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2409-2160","authenticated-orcid":false,"given":"Yang","family":"Sun","sequence":"first","affiliation":[{"name":"Singapore Management University, Singapore, Singapore"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9376-2471","authenticated-orcid":false,"given":"Christopher M.","family":"Poskitt","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore, Singapore"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8380-1019","authenticated-orcid":false,"given":"Xiaodong","family":"Zhang","sequence":"additional","affiliation":[{"name":"Xidian University, Xi'an, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3545-1392","authenticated-orcid":false,"given":"Jun","family":"Sun","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore, Singapore"}]}],"member":"320","published-online":{"date-parts":[[2024,4,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"REDriver Source Codes. https:\/\/redriver2023.github.io\/. Online","year":"2024","unstructured":"2023. REDriver Source Codes. https:\/\/redriver2023.github.io\/. Online; accessed Jan 2024."},{"key":"e_1_3_2_1_2_1","volume-title":"www.autoware.ai\/. Online","author":"Autoware AI.","year":"2024","unstructured":"Autoware.AI. 2022. Autoware.AI. www.autoware.ai\/. Online; accessed Jan 2024."},{"key":"e_1_3_2_1_3_1","volume-title":"https:\/\/github.com\/ApolloAuto\/apollo\/releases\/tag\/v6.0.0. Online","author":"APOLLO","year":"2024","unstructured":"Baidu. 2019. APOLLO 6.0. https:\/\/github.com\/ApolloAuto\/apollo\/releases\/tag\/v6.0.0. Online; accessed Jan 2024."},{"key":"e_1_3_2_1_4_1","volume-title":"https:\/\/github.com\/ApolloAuto\/apollo\/releases\/tag\/v7.0.0. Online","author":"APOLLO","year":"2024","unstructured":"Baidu. 2022. APOLLO 7.0. https:\/\/github.com\/ApolloAuto\/apollo\/releases\/tag\/v7.0.0. Online; accessed Jan 2024."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2009.20"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9197053"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_51"},{"key":"e_1_3_2_1_8_1","first-page":"1569","article-title":"Guardauto: A Decentralized Runtime Protection System for Autonomous Driving","volume":"70","author":"Cheng Kun","year":"2021","unstructured":"Kun Cheng, Yuan Zhou, Bihuan Chen, Rui Wang, Yuebin Bai, and Yang Liu. 2021. Guardauto: A Decentralized Runtime Protection System for Autonomous Driving. IEEE Trans. Computers 70, 10 (2021), 1569--1581.","journal-title":"IEEE Trans. Computers"},{"key":"e_1_3_2_1_9_1","unstructured":"Chinese Government. 2021. Regulations for the Implementation of the Road Traffic Safety Law of the People's Republic of China. http:\/\/www.gov.cn\/gongbao\/content\/2004\/content_62772.htm. Online; accessed Jan 2024."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2005.26"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67531-2_11"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2019.00027"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-017-0286-7"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0168054"},{"key":"e_1_3_2_1_15_1","volume-title":"Conference on Robot Learning. 1--16","author":"Dosovitskiy Alexey","year":"2017","unstructured":"Alexey Dosovitskiy, German Ros, Felipe Codevilla, Antonio Lopez, and Vladlen Koltun. 2017. CARLA: An open urban driving simulator. In Conference on Robot Learning. 1--16."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/3115971.3116162"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-021-00609-z"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0184952"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2010.5650371"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3001875"},{"key":"e_1_3_2_1_21_1","volume-title":"Assuring the Safety of End-to-End Learning-Based Autonomous Driving through Runtime Monitoring","author":"Grieser J\u00f6rg","unstructured":"J\u00f6rg Grieser, Meng Zhang, Tim Warnecke, and Andreas Rausch. 2020. Assuring the Safety of End-to-End Learning-Based Autonomous Driving through Runtime Monitoring. In DSD. IEEE, 476--483."},{"key":"e_1_3_2_1_22_1","unstructured":"Andreas Griewank et al. 1989. On automatic differentiation. Mathematical Programming: recent developments and applications 6 6 (1989) 83--107."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-20652-9_12"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen.2013.0236"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP48549.2020.00035"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23820-3_7"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE5003.2020.00012"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1455526.1455532"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Oded Maler and Dejan Nickovic. 2004. Monitoring temporal properties of continuous signals. In Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant Systems. 152--166.","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"e_1_3_2_1_30_1","volume-title":"ISoLA (2) (Lecture Notes in Computer Science","author":"Mauritz Malte","unstructured":"Malte Mauritz, Falk Howar, and Andreas Rausch. 2016. Assuring the Safety of Advanced Driver Assistance Systems Through a Combination of Simulation and Runtime Monitoring. In ISoLA (2) (Lecture Notes in Computer Science, Vol. 9953). 672--687."},{"key":"e_1_3_2_1_31_1","first-page":"034502","article-title":"Autonomous vehicle accident data analysis: California OL 316 reports: 2015--2020. ASCE-ASME Journal of Risk and Uncertainty in Engineering Systems","volume":"8","author":"McCarthy Roger L","year":"2022","unstructured":"Roger L McCarthy. 2022. Autonomous vehicle accident data analysis: California OL 316 reports: 2015--2020. ASCE-ASME Journal of Risk and Uncertainty in Engineering Systems, Part B: Mechanical Engineering 8, 3 (2022), 034502.","journal-title":"Part B: Mechanical Engineering"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0241-z"},{"key":"e_1_3_2_1_33_1","volume-title":"https:\/\/nari.arc.nasa.gov\/sws-tc3-diagram\/capability\/copilot\/. Online","author":"Copilot NASA.","year":"2024","unstructured":"NASA. 2023. Copilot. https:\/\/nari.arc.nasa.gov\/sws-tc3-diagram\/capability\/copilot\/. Online; accessed Jan 2024."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59152-6_34"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2017.8062628"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2017.23"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126500"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC45102.2020.9294422"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/353323.353382"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23820-3_15"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2001.936213"},{"key":"e_1_3_2_1_43_1","volume-title":"Formal Runtime Monitoring Approaches for Autonomous Vehicles. In OVERLAY'20 (CEUR Workshop Proceedings","volume":"94","author":"Shankar Saumya","unstructured":"Saumya Shankar, Ujwal V. R, Srinivas Pinisetty, and Partha S. Roop. 2020. Formal Runtime Monitoring Approaches for Autonomous Vehicles. In OVERLAY'20 (CEUR Workshop Proceedings, Vol. 2785). CEUR-WS.org, 89--94."},{"key":"e_1_3_2_1_44_1","first-page":"1","article-title":"LawBreaker","volume":"62","author":"Sun Yang","year":"2022","unstructured":"Yang Sun, Christopher M. Poskitt, Jun Sun, Yuqi Chen, and Zijiang Yang. 2022. LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. In ASE. ACM, 62:1--62:12.","journal-title":"In ASE. ACM"},{"key":"e_1_3_2_1_45_1","first-page":"1","article-title":"Runtime monitoring for safety of intelligent vehicles","volume":"31","author":"Watanabe Kosuke","year":"2018","unstructured":"Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, and Shinichi Shiraishi. 2018. Runtime monitoring for safety of intelligent vehicles. In DAC. ACM, 31:1--31:6.","journal-title":"DAC. ACM"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10898-011-9751-9"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967747"},{"key":"e_1_3_2_1_48_1","volume-title":"Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems","author":"Wu Meng","unstructured":"Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh, and Chao Wang. 2019. Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems. In FMCAD. IEEE, 129--137."},{"key":"e_1_3_2_1_49_1","first-page":"1","article-title":"Safety Guard","volume":"84","author":"Wu Meng","year":"2017","unstructured":"Meng Wu, Haibo Zeng, Chao Wang, and Huafeng Yu. 2017. Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited. In DAC. ACM, 84:1--84:6.","journal-title":"Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited. In DAC. ACM"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2023.3254142"}],"event":{"name":"ICSE '24: IEEE\/ACM 46th International Conference on Software Engineering","location":"Lisbon Portugal","acronym":"ICSE '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"]},"container-title":["Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3639151","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597503.3639151","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:49:12Z","timestamp":1750286952000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3639151"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,12]]},"references-count":49,"alternative-id":["10.1145\/3597503.3639151","10.1145\/3597503"],"URL":"https:\/\/doi.org\/10.1145\/3597503.3639151","relation":{},"subject":[],"published":{"date-parts":[[2024,4,12]]},"assertion":[{"value":"2024-04-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}