{"id":"https://openalex.org/W4405261798","doi":"https://doi.org/10.1145/3697090.3697101","title":"Using Vehicular Protection Mechanisms to Enable Fault-Aware Safety Verification of Autonomous Vehicles","display_name":"Using Vehicular Protection Mechanisms to Enable Fault-Aware Safety Verification of Autonomous Vehicles","publication_year":2024,"publication_date":"2024-11-26","ids":{"openalex":"https://openalex.org/W4405261798","doi":"https://doi.org/10.1145/3697090.3697101"},"language":"en","primary_location":{"id":"doi:10.1145/3697090.3697101","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3697090.3697101","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th Latin-American Symposium on Dependable and Secure Computing","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://orbilu.uni.lu/bitstream/10993/65097/1/Preprint.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008748524","display_name":"Jos\u00e9 Lu\u00eds Conradi Hoffmann","orcid":"https://orcid.org/0000-0002-3108-7650"},"institutions":[{"id":"https://openalex.org/I4104125","display_name":"Universidade Federal de Santa Catarina","ror":"https://ror.org/041akq887","country_code":"BR","type":"education","lineage":["https://openalex.org/I4104125"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Jos\u00e9 Luis Conradi Hoffmann","raw_affiliation_strings":["Federal University of Santa Catarina, Florian\u00f3polis, Santa Catarina, Brazil"],"raw_orcid":"https://orcid.org/0000-0002-3108-7650","affiliations":[{"raw_affiliation_string":"Federal University of Santa Catarina, Florian\u00f3polis, Santa Catarina, Brazil","institution_ids":["https://openalex.org/I4104125"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039916641","display_name":"Ant\u00f4nio Augusto Fr\u00f6hlich","orcid":"https://orcid.org/0000-0002-4063-1339"},"institutions":[{"id":"https://openalex.org/I4104125","display_name":"Universidade Federal de Santa Catarina","ror":"https://ror.org/041akq887","country_code":"BR","type":"education","lineage":["https://openalex.org/I4104125"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Ant\u00f4nio Augusto Fr\u00f6hlich","raw_affiliation_strings":["Federal University of Santa Catarina, Florian\u00f3polis, Santa Catarina, Brazil"],"raw_orcid":"https://orcid.org/0000-0002-4063-1339","affiliations":[{"raw_affiliation_string":"Federal University of Santa Catarina, Florian\u00f3polis, Santa Catarina, Brazil","institution_ids":["https://openalex.org/I4104125"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005578675","display_name":"Marcus V\u00f6lp","orcid":"https://orcid.org/0000-0002-8020-4446"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]},{"id":"https://openalex.org/I4210134190","display_name":"Recherches Scientifiques Luxembourg","ror":"https://ror.org/0333e3w09","country_code":"LU","type":"facility","lineage":["https://openalex.org/I4210134190"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Marcus V\u00f6lp","raw_affiliation_strings":["SnT - Universit\u00e9 du Luxembourg, Kirchberg, Luxembourg, Luxembourg"],"raw_orcid":"https://orcid.org/0000-0002-8020-4446","affiliations":[{"raw_affiliation_string":"SnT - Universit\u00e9 du Luxembourg, Kirchberg, Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577","https://openalex.org/I4210134190"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038730637","display_name":"Paolo Milazzo","orcid":"https://orcid.org/0000-0002-7309-6424"},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Paolo Milazzo","raw_affiliation_strings":["University of Pisa, Pisa, Pisa, Italy"],"raw_orcid":"https://orcid.org/0000-0002-7309-6424","affiliations":[{"raw_affiliation_string":"University of Pisa, Pisa, Pisa, Italy","institution_ids":["https://openalex.org/I108290504"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"55","last_page":"64"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9927999973297119,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10761","display_name":"Vehicular Ad Hoc Networks (VANETs)","score":0.9815000295639038,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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.7167012095451355},{"id":"https://openalex.org/keywords/vehicle-safety","display_name":"Vehicle safety","score":0.6035332679748535},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.5095015168190002},{"id":"https://openalex.org/keywords/functional-safety","display_name":"Functional safety","score":0.445081502199173},{"id":"https://openalex.org/keywords/vehicular-ad-hoc-network","display_name":"Vehicular ad hoc network","score":0.4416610300540924},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.41186216473579407},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4045175611972809},{"id":"https://openalex.org/keywords/automotive-engineering","display_name":"Automotive engineering","score":0.18293902277946472},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1477874219417572},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.14430445432662964},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.11925777792930603},{"id":"https://openalex.org/keywords/wireless-ad-hoc-network","display_name":"Wireless ad hoc network","score":0.08194303512573242}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7167012095451355},{"id":"https://openalex.org/C2986542766","wikidata":"https://www.wikidata.org/wiki/Q2090494","display_name":"Vehicle safety","level":2,"score":0.6035332679748535},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.5095015168190002},{"id":"https://openalex.org/C148493468","wikidata":"https://www.wikidata.org/wiki/Q2646951","display_name":"Functional safety","level":2,"score":0.445081502199173},{"id":"https://openalex.org/C192448918","wikidata":"https://www.wikidata.org/wiki/Q682677","display_name":"Vehicular ad hoc network","level":4,"score":0.4416610300540924},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.41186216473579407},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4045175611972809},{"id":"https://openalex.org/C171146098","wikidata":"https://www.wikidata.org/wiki/Q124192","display_name":"Automotive engineering","level":1,"score":0.18293902277946472},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1477874219417572},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.14430445432662964},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.11925777792930603},{"id":"https://openalex.org/C94523657","wikidata":"https://www.wikidata.org/wiki/Q4085781","display_name":"Wireless ad hoc network","level":3,"score":0.08194303512573242},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3697090.3697101","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3697090.3697101","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th Latin-American Symposium on Dependable and Secure Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:orbilu.uni.lu:10993/65097","is_oa":true,"landing_page_url":"https://orbilu.uni.lu/handle/10993/65097","pdf_url":"https://orbilu.uni.lu/bitstream/10993/65097/1/Preprint.pdf","source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Using Vehicular Protection Mechanisms to Enable Fault-Aware Safety Verification of Autonomous Vehicles (2024); Proceedings of the 13th Latin-American Symposium on Dependable and Secure Computing, 26 - 29 November 2024","raw_type":"http://purl.org/coar/resource_type/c_5794"},{"id":"pmh:oai:arpi.unipi.it:11568/1299887","is_oa":false,"landing_page_url":"https://hdl.handle.net/11568/1299887","pdf_url":null,"source":{"id":"https://openalex.org/S4377196265","display_name":"CINECA IRIS Institutial research information system (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:orbilu.uni.lu:10993/65097","is_oa":true,"landing_page_url":"https://orbilu.uni.lu/handle/10993/65097","pdf_url":"https://orbilu.uni.lu/bitstream/10993/65097/1/Preprint.pdf","source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Using Vehicular Protection Mechanisms to Enable Fault-Aware Safety Verification of Autonomous Vehicles (2024); Proceedings of the 13th Latin-American Symposium on Dependable and Secure Computing, 26 - 29 November 2024","raw_type":"http://purl.org/coar/resource_type/c_5794"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320323356","display_name":"Funda\u00e7\u00e3o de Desenvolvimento da Pesquisa","ror":"https://ror.org/0176yjw32"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4405261798.pdf","grobid_xml":"https://content.openalex.org/works/W4405261798.grobid-xml"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W11686382","https://openalex.org/W220935706","https://openalex.org/W1547304883","https://openalex.org/W2031575274","https://openalex.org/W2055340435","https://openalex.org/W2095223629","https://openalex.org/W2105933348","https://openalex.org/W2328067583","https://openalex.org/W2345549004","https://openalex.org/W2540641548","https://openalex.org/W2556293994","https://openalex.org/W2904818640","https://openalex.org/W2952533115","https://openalex.org/W2980210295","https://openalex.org/W3001859053","https://openalex.org/W3086854072","https://openalex.org/W3112288498","https://openalex.org/W3115278568","https://openalex.org/W4251427757","https://openalex.org/W4256048592","https://openalex.org/W4287882710","https://openalex.org/W4310969254","https://openalex.org/W4312081468","https://openalex.org/W4312904422","https://openalex.org/W4363672451","https://openalex.org/W4388966882"],"related_works":["https://openalex.org/W4205326760","https://openalex.org/W4237702205","https://openalex.org/W2090019531","https://openalex.org/W2044301569","https://openalex.org/W2116719151","https://openalex.org/W2341838099","https://openalex.org/W3113811763","https://openalex.org/W2896612987","https://openalex.org/W2564593927","https://openalex.org/W2146275793"],"abstract_inverted_index":{"Responsibility-Sensitive":[0],"Safety":[1],"(RSS)":[2],"became":[3],"a":[4,101,124,132],"widespread":[5],"solution":[6,72,144],"for":[7,157],"online":[8,54],"verification":[9,55],"of":[10,25,35,46,56,86,96,112,131,135],"autonomous":[11],"vehicle":[12],"(AV)":[13],"safety.":[14,158],"Nevertheless,":[15],"RSS":[16,83,107,149],"is":[17,91],"built":[18],"on":[19],"strong":[20],"premises":[21],"concerning":[22],"the":[23,32,38,43,62,106,129,136,142,147],"capabilities":[24],"AVs.":[26],"In":[27],"this":[28],"paper,":[29],"we":[30,116],"explore":[31],"Data-Centric":[33],"Design":[34],"AVs":[36],"using":[37],"SmartData":[39],"method,":[40],"which":[41],"supports":[42],"automatic":[44],"derivation":[45],"safety-property":[47],"monitors":[48],"from":[49,75],"design":[50],"documents,":[51],"thus":[52],"promoting":[53],"sensitivity":[57],"to":[58,79,82,99,120,123],"potential":[59,87,113],"faults":[60],"in":[61,84,128],"system":[63],"components":[64],"described":[65],"by":[66,93,151],"vehicular":[67,76],"protection":[68,77,97],"mechanisms.":[69],"The":[70,89],"proposed":[71,143],"explores":[73],"knowledge":[74],"mechanism":[78],"promote":[80,100],"adaptability":[81,90],"face":[85,130],"faults.":[88,114],"enabled":[92],"exploring":[94],"predictors":[95],"mechanisms":[98],"time-to-triggering":[102],"metric":[103],"that":[104,141],"adjusts":[105],"parameters,":[108],"thereby":[109],"providing":[110],"awareness":[111],"Furthermore,":[115],"propose":[117],"an":[118],"adaptation":[119],"proper":[121],"responses":[122],"dangerous":[125],"longitudinal":[126],"situation":[127],"near-future":[133],"loss":[134],"brake":[137],"actuation.":[138],"We":[139],"prove":[140],"complies":[145],"with":[146],"original":[148,154],"proposal":[150],"extending":[152],"its":[153],"inductive":[155],"proof":[156]},"counts_by_year":[],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2024-12-12T00:00:00"}