{"id":"https://openalex.org/W2008242407","doi":"https://doi.org/10.4304/jsw.9.6.1619-1625","title":"Model Checking the Convergence Property of BGP Networks","display_name":"Model Checking the Convergence Property of BGP Networks","publication_year":2014,"publication_date":"2014-05-30","ids":{"openalex":"https://openalex.org/W2008242407","doi":"https://doi.org/10.4304/jsw.9.6.1619-1625","mag":"2008242407"},"language":"en","primary_location":{"id":"doi:10.4304/jsw.9.6.1619-1625","is_oa":false,"landing_page_url":"https://doi.org/10.4304/jsw.9.6.1619-1625","pdf_url":null,"source":{"id":"https://openalex.org/S114141714","display_name":"Journal of Software","issn_l":"1796-217X","issn":["1796-217X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318660","host_organization_name":"Academy Publisher","host_organization_lineage":["https://openalex.org/P4310318660"],"host_organization_lineage_names":["Academy Publisher"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Software","raw_type":"journal-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/A5005393247","display_name":"Ping Yin","orcid":"https://orcid.org/0000-0003-2001-1164"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ping Yin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091297889","display_name":"Yinxue Ma","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yinxue Ma","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5100457678","display_name":"Zhe Chen","orcid":"https://orcid.org/0000-0002-2919-4481"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhe Chen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.08367095,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"9","issue":"6","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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.9993000030517578,"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/T12326","display_name":"Network Packet Processing and Optimization","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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":"Petri Nets in System Modeling","score":0.9889000058174133,"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.915783166885376},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.623232901096344},{"id":"https://openalex.org/keywords/convergence","display_name":"Convergence (economics)","score":0.6069021224975586},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.46210727095603943},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3297906517982483}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.915783166885376},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.623232901096344},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.6069021224975586},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.46210727095603943},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3297906517982483},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4304/jsw.9.6.1619-1625","is_oa":false,"landing_page_url":"https://doi.org/10.4304/jsw.9.6.1619-1625","pdf_url":null,"source":{"id":"https://openalex.org/S114141714","display_name":"Journal of Software","issn_l":"1796-217X","issn":["1796-217X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318660","host_organization_name":"Academy Publisher","host_organization_lineage":["https://openalex.org/P4310318660"],"host_organization_lineage_names":["Academy Publisher"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Software","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W44162018","https://openalex.org/W119984049","https://openalex.org/W1496007014","https://openalex.org/W1501669955","https://openalex.org/W1509564830","https://openalex.org/W1607146086","https://openalex.org/W1940023874","https://openalex.org/W1943502734","https://openalex.org/W1965343327","https://openalex.org/W1979547295","https://openalex.org/W1980507101","https://openalex.org/W2033871392","https://openalex.org/W2067833792","https://openalex.org/W2095832160","https://openalex.org/W2108732836","https://openalex.org/W2108792825","https://openalex.org/W2112885720","https://openalex.org/W2113230746","https://openalex.org/W2132008977","https://openalex.org/W2132744784","https://openalex.org/W2141499275","https://openalex.org/W2145721479","https://openalex.org/W2162152151","https://openalex.org/W2167861133","https://openalex.org/W3101780538","https://openalex.org/W3102837764","https://openalex.org/W6630024866"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2530322880"],"abstract_inverted_index":{"The":[0,100],"Border":[1],"Gateway":[2],"Protocol":[3],"(BGP)":[4],"is":[5,12,102],"an":[6,61],"important":[7],"inter-domain":[8],"routing":[9,46],"protocol,":[10],"which":[11],"widely":[13],"used":[14],"in":[15,32],"Internet.":[16],"It":[17],"allows":[18],"independent":[19,34],"policies":[20,35],"to":[21,92],"be":[22,112],"designed":[23],"for":[24,63],"each":[25],"Autonomous":[26],"System":[27],"(AS).":[28],"However,":[29],"the":[30,37,66,89,137],"flexibility":[31],"designing":[33],"causes":[36],"convergenceproblem,":[38],"i.e.,":[39],"a":[40,53,75],"BGP":[41,70,79,109,133],"network":[42],"may":[43],"constantly":[44],"send":[45],"information":[47],"between":[48],"ASes":[49],"and":[50,81,96,114,120,127],"cannot":[51],"reach":[52],"stable":[54],"state.":[55],"In":[56],"this":[57,94],"paper,":[58],"we":[59,87,125],"propose":[60],"approach":[62],"model":[64,77,95,101,139],"checking":[65],"convergence":[67,84],"property":[68],"of":[69,78,108,132],"networks.":[71],"We":[72],"firstly":[73],"establish":[74],"formal":[76],"networks":[80,110,134],"define":[82],"its":[83,98],"property.":[85],"Then":[86],"use":[88],"Promela":[90],"language":[91],"describe":[93],"analyze":[97],"convergence.":[99],"generic":[103],"enough,":[104],"thus":[105],"different":[106],"instances":[107,131],"can":[111],"simulated":[113],"verified":[115],"by":[116,135],"only":[117],"modifying":[118],"parameters":[119],"policies.":[121],"Finally,":[122],"as":[123],"examples,":[124],"simulate":[126],"verify":[128],"some":[129],"typical":[130],"using":[136],"SPIN":[138],"checker.":[140]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}