{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T05:08:59Z","timestamp":1784351339245,"version":"3.55.0"},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,4]]},"DOI":"10.1109\/infocom.2018.8486261","type":"proceedings-article","created":{"date-parts":[[2018,10,18]],"date-time":"2018-10-18T14:45:36Z","timestamp":1539873936000},"page":"1799-1807","source":"Crossref","is-referenced-by-count":11,"title":["Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks"],"prefix":"10.1109","author":[{"given":"Stefan","family":"Schmid","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jiri","family":"Srba","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref33","year":"2017","journal-title":"Mpls Traffic Engineering Fast Reroute Link Protection"},{"key":"ref32","author":"sipser","year":"2006","journal-title":"Introduction to the Theory of Computation"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2015.7218416"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2013.6733669"},{"key":"ref35","article-title":"Efficient algorithms for model checking pushdown systems","author":"esparza","year":"2000","journal-title":"Proc 12th International Conference on Computer Aided Verification (CAV)"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/BF01969548","article-title":"Regular canonical systems","volume":"6","author":"b\u00fcchi","year":"1964","journal-title":"Arch Math Logik u Grundla-genforschung"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2823400"},{"key":"ref11","author":"davie","year":"2000","journal-title":"MPLS Technology and Applications"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1326554.1326559"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2823394"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35358-6_10"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2000.848453"},{"key":"ref16","first-page":"127","article-title":"A nice way to test openflow applications","author":"canini","year":"2012","journal-title":"Proc USENIX Symposium on Network Systems and Design and Implementation (NSDI)"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2775051.2677011"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018470"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"ref28","first-page":"519","article-title":"Tierless programming and reasoning for software-defined networks","author":"nelson","year":"2014","journal-title":"Proc USENIX Symposium on Network Systems and Design and Implementation (NSDI)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934909"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2656877.2656890"},{"key":"ref3","author":"anderson","year":"2014","journal-title":"Time warner cable says outages largely resolved"},{"key":"ref6","article-title":"The world's fastest and most programmable networks","year":"2016","journal-title":"White Paper"},{"key":"ref29","first-page":"811","article-title":"Some complexity results for stateful network verification","author":"velner","year":"2016","journal-title":"Proc International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018477"},{"key":"ref8","first-page":"217","article-title":"Efficient network reachability analysis using a succinct control plane representation","author":"fayaz","year":"2016","journal-title":"Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI'02)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535862"},{"key":"ref2","first-page":"43","article-title":"Detecting bgp configuration faults with static analysis","author":"feamster","year":"2005","journal-title":"Proc USENIX Symposium on Networked Systems Design and Implementation (NSDI)"},{"key":"ref9","article-title":"Wnetkat: A weighted sdn programming and verification language","author":"larsen","year":"2016","journal-title":"Proc Int Conf on Principles of Distributed Systems (OPODIS)"},{"key":"ref1","year":"2016","journal-title":"Github"},{"key":"ref20","article-title":"Header space analysis: Static checking for networks","author":"kazemian","year":"2012","journal-title":"Proc 9th USENIX conference on Networked Systems Design and Implementation (NSDI)"},{"key":"ref22","first-page":"15","article-title":"Veriflow: verifying network-wide invariants in real time","author":"khurshid","year":"2013","journal-title":"Proc USENIX Symposium on Network Systems and Design and Implementation (NSDI)"},{"key":"ref21","first-page":"87","article-title":"Libra: Divide and conquer to verify forwarding tables in huge networks","author":"zeng","year":"2014","journal-title":"Proc USENIX Symposium on Network Systems and Design and Implementation (NSDI)"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413205"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2829988.2787496"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1145\/2666356.2594317","article-title":"Vericon: Towards verifying controller programs in software-defined networks","volume":"49","author":"ball","year":"2014","journal-title":"ACM SIGPLAN Notices"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/SecDev.2016.019"}],"event":{"name":"IEEE INFOCOM 2018 - IEEE Conference on Computer Communications","location":"Honolulu, HI","start":{"date-parts":[[2018,4,16]]},"end":{"date-parts":[[2018,4,19]]}},"container-title":["IEEE INFOCOM 2018 - IEEE Conference on Computer Communications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8464035\/8485803\/08486261.pdf?arnumber=8486261","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T02:14:55Z","timestamp":1598235295000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8486261\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/infocom.2018.8486261","relation":{},"subject":[],"published":{"date-parts":[[2018,4]]}}}