{"id":"https://openalex.org/W2113045098","doi":"https://doi.org/10.1109/dsnw.2013.6615529","title":"On reliability analysis of leader election protocols for virtual traffic lights","display_name":"On reliability analysis of leader election protocols for virtual traffic lights","publication_year":2013,"publication_date":"2013-06-01","ids":{"openalex":"https://openalex.org/W2113045098","doi":"https://doi.org/10.1109/dsnw.2013.6615529","mag":"2113045098"},"language":"en","primary_location":{"id":"doi:10.1109/dsnw.2013.6615529","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dsnw.2013.6615529","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W)","raw_type":"proceedings-article"},"type":"article","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/A5091886434","display_name":"Negin Fathollahnejad","orcid":null},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Negin Fathollahnejad","raw_affiliation_strings":["Dept. of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden","[Department of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden]"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"[Department of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden]","institution_ids":["https://openalex.org/I66862912"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090586777","display_name":"Em\u00edlia Villani","orcid":"https://orcid.org/0000-0002-6804-1453"},"institutions":[{"id":"https://openalex.org/I107428990","display_name":"Instituto Tecnol\u00f3gico de Aeron\u00e1utica","ror":"https://ror.org/05vh67662","country_code":"BR","type":"education","lineage":["https://openalex.org/I107428990"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Emilia Villani","raw_affiliation_strings":["Dept. of Mechanical Engineering, Instituto Tecnologico de Aeronautica ITA Sao Jose dos Campos, SP, Brazil","Dept. of Mech. Eng., Inst. Tecnol. de Aeronaut. ITA, Sao Jose dos Campos, Brazil"],"affiliations":[{"raw_affiliation_string":"Dept. of Mechanical Engineering, Instituto Tecnologico de Aeronautica ITA Sao Jose dos Campos, SP, Brazil","institution_ids":["https://openalex.org/I107428990"]},{"raw_affiliation_string":"Dept. of Mech. Eng., Inst. Tecnol. de Aeronaut. ITA, Sao Jose dos Campos, Brazil","institution_ids":["https://openalex.org/I107428990"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057249018","display_name":"Risat Mahmud Pathan","orcid":"https://orcid.org/0000-0002-9902-7558"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Risat Pathan","raw_affiliation_strings":["Dept. of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden","[Department of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden]"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"[Department of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden]","institution_ids":["https://openalex.org/I66862912"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052680517","display_name":"Raul Barbosa","orcid":"https://orcid.org/0000-0002-2916-7571"},"institutions":[{"id":"https://openalex.org/I76903346","display_name":"University of Coimbra","ror":"https://ror.org/04z8k9a98","country_code":"PT","type":"education","lineage":["https://openalex.org/I76903346"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Raul Barbosa","raw_affiliation_strings":["Dept. of Informatics Engineering, University of Coimbra, Coimbra, Portugal","[Dept. of Inf. Eng., Univ. of Coimbra, Coimbra, Portugal]"],"affiliations":[{"raw_affiliation_string":"Dept. of Informatics Engineering, University of Coimbra, Coimbra, Portugal","institution_ids":["https://openalex.org/I76903346"]},{"raw_affiliation_string":"[Dept. of Inf. Eng., Univ. of Coimbra, Coimbra, Portugal]","institution_ids":["https://openalex.org/I76903346"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102843659","display_name":"Johan Karlsson","orcid":"https://orcid.org/0009-0001-7601-4770"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Johan Karlsson","raw_affiliation_strings":["Dept. of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden","[Department of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden]"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"[Department of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden]","institution_ids":["https://openalex.org/I66862912"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5091886434"],"corresponding_institution_ids":["https://openalex.org/I66862912"],"apc_list":null,"apc_paid":null,"fwci":3.2621,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.92905671,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9965999722480774,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9965999722480774,"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/T10761","display_name":"Vehicular Ad Hoc Networks (VANETs)","score":0.9941999912261963,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9897000193595886,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7310694456100464},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6915194988250732},{"id":"https://openalex.org/keywords/leader-election","display_name":"Leader election","score":0.6127994656562805},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5898714065551758},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5598938465118408},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.5015192031860352},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.4750392735004425},{"id":"https://openalex.org/keywords/probabilistic-analysis-of-algorithms","display_name":"Probabilistic analysis of algorithms","score":0.4621352255344391},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4137292802333832},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.38961368799209595},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15588101744651794}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7310694456100464},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6915194988250732},{"id":"https://openalex.org/C53480672","wikidata":"https://www.wikidata.org/wiki/Q1424189","display_name":"Leader election","level":2,"score":0.6127994656562805},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5898714065551758},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5598938465118408},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.5015192031860352},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.4750392735004425},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.4621352255344391},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4137292802333832},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.38961368799209595},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15588101744651794},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/dsnw.2013.6615529","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dsnw.2013.6615529","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W)","raw_type":"proceedings-article"},{"id":"pmh:oai:research.chalmers.se:186252","is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/186252","pdf_url":null,"source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6800000071525574,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W296769721","https://openalex.org/W1683896837","https://openalex.org/W1969268070","https://openalex.org/W2010075998","https://openalex.org/W2030508154","https://openalex.org/W2034783947","https://openalex.org/W2041509965","https://openalex.org/W2086286040","https://openalex.org/W2095778469","https://openalex.org/W2106364801","https://openalex.org/W2124406154","https://openalex.org/W2132283552","https://openalex.org/W2137845880","https://openalex.org/W2155037890","https://openalex.org/W2160045145","https://openalex.org/W2173660122"],"related_works":["https://openalex.org/W830096938","https://openalex.org/W2109606716","https://openalex.org/W2030292806","https://openalex.org/W2189202191","https://openalex.org/W2177346860","https://openalex.org/W1603360336","https://openalex.org/W2145856894","https://openalex.org/W2943623134","https://openalex.org/W2903940728","https://openalex.org/W2494523064"],"abstract_inverted_index":{"This":[0],"paper":[1,76],"addresses":[2,77],"the":[3,34,41,65,69,78,82,122,133,147,154,160,164,172,179,184,196],"problem":[4,79],"of":[5,36,43,71,80,84,92,112,115,136,149,156,166,168,174],"leader":[6,58,139,161],"election":[7,59,140],"in":[8,68,86,159],"virtual":[9,13],"traffic":[10,14,20,38],"lights.":[11],"A":[12],"light":[15,39],"(VTL)":[16],"is":[17,53],"a":[18,37,44,57,89,109,113,137,191],"self-organizing":[19],"control":[21],"system":[22],"that":[23,51,61,120,146],"allows":[24],"road":[25],"vehicles":[26,67,157],"equipped":[27],"with":[28],"vehicle-to-vehicle":[29],"communication":[30,73,99,102,211,217],"facilities":[31],"to":[32,55,98,128],"implement":[33],"function":[35],"without":[40],"support":[42],"roadside":[45],"installation.":[46],"Previous":[47],"research":[48],"has":[49],"shown":[50],"it":[52],"impossible":[54],"construct":[56],"protocol":[60,93,141],"guarantees":[62],"agreement":[63],"among":[64],"participating":[66],"presence":[70],"massive":[72],"failures.":[74,218],"The":[75,201],"calculating":[81],"probability":[83,148,173],"disagreement":[85,150],"situations":[87],"where":[88],"large":[90],"number":[91,155,165],"messages":[94],"are":[95],"lost":[96],"due":[97],"interference,":[100],"so-called":[101],"grey-outs.":[103],"To":[104],"this":[105],"end,":[106],"we":[107],"present":[108],"probabilistic":[110,205],"analysis":[111,144,202],"family":[114],"simple":[116],"round-based":[117],"consensus":[118],"algorithms":[119,131],"solve":[121],"1-of-n":[123,198],"selection":[124,199],"problem.":[125],"We":[126,186],"propose":[127,187],"use":[129],"these":[130],"for":[132,195,209,215],"core":[134],"logic":[135],"VTL":[138],"(LEP).":[142],"Our":[143],"shows":[145],"depends":[151],"on:":[152],"i)":[153],"involved":[158],"election,":[162],"ii)":[163],"rounds":[167],"message":[169,175],"exchange,":[170],"iii)":[171],"loss,":[176],"and":[177,190,213],"iv)":[178],"decision":[180,193],"criterion":[181],"used":[182],"by":[183],"LEP.":[185],"an":[188],"optimistic":[189],"pessimistic":[192],"criteria":[194],"proposed":[197],"algorithms.":[200],"encompass":[203],"two":[204],"failure":[206],"models,":[207],"one":[208,214],"symmetric":[210],"failures":[212],"asymmetric":[216]},"counts_by_year":[{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}