{"id":"https://openalex.org/W2902696225","doi":"https://doi.org/10.1145/3281411.3281432","title":"P-Rex","display_name":"P-Rex","publication_year":2018,"publication_date":"2018-11-28","ids":{"openalex":"https://openalex.org/W2902696225","doi":"https://doi.org/10.1145/3281411.3281432","mag":"2902696225"},"language":"en","primary_location":{"id":"doi:10.1145/3281411.3281432","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3281411.3281432","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies","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/A5032340014","display_name":"Jesper Stenbjerg Jensen","orcid":null},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Jesper Stenbjerg Jensen","raw_affiliation_strings":["Aalborg University, Denmark"],"affiliations":[{"raw_affiliation_string":"Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087940516","display_name":"Troels Beck Kr\u00f8gh","orcid":null},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Troels Beck Kr\u00f8gh","raw_affiliation_strings":["Aalborg University, Denmark"],"affiliations":[{"raw_affiliation_string":"Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025652945","display_name":"Jonas Sand Madsen","orcid":null},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Jonas Sand Madsen","raw_affiliation_strings":["Aalborg University, Denmark"],"affiliations":[{"raw_affiliation_string":"Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066080641","display_name":"Stefan Schmid","orcid":"https://orcid.org/0000-0002-7798-1711"},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Stefan Schmid","raw_affiliation_strings":["University of Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"University of Vienna, Austria","institution_ids":["https://openalex.org/I129774422"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009728620","display_name":"Ji\u0159\u0131\u0301 Srba","orcid":"https://orcid.org/0000-0001-5551-6547"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Ji\u0159\u00ed Srba","raw_affiliation_strings":["Aalborg University, Denmark"],"affiliations":[{"raw_affiliation_string":"Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034841173","display_name":"Marc Tom Thorgersen","orcid":null},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Marc Tom Thorgersen","raw_affiliation_strings":["Aalborg University, Denmark"],"affiliations":[{"raw_affiliation_string":"Aalborg University, Denmark","institution_ids":["https://openalex.org/I891191580"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5032340014"],"corresponding_institution_ids":["https://openalex.org/I891191580"],"apc_list":null,"apc_paid":null,"fwci":2.2342,"has_fulltext":false,"cited_by_count":39,"citation_normalized_percentile":{"value":0.89005897,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"217","last_page":"227"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12534","display_name":"Protein Degradation and Inhibitors","score":0.994700014591217,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T12534","display_name":"Protein Degradation and Inhibitors","score":0.994700014591217,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11178","display_name":"Receptor Mechanisms and Signaling","score":0.9861999750137329,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11041","display_name":"Ubiquitin and proteasome pathways","score":0.9387000203132629,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5539745092391968}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5539745092391968}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3281411.3281432","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3281411.3281432","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:publications/f6f0cd33-3126-4f11-810c-8f3703acf470","is_oa":false,"landing_page_url":"https://vbn.aau.dk/da/publications/f6f0cd33-3126-4f11-810c-8f3703acf470","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Jensen, J S, Kr\u00f8gh, T B, Madsen, J S, Schmid, S, Srba, J & Thorgersen, M T 2018, P-Rex: fast verification of MPLS networks with multiple link failures. in Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies . Association for Computing Machinery (ACM), Conference on Emerging Networking EXperiments and Technologies, pp. 217-227 , 14th International Conference on emerging Networking EXperiments and Technologies, Heraklion, Greece, 04/12/2018. https://doi.org/10.1145/3281411.3281432","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W1449038650","https://openalex.org/W1491036809","https://openalex.org/W1493925387","https://openalex.org/W1675033504","https://openalex.org/W1879069508","https://openalex.org/W1882012874","https://openalex.org/W2011560542","https://openalex.org/W2035561341","https://openalex.org/W2072607050","https://openalex.org/W2101936540","https://openalex.org/W2115526539","https://openalex.org/W2130210899","https://openalex.org/W2151517515","https://openalex.org/W2161175560","https://openalex.org/W2164930141","https://openalex.org/W2204503793","https://openalex.org/W2485543941","https://openalex.org/W2488197787","https://openalex.org/W2552298303","https://openalex.org/W2577367366","https://openalex.org/W2582812869","https://openalex.org/W2742515467","https://openalex.org/W2759421792","https://openalex.org/W2793193452","https://openalex.org/W2799070761","https://openalex.org/W2952803791","https://openalex.org/W3013760068","https://openalex.org/W4232505977","https://openalex.org/W4233126987","https://openalex.org/W4254605472"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Future":[0],"communication":[1],"networks":[2,84],"are":[3,26],"expected":[4],"to":[5,52],"be":[6],"highly":[7],"automated,":[8],"disburdening":[9],"human":[10],"operators":[11],"of":[12,36,64],"their":[13],"most":[14,146],"complex":[15],"tasks.":[16],"However,":[17],"while":[18],"first":[19],"powerful":[20],"and":[21,56,91,97,116,130],"automated":[22],"network":[23,151],"analysis":[24,47],"tools":[25,29],"emerging,":[27],"existing":[28],"provide":[30],"only":[31],"limited":[32],"(and":[33],"inefficient)":[34],"support":[35],"reasoning":[37],"about":[38],"failure":[39,72],"scenarios.":[40],"We":[41,122],"present":[42],"P-Rex,":[43],"a":[44,149],"fast":[45],"what-if":[46,138],"tool,":[48],"that":[49,132],"allows":[50],"us":[51],"test":[53],"important":[54],"reachability":[55],"policy-compliance":[57],"properties":[58],"even":[59],"under":[60],"an":[61,100,126],"arbitrary":[62],"number":[63],"failures,":[65],"in":[66,140,145,148],"polynomial-time,":[67],"i.e.,":[68],"without":[69],"enumerating":[70],"all":[71],"scenarios":[73],"(the":[74],"usual":[75],"approach":[76],"today,":[77],"if":[78],"supported":[79],"at":[80],"all).":[81],"P-Rex":[82,133],"targets":[83],"based":[85,104],"on":[86,105,125],"Multiprotocol":[87],"Label":[88],"Switching":[89],"(MPLS)":[90],"its":[92],"Segment":[93],"Routing":[94],"(SR)":[95],"extension":[96],"comes":[98],"with":[99,152],"expressive":[101],"query":[102],"language":[103],"regular":[106],"expressions.":[107],"It":[108],"takes":[109],"into":[110],"account":[111],"the":[112],"actual":[113],"router":[114],"tables,":[115],"is":[117],"hence":[118],"well-suited":[119],"for":[120],"debugging.":[121],"also":[123],"report":[124],"industrial":[127],"case":[128],"study":[129],"demonstrate":[131],"supports":[134],"rich":[135],"queries,":[136],"performing":[137],"analyses":[139],"less":[141],"than":[142],"70":[143],"minutes":[144],"cases,":[147],"24-router":[150],"over":[153],"100,000":[154],"MPLS":[155],"forwarding":[156],"rules.":[157]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":11},{"year":2020,"cited_by_count":9},{"year":2019,"cited_by_count":4},{"year":2017,"cited_by_count":1}],"updated_date":"2026-04-22T08:38:42.863108","created_date":"2018-12-11T00:00:00"}