{"id":"https://openalex.org/W4394769501","doi":"https://doi.org/10.1145/3597503.3639151","title":"REDriver: Runtime Enforcement for Autonomous Vehicles","display_name":"REDriver: Runtime Enforcement for Autonomous Vehicles","publication_year":2024,"publication_date":"2024-04-12","ids":{"openalex":"https://openalex.org/W4394769501","doi":"https://doi.org/10.1145/3597503.3639151"},"language":"en","primary_location":{"id":"doi:10.1145/3597503.3639151","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3597503.3639151","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3597503.3639151","source":null,"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 46th International Conference on Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3597503.3639151","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100321726","display_name":"Yang Sun","orcid":"https://orcid.org/0000-0002-2409-2160"},"institutions":[{"id":"https://openalex.org/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]}],"countries":["SG"],"is_corresponding":true,"raw_author_name":"Yang Sun","raw_affiliation_strings":["Singapore Management University, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0002-2409-2160","affiliations":[{"raw_affiliation_string":"Singapore Management University, Singapore, Singapore","institution_ids":["https://openalex.org/I79891267"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053470148","display_name":"Christopher M. Poskitt","orcid":"https://orcid.org/0000-0002-9376-2471"},"institutions":[{"id":"https://openalex.org/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Christopher M. Poskitt","raw_affiliation_strings":["Singapore Management University, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0002-9376-2471","affiliations":[{"raw_affiliation_string":"Singapore Management University, Singapore, Singapore","institution_ids":["https://openalex.org/I79891267"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100376221","display_name":"Xiaodong Zhang","orcid":"https://orcid.org/0000-0002-8380-1019"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaodong Zhang","raw_affiliation_strings":["Xidian University, Xi'an, China"],"raw_orcid":"https://orcid.org/0000-0002-8380-1019","affiliations":[{"raw_affiliation_string":"Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100429004","display_name":"Jun Sun","orcid":"https://orcid.org/0000-0002-3545-1392"},"institutions":[{"id":"https://openalex.org/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Jun Sun","raw_affiliation_strings":["Singapore Management University, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0002-3545-1392","affiliations":[{"raw_affiliation_string":"Singapore Management University, Singapore, Singapore","institution_ids":["https://openalex.org/I79891267"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100321726"],"corresponding_institution_ids":["https://openalex.org/I79891267"],"apc_list":null,"apc_paid":null,"fwci":1.3828,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.81851794,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.991100013256073,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.991100013256073,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9902999997138977,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9839000105857849,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7601460218429565},{"id":"https://openalex.org/keywords/trajectory","display_name":"Trajectory","score":0.5791098475456238},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5770331621170044},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5388545393943787},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5066819787025452},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.5050135254859924},{"id":"https://openalex.org/keywords/fidelity","display_name":"Fidelity","score":0.46978986263275146},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.4272242784500122},{"id":"https://openalex.org/keywords/collision-avoidance","display_name":"Collision avoidance","score":0.42337512969970703},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.413008451461792},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3762108087539673},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.34224170446395874},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.32932284474372864},{"id":"https://openalex.org/keywords/collision","display_name":"Collision","score":0.21349486708641052},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2099258303642273}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7601460218429565},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.5791098475456238},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5770331621170044},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5388545393943787},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5066819787025452},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.5050135254859924},{"id":"https://openalex.org/C2776459999","wikidata":"https://www.wikidata.org/wiki/Q2119376","display_name":"Fidelity","level":2,"score":0.46978986263275146},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.4272242784500122},{"id":"https://openalex.org/C2780864053","wikidata":"https://www.wikidata.org/wiki/Q5147495","display_name":"Collision avoidance","level":3,"score":0.42337512969970703},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.413008451461792},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3762108087539673},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.34224170446395874},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.32932284474372864},{"id":"https://openalex.org/C121704057","wikidata":"https://www.wikidata.org/wiki/Q352070","display_name":"Collision","level":2,"score":0.21349486708641052},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2099258303642273},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3597503.3639151","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3597503.3639151","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3597503.3639151","source":null,"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 46th International Conference on Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3597503.3639151","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3597503.3639151","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3597503.3639151","source":null,"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM 46th International Conference on Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3882347383","display_name":null,"funder_award_id":"Tier 3","funder_id":"https://openalex.org/F4320320751","funder_display_name":"Ministry of Education - Singapore"},{"id":"https://openalex.org/G5027370758","display_name":null,"funder_award_id":"MOET32020-0004","funder_id":"https://openalex.org/F4320320751","funder_display_name":"Ministry of Education - Singapore"}],"funders":[{"id":"https://openalex.org/F4320320751","display_name":"Ministry of Education - Singapore","ror":"https://ror.org/01kcva023"},{"id":"https://openalex.org/F4320323346","display_name":"B\u1ed9 Gi\u00e1o d\u1ee5c v\u00e0 \u00d0\u00e0o t\u1ea1o","ror":"https://ror.org/00drv3378"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4394769501.pdf","grobid_xml":"https://content.openalex.org/works/W4394769501.grobid-xml"},"referenced_works_count":38,"referenced_works":["https://openalex.org/W828139470","https://openalex.org/W1547304883","https://openalex.org/W1985929316","https://openalex.org/W1992368757","https://openalex.org/W2004796166","https://openalex.org/W2036910349","https://openalex.org/W2079727599","https://openalex.org/W2113012730","https://openalex.org/W2127240436","https://openalex.org/W2154867660","https://openalex.org/W2156093990","https://openalex.org/W2164451522","https://openalex.org/W2233387800","https://openalex.org/W2563313883","https://openalex.org/W2608488893","https://openalex.org/W2609891528","https://openalex.org/W2621540998","https://openalex.org/W2752666516","https://openalex.org/W2755893646","https://openalex.org/W2757214569","https://openalex.org/W2808791761","https://openalex.org/W2899532715","https://openalex.org/W2947393117","https://openalex.org/W2963530628","https://openalex.org/W2969749685","https://openalex.org/W2987585208","https://openalex.org/W3013252785","https://openalex.org/W3034174753","https://openalex.org/W3080967833","https://openalex.org/W3089533586","https://openalex.org/W3091986137","https://openalex.org/W3096990961","https://openalex.org/W3097314177","https://openalex.org/W3101000982","https://openalex.org/W3104935568","https://openalex.org/W3117590843","https://openalex.org/W4323644408","https://openalex.org/W6739739501"],"related_works":["https://openalex.org/W2381850946","https://openalex.org/W4380449851","https://openalex.org/W2889566344","https://openalex.org/W4317634134","https://openalex.org/W3125091513","https://openalex.org/W4318832338","https://openalex.org/W2981729160","https://openalex.org/W4310743282","https://openalex.org/W2743212448","https://openalex.org/W2537110013"],"abstract_inverted_index":{"Autonomous":[0],"driving":[1],"systems":[2],"(ADSs)":[3],"integrate":[4],"sensing,":[5],"perception,":[6],"drive":[7],"control,":[8],"and":[9,32,65,89,110,155,184],"several":[10,28],"other":[11],"critical":[12,43,67],"tasks":[13],"in":[14,35,116,130],"autonomous":[15],"vehicles,":[16],"motivating":[17],"research":[18],"into":[19],"techniques":[20],"for":[21,30,175],"assessing":[22],"their":[23],"safety.":[24],"While":[25],"there":[26],"are":[27,50],"approaches":[29],"testing":[31],"analysing":[33],"them":[34],"high-fidelity":[36],"simulators,":[37],"ADSs":[38],"may":[39],"still":[40],"encounter":[41],"additional":[42,56],"scenarios":[44],"beyond":[45],"those":[46],"covered":[47],"once":[48],"they":[49],"deployed":[51],"on":[52,135,149],"real":[53],"roads.":[54],"An":[55],"level":[57],"of":[58,87,124,145,153,167,178,190,192],"confidence":[59],"can":[60,119],"be":[61],"established":[62],"by":[63],"monitoring":[64],"enforcing":[66],"properties":[68,84,125],"when":[69,164],"the":[70,99,142,146,162,168,206],"ADS":[71,147],"is":[72,77,90,170],"running.":[73],"Existing":[74],"work,":[75,104],"however,":[76],"only":[78],"able":[79],"to":[80,92,113,160,187,205],"monitor":[81],"simple":[82],"safety":[83],"(e.g.,":[85,126],"avoidance":[86],"collisions)":[88],"limited":[91],"blunt":[93],"enforcement":[94],"mechanisms":[95],"such":[96],"as":[97],"hitting":[98],"emergency":[100],"brakes.":[101],"In":[102],"this":[103],"we":[105],"propose":[106],"REDriver,":[107],"a":[108,121,131,150,157,165,181,188],"general":[109],"modular":[111],"approach":[112],"runtime":[114],"enforcement,":[115],"which":[117],"users":[118],"specify":[120],"broad":[122],"range":[123],"national":[127],"traffic":[128,194],"laws)":[129],"specification":[132,169,207],"language":[133],"based":[134,148],"signal":[136],"temporal":[137],"logic":[138],"(STL).":[139],"REDriver":[140,174,200],"monitors":[141],"planned":[143],"trajectory":[144,163],"quantitative":[151],"semantics":[152],"STL,":[154],"uses":[156],"gradient-driven":[158],"algorithm":[159],"repair":[161],"violation":[166],"likely.":[171],"We":[172],"implemented":[173],"two":[176],"versions":[177],"Apollo":[179],"(i.e.,":[180],"popular":[182],"ADS),":[183],"subjected":[185],"it":[186],"benchmark":[189],"violations":[191],"Chinese":[193],"laws.":[195],"The":[196],"results":[197],"show":[198],"that":[199],"significantly":[201],"improves":[202],"Apollo's":[203],"conformance":[204],"with":[208],"minimal":[209],"overhead.":[210]},"counts_by_year":[{"year":2025,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}