{"id":"https://openalex.org/W1985545663","doi":"https://doi.org/10.1109/icnp.2011.6089037","title":"Probabilistic verification of BGP convergence","display_name":"Probabilistic verification of BGP convergence","publication_year":2011,"publication_date":"2011-10-01","ids":{"openalex":"https://openalex.org/W1985545663","doi":"https://doi.org/10.1109/icnp.2011.6089037","mag":"1985545663"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/icnp.2011.6089037","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://summit.sfu.ca/_flysystem/fedora/sfu_migrate/10831/ICNP_poster_final.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041939086","display_name":"Soroush Haeri","orcid":"https://orcid.org/0000-0003-2462-4929"},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Soroush Haeri","raw_affiliation_strings":["Simon Fraser University, Vancouver, British Columbia, Canada."],"affiliations":[{"raw_affiliation_string":"Simon Fraser University, Vancouver, British Columbia, Canada.","institution_ids":["https://openalex.org/I18014758"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075252211","display_name":"Dario Kre\u0161i\u0107","orcid":null},"institutions":[{"id":"https://openalex.org/I181343428","display_name":"University of Zagreb","ror":"https://ror.org/00mv6sv71","country_code":"HR","type":"education","lineage":["https://openalex.org/I181343428"]}],"countries":["HR"],"is_corresponding":false,"raw_author_name":"Dario Kresic","raw_affiliation_strings":["University of Zagreb, Varazdin, Croatia#TAB#"],"affiliations":[{"raw_affiliation_string":"University of Zagreb, Varazdin, Croatia#TAB#","institution_ids":["https://openalex.org/I181343428"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063188862","display_name":"Ljiljana Trajkovi\u0107","orcid":"https://orcid.org/0000-0002-2560-5394"},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Ljiljana Trajkovic","raw_affiliation_strings":["Simon Fraser University, Vancouver, British Columbia, Canada."],"affiliations":[{"raw_affiliation_string":"Simon Fraser University, Vancouver, British Columbia, Canada.","institution_ids":["https://openalex.org/I18014758"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.731,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":3,"citation_normalized_percentile":{"value":0.498201,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":76,"max":78},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Software Verification and Control","score":1.0,"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 Software Verification and Control","score":1.0,"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":"Automated Software Testing Techniques","score":0.9954,"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/T11125","display_name":"Modeling and Control of Petri Nets in Systems","score":0.9933,"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/default-free-zone","display_name":"Default-free zone","score":0.87874115},{"id":"https://openalex.org/keywords/border-gateway-protocol","display_name":"Border Gateway Protocol","score":0.8725523},{"id":"https://openalex.org/keywords/probabilistic-systems","display_name":"Probabilistic Systems","score":0.53889},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model Checking","score":0.53337},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime Verification","score":0.525615},{"id":"https://openalex.org/keywords/safety-verification","display_name":"Safety Verification","score":0.520124},{"id":"https://openalex.org/keywords/path-vector-protocol","display_name":"Path vector protocol","score":0.42477873},{"id":"https://openalex.org/keywords/network-mapping","display_name":"Network mapping","score":0.41955203}],"concepts":[{"id":"https://openalex.org/C101396714","wikidata":"https://www.wikidata.org/wiki/Q3021187","display_name":"Default-free zone","level":5,"score":0.87874115},{"id":"https://openalex.org/C178086212","wikidata":"https://www.wikidata.org/wiki/Q11155","display_name":"Border Gateway Protocol","level":5,"score":0.8725523},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7536795},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7515889},{"id":"https://openalex.org/C104954878","wikidata":"https://www.wikidata.org/wiki/Q1648707","display_name":"Routing protocol","level":3,"score":0.61556304},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.56927377},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.4903772},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.48928997},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.46870726},{"id":"https://openalex.org/C128917274","wikidata":"https://www.wikidata.org/wiki/Q1666535","display_name":"Path vector protocol","level":5,"score":0.42477873},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.41968745},{"id":"https://openalex.org/C133474645","wikidata":"https://www.wikidata.org/wiki/Q17104660","display_name":"Network mapping","level":3,"score":0.41955203},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.40554577},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12430471},{"id":"https://openalex.org/C89305328","wikidata":"https://www.wikidata.org/wiki/Q1755411","display_name":"Link-state routing protocol","level":4,"score":0.116686314},{"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/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/icnp.2011.6089037","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://summit.sfu.ca/item/10831","pdf_url":"https://summit.sfu.ca/_flysystem/fedora/sfu_migrate/10831/ICNP_poster_final.pdf","source":{"id":"https://openalex.org/S4306400490","display_name":"Summit (Simon Fraser University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I18014758","host_organization_name":"Simon Fraser University","host_organization_lineage":["https://openalex.org/I18014758"],"host_organization_lineage_names":["Simon Fraser University"],"type":"repository"},"license":"mit","license_id":"https://openalex.org/licenses/mit","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.228.8295","pdf_url":"http://www.ensc.sfu.ca/%7Eljilja/papers/ICNP2011_final.pdf","source":{"id":"https://openalex.org/S4306400349","display_name":"CiteSeer X (The Pennsylvania State University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I130769515","host_organization_name":"Pennsylvania State University","host_organization_lineage":["https://openalex.org/I130769515"],"host_organization_lineage_names":["Pennsylvania State University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"http://summit.sfu.ca/item/10831","pdf_url":"https://summit.sfu.ca/_flysystem/fedora/sfu_migrate/10831/ICNP_poster_final.pdf","source":{"id":"https://openalex.org/S4306400490","display_name":"Summit (Simon Fraser University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I18014758","host_organization_name":"Simon Fraser University","host_organization_lineage":["https://openalex.org/I18014758"],"host_organization_lineage_names":["Simon Fraser University"],"type":"repository"},"license":"mit","license_id":"https://openalex.org/licenses/mit","version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":15,"referenced_works":["https://openalex.org/W106209860","https://openalex.org/W126539787","https://openalex.org/W1501731334","https://openalex.org/W1516256348","https://openalex.org/W1590315663","https://openalex.org/W1974184357","https://openalex.org/W1980507101","https://openalex.org/W2005998857","https://openalex.org/W2041226400","https://openalex.org/W2141881497","https://openalex.org/W2145721479","https://openalex.org/W2161258453","https://openalex.org/W2164989576","https://openalex.org/W2986444891","https://openalex.org/W4302094287"],"related_works":["https://openalex.org/W4252152930","https://openalex.org/W288328875","https://openalex.org/W2562537016","https://openalex.org/W2535598766","https://openalex.org/W2312391375","https://openalex.org/W2135258446","https://openalex.org/W2030140188","https://openalex.org/W1559744437","https://openalex.org/W1558646768","https://openalex.org/W1534342069"],"abstract_inverted_index":{"The":[0,53],"Border":[1],"Gateway":[2],"Protocol":[3],"(BGP)":[4],"is":[5,40],"the":[6,15,45,76,112],"de":[7],"facto":[8],"Internet":[9],"routing":[10,56],"protocol.":[11],"Various":[12],"aspects":[13],"of":[14,28,38,48,55,78],"BGP":[16,29,49,79,103,113],"protocol":[17],"have":[18],"been":[19,51,59],"analyzed":[20],"using":[21],"mathematical":[22],"and":[23],"experimental":[24],"approaches.":[25],"Formal":[26],"verification":[27,77],"specification":[30],"validates":[31],"whether":[32],"or":[33],"not":[34],"a":[35,62,96],"specific":[36],"set":[37],"requirements":[39],"satisfied.":[41],"In":[42,91],"resent":[43],"years,":[44],"probabilistic":[46,83,97],"behavior":[47],"has":[50,58],"explored.":[52],"size":[54],"tables":[57],"modeled":[60],"as":[61],"stochastic":[63],"process":[64],"that":[65,106],"changes":[66],"over":[67],"time":[68],"according":[69],"to":[70,87,101,110],"some":[71],"probability":[72],"distribution":[73],"function.":[74],"Hence,":[75],"may":[80,107],"also":[81],"be":[82,108],"in":[84],"nature":[85],"due":[86],"its":[88],"randomized":[89],"behavior.":[90],"this":[92],"paper,":[93],"we":[94],"present":[95],"model":[98],"checking":[99],"approach":[100],"analyze":[102],"convergence":[104,114],"properties":[105],"employed":[109],"automate":[111],"analysis.":[115]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1985545663","counts_by_year":[{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2024-10-01T22:31:18.824846","created_date":"2016-06-24"}
