{"id":"https://openalex.org/W1501669955","doi":"https://doi.org/10.1007/978-3-642-21461-5_22","title":"Analyzing BGP Instances in Maude","display_name":"Analyzing BGP Instances in Maude","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W1501669955","doi":"https://doi.org/10.1007/978-3-642-21461-5_22","mag":"1501669955"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-21461-5_22","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-21461-5_22","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://inria.hal.science/hal-01583330","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015395686","display_name":"Anduo Wang","orcid":"https://orcid.org/0000-0002-1078-107X"},"institutions":[{"id":"https://openalex.org/I36788626","display_name":"California University of Pennsylvania","ror":"https://ror.org/01spssf70","country_code":"US","type":"education","lineage":["https://openalex.org/I36788626"]},{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anduo Wang","raw_affiliation_strings":["University of Pennsylvania, USA","University of Pennsylvania (3451 Walnut Street, Philadelphia, PA 19104 | 215-898-5000 - United States)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, USA","institution_ids":["https://openalex.org/I36788626"]},{"raw_affiliation_string":"University of Pennsylvania (3451 Walnut Street, Philadelphia, PA 19104 | 215-898-5000 - United States)","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090498111","display_name":"Carolyn Talcott","orcid":"https://orcid.org/0000-0003-2845-7144"},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]},{"id":"https://openalex.org/I4210099336","display_name":"Menlo School","ror":"https://ror.org/01240pn49","country_code":"US","type":"education","lineage":["https://openalex.org/I4210099336"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Carolyn Talcott","raw_affiliation_strings":["SRI International, USA","SRI - SRI International [Menlo Park] (333 Ravenswood Avenue Menlo Park CA, 94025 - United States)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SRI International, USA","institution_ids":["https://openalex.org/I1298353152"]},{"raw_affiliation_string":"SRI - SRI International [Menlo Park] (333 Ravenswood Avenue Menlo Park CA, 94025 - United States)","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087946116","display_name":"Limin Jia","orcid":"https://orcid.org/0000-0002-8160-349X"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Limin Jia","raw_affiliation_strings":["Carnegie-Mellon University, USA","CMU - Carnegie Mellon University [Pittsburgh] (5000 Forbes Ave,  Pittsburgh, PA 15213 - United States)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie-Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"CMU - Carnegie Mellon University [Pittsburgh] (5000 Forbes Ave,  Pittsburgh, PA 15213 - United States)","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090052860","display_name":"Boon Thau Loo","orcid":"https://orcid.org/0000-0002-4757-1746"},"institutions":[{"id":"https://openalex.org/I36788626","display_name":"California University of Pennsylvania","ror":"https://ror.org/01spssf70","country_code":"US","type":"education","lineage":["https://openalex.org/I36788626"]},{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Boon Thau Loo","raw_affiliation_strings":["University of Pennsylvania, USA","University of Pennsylvania School of Veterinary Medicine (United States)","University of Pennsylvania (3451 Walnut Street, Philadelphia, PA 19104 | 215-898-5000 - United States)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, USA","institution_ids":["https://openalex.org/I36788626"]},{"raw_affiliation_string":"University of Pennsylvania School of Veterinary Medicine (United States)","institution_ids":["https://openalex.org/I79576946"]},{"raw_affiliation_string":"University of Pennsylvania (3451 Walnut Street, Philadelphia, PA 19104 | 215-898-5000 - United States)","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054465062","display_name":"Andre Scedrov","orcid":"https://orcid.org/0000-0002-4536-0419"},"institutions":[{"id":"https://openalex.org/I36788626","display_name":"California University of Pennsylvania","ror":"https://ror.org/01spssf70","country_code":"US","type":"education","lineage":["https://openalex.org/I36788626"]},{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andre Scedrov","raw_affiliation_strings":["University of Pennsylvania, USA","University of Pennsylvania (3451 Walnut Street, Philadelphia, PA 19104 | 215-898-5000 - United States)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, USA","institution_ids":["https://openalex.org/I36788626"]},{"raw_affiliation_string":"University of Pennsylvania (3451 Walnut Street, Philadelphia, PA 19104 | 215-898-5000 - United States)","institution_ids":["https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":6.6924,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.96842547,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"334","last_page":"348"},"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.9983999729156494,"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.9983999729156494,"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/T10142","display_name":"Formal Methods in Verification","score":0.9983000159263611,"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.9980000257492065,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.888274073600769},{"id":"https://openalex.org/keywords/border-gateway-protocol","display_name":"Border Gateway Protocol","score":0.881110668182373},{"id":"https://openalex.org/keywords/distance-vector-routing-protocol","display_name":"Distance-vector routing protocol","score":0.6509727239608765},{"id":"https://openalex.org/keywords/routing","display_name":"Routing (electronic design automation)","score":0.6340683698654175},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.5975452661514282},{"id":"https://openalex.org/keywords/routing-protocol","display_name":"Routing protocol","score":0.560039758682251},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5508079528808594},{"id":"https://openalex.org/keywords/default-free-zone","display_name":"Default-free zone","score":0.5198819637298584},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.4822426736354828},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.47315725684165955},{"id":"https://openalex.org/keywords/gateway","display_name":"Gateway (web page)","score":0.46691063046455383},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.37558144330978394},{"id":"https://openalex.org/keywords/static-routing","display_name":"Static routing","score":0.21282705664634705},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20142745971679688},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.11348098516464233}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.888274073600769},{"id":"https://openalex.org/C178086212","wikidata":"https://www.wikidata.org/wiki/Q11155","display_name":"Border Gateway Protocol","level":5,"score":0.881110668182373},{"id":"https://openalex.org/C202385902","wikidata":"https://www.wikidata.org/wiki/Q1229441","display_name":"Distance-vector routing protocol","level":5,"score":0.6509727239608765},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.6340683698654175},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.5975452661514282},{"id":"https://openalex.org/C104954878","wikidata":"https://www.wikidata.org/wiki/Q1648707","display_name":"Routing protocol","level":3,"score":0.560039758682251},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5508079528808594},{"id":"https://openalex.org/C101396714","wikidata":"https://www.wikidata.org/wiki/Q3021187","display_name":"Default-free zone","level":5,"score":0.5198819637298584},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4822426736354828},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.47315725684165955},{"id":"https://openalex.org/C2777710495","wikidata":"https://www.wikidata.org/wiki/Q5527195","display_name":"Gateway (web page)","level":2,"score":0.46691063046455383},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.37558144330978394},{"id":"https://openalex.org/C204948658","wikidata":"https://www.wikidata.org/wiki/Q1119410","display_name":"Static routing","level":4,"score":0.21282705664634705},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20142745971679688},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.11348098516464233},{"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/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","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}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-642-21461-5_22","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-21461-5_22","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:repository.upenn.edu:cis_reports-1998","is_oa":false,"landing_page_url":"https://repository.upenn.edu/cis_reports/952","pdf_url":null,"source":{"id":"https://openalex.org/S4306402083","display_name":"ScholarlyCommons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Technical Reports (CIS)","raw_type":"text"},{"id":"pmh:oai:HAL:hal-01583330v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01583330","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.334-348, ⟨10.1007/978-3-642-21461-5_22⟩","raw_type":"Conference papers"},{"id":"pmh:oai:repository.upenn.edu:20.500.14332/7922","is_oa":false,"landing_page_url":"https://repository.upenn.edu/handle/20.500.14332/7922","pdf_url":null,"source":{"id":"https://openalex.org/S4377196331","display_name":"Scholarly Commons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"published","raw_type":"Report"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01583330v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01583330","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.334-348, ⟨10.1007/978-3-642-21461-5_22⟩","raw_type":"Conference papers"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W207759855","https://openalex.org/W1501669955","https://openalex.org/W1504007491","https://openalex.org/W1510908891","https://openalex.org/W1576549127","https://openalex.org/W1947340688","https://openalex.org/W1976195354","https://openalex.org/W2004993199","https://openalex.org/W2026392294","https://openalex.org/W2033871392","https://openalex.org/W2104941874","https://openalex.org/W2108111046","https://openalex.org/W2113402838","https://openalex.org/W2120848666","https://openalex.org/W2142065670","https://openalex.org/W2144537141","https://openalex.org/W2148662748","https://openalex.org/W2158288704","https://openalex.org/W2165126126","https://openalex.org/W2168618039","https://openalex.org/W2170735004","https://openalex.org/W2177058407","https://openalex.org/W2428827905","https://openalex.org/W4234315090"],"related_works":["https://openalex.org/W2159943424","https://openalex.org/W2536809794","https://openalex.org/W2375534108","https://openalex.org/W2391574262","https://openalex.org/W3202068393","https://openalex.org/W2393962653","https://openalex.org/W1501669955","https://openalex.org/W288328875","https://openalex.org/W1534342069","https://openalex.org/W2030140188"],"abstract_inverted_index":{"Analyzing":[0],"Border":[1],"Gateway":[2],"Protocol":[3],"(BGP)":[4],"instances":[5,31,136],"is":[6,22,48],"a":[7,23,65,74,77],"crucial":[8],"step":[9],"in":[10],"the":[11,20,30,46,60,86,104],"design":[12],"and":[13,25,82,107,121,137],"implementation":[14],"of":[15,103,133],"safe":[16,49],"BGP":[17,135],"systems.":[18],"Today,":[19],"analysis":[21,61,132],"manual":[24],"tedious":[26],"process.":[27],"Researchers":[28],"study":[29],"by":[32,50,62,97],"manually":[33],"constructing":[34],"execution":[35],"sequences,":[36],"hoping":[37],"to":[38,58,84],"either":[39],"identify":[40],"an":[41],"oscillation":[42],"or":[43,115],"show":[44],"that":[45],"instance":[47],"exhaustively":[51],"examining":[52],"all":[53],"possible":[54],"sequences.":[55],"We":[56,71],"propose":[57],"automate":[59],"using":[63],"Maude,":[64,98],"tool":[66],"based":[67],"on":[68],"rewriting":[69],"logic.":[70],"have":[72],"developed":[73],"library":[75,87],"specifying":[76],"generalized":[78],"path":[79],"vector":[80],"protocol,":[81],"methods":[83],"instantiate":[85],"with":[88],"customized":[89],"routing":[90,108,139],"policies.":[91,109],"Protocols":[92],"can":[93,117],"be":[94,118],"analyzed":[95],"automatically":[96],"once":[99],"users":[100],"provide":[101],"specifications":[102],"network":[105],"topology":[106],"Using":[110],"our":[111,127],"Maude":[112],"library,":[113],"protocols":[114],"policies":[116],"easily":[119],"specified":[120],"checked":[122],"for":[123],"problems.":[124],"To":[125],"validate":[126],"approach,":[128],"we":[129],"performed":[130],"safety":[131],"well-known":[134],"actual":[138],"configurations.":[140]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":4}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}