{"id":"https://openalex.org/W3097069770","doi":"https://doi.org/10.1145/3422604.3425949","title":"Towards Verified Self-Driving Infrastructure","display_name":"Towards Verified Self-Driving Infrastructure","publication_year":2020,"publication_date":"2020-10-30","ids":{"openalex":"https://openalex.org/W3097069770","doi":"https://doi.org/10.1145/3422604.3425949","mag":"3097069770"},"language":"en","primary_location":{"id":"doi:10.1145/3422604.3425949","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3422604.3425949","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th ACM Workshop on Hot Topics in Networks","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5031730864","display_name":"Bingzhe Liu","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bingzhe Liu","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, IL, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061723484","display_name":"Ali Kheradmand","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ali Kheradmand","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, IL, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038897777","display_name":"Matthew Caesar","orcid":"https://orcid.org/0000-0001-5955-9229"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Matthew Caesar","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, IL, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066308539","display_name":"P. Brighten Godfrey","orcid":"https://orcid.org/0009-0003-2930-1982"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"P. Brighten Godfrey","raw_affiliation_strings":["University of Illinois at Urbana-Champaign & VMware, Urbana, IL, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign & VMware, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":0.9366,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.71508874,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"96","last_page":"102"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10714","display_name":"Software-Defined Networks and 5G","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"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.6423750519752502},{"id":"https://openalex.org/keywords/ranging","display_name":"Ranging","score":0.5891553163528442},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.5004279613494873},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.42038974165916443},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3982386887073517},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.20195043087005615},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.13218197226524353}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6423750519752502},{"id":"https://openalex.org/C115051666","wikidata":"https://www.wikidata.org/wiki/Q6522493","display_name":"Ranging","level":2,"score":0.5891553163528442},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.5004279613494873},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.42038974165916443},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3982386887073517},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.20195043087005615},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.13218197226524353},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3422604.3425949","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3422604.3425949","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th ACM Workshop on Hot Topics in Networks","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.6299999952316284,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W95608104","https://openalex.org/W233122475","https://openalex.org/W1697123834","https://openalex.org/W2091776255","https://openalex.org/W2126822952","https://openalex.org/W2163593754","https://openalex.org/W2407292968","https://openalex.org/W2551539219","https://openalex.org/W2584555500","https://openalex.org/W2594119292","https://openalex.org/W2604782394","https://openalex.org/W2735966221","https://openalex.org/W2742515467","https://openalex.org/W2763317416","https://openalex.org/W2769168058","https://openalex.org/W2795742902","https://openalex.org/W2798661065","https://openalex.org/W2799015892","https://openalex.org/W2799169208","https://openalex.org/W2918935582","https://openalex.org/W2982608089","https://openalex.org/W2984811518","https://openalex.org/W3005038143","https://openalex.org/W3009349458","https://openalex.org/W3009725355","https://openalex.org/W3009792930","https://openalex.org/W3017350605","https://openalex.org/W3033341886","https://openalex.org/W3101248335","https://openalex.org/W4246762826","https://openalex.org/W6684118736","https://openalex.org/W6733403177","https://openalex.org/W6735831074","https://openalex.org/W6750024800","https://openalex.org/W6750170288"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2783354812","https://openalex.org/W4384112194","https://openalex.org/W2103009189","https://openalex.org/W4312958259","https://openalex.org/W4308259661","https://openalex.org/W4390813131","https://openalex.org/W2349383066","https://openalex.org/W4328132048"],"abstract_inverted_index":{"Modern":[0],"\"self-driving''":[1],"service":[2,40],"infrastructures":[3],"consist":[4],"of":[5,9,17,27],"a":[6,14],"diverse":[7],"collection":[8],"distributed":[10],"control":[11],"components":[12],"providing":[13],"broad":[15],"spectrum":[16],"application-":[18],"and":[19,24,47],"network-centric":[20],"functions.":[21],"The":[22],"complex":[23],"non-deterministic":[25],"nature":[26],"these":[28],"interactions":[29],"leads":[30],"to":[31,38,45],"failures,":[32],"ranging":[33],"from":[34],"subtle":[35],"gray":[36],"failures":[37],"catastrophic":[39],"outages,":[41],"that":[42],"are":[43],"difficult":[44],"anticipate":[46],"repair.":[48]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2025-10-10T00:00:00"}