{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T15:44:45Z","timestamp":1782834285020,"version":"3.54.5"},"reference-count":51,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,9,22]],"date-time":"2025-09-22T00:00:00Z","timestamp":1758499200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,9,22]],"date-time":"2025-09-22T00:00:00Z","timestamp":1758499200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,9,22]]},"DOI":"10.1109\/icnp65844.2025.11192328","type":"proceedings-article","created":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T17:38:54Z","timestamp":1760377134000},"page":"1-12","source":"Crossref","is-referenced-by-count":1,"title":["Guided Exploration of Control-Plane Routing States"],"prefix":"10.1109","author":[{"given":"Tibor","family":"Schneider","sequence":"first","affiliation":[{"name":"ETH Zürich"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean","family":"M\u00e9gret","sequence":"additional","affiliation":[{"name":"ETH Zürich"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Laurent","family":"Vanbever","sequence":"additional","affiliation":[{"name":"ETH Zürich"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Header space analysis: Static checking for networks","volume-title":"9th USENIX Symposium on Networked Systems Design and Implementation","author":"Kazemian"},{"key":"ref2","article-title":"Detecting bgp configuration faults with static analysis","volume-title":"Proceedings of the 2nd conference on Symposium on Networked Systems Design & Implementation","volume":"2","author":"Feamster"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604842"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3591222"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3651890.3672220"},{"key":"ref6","article-title":"Verifying maximum link loads in a changing world","volume-title":"22th USENIX Symposium on Networked Systems Design and Implementation","author":"Schneider"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604866"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472925"},{"key":"ref9","article-title":"Formal methods for network performance analysis","volume-title":"20th USENIX Symposium on Networked Systems Design and Implementation","author":"Arashloo"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3098822.3098834"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1613\/jair.2490"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2016.0046"},{"key":"ref14","article-title":"Learning to solve smt formulas","author":"Balunovic","year":"2018","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3544216.3544264"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405900"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3473595"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/90.993304"},{"key":"ref19","article-title":"RFC 4271: A border gateway protocol 4 (BGP-4)","volume-title":"Tech. Rep.","author":"Rekhter","year":"2006"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.2005.1541716"},{"key":"ref21","article-title":"A General Approach to Network Configuration Analysis","volume-title":"12th USENIX Symposium on Networked Systems Design and Implementation","author":"Fogel"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472915"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2011.110311.100109"},{"key":"ref24","article-title":"Happy packets to you!","volume-title":"Proceedings of the IEEE 24th International Conference on Computer Communications (INFOCOM)","author":"Bush"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1151659.1159956"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.comcom.2018.07.032"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3730973"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2007.902686"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2012.2217506"},{"key":"ref30","article-title":"Methods and techniques for disruption-free network reconfiguration","volume-title":"Ph.D. dissertation","author":"Vanbever","year":"2012"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3603269.3604855"},{"key":"ref32","article-title":"Acorn network control plane abstraction using route nondeterminism","volume-title":"Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Raghunathan"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2024.3360371"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385976"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3651890.3672246"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2011.111002"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/90.974523"},{"key":"ref38","article-title":"RFC 4456: Bgp route reflection: An alternative to full mesh internal bgp (ibgp)","volume-title":"Tech. Rep.","author":"Bates","year":"2006"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.17487\/rfc8642"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018470"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535862"},{"key":"ref42","article-title":"Delta-net: Real-time network verification using atoms","volume-title":"14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17)","author":"Horn"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230582"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/tnnls.2020.3044176"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/3656454"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934876"},{"key":"ref47","article-title":"Tiramisu: Fast multilayer network verification","volume-title":"17th USENIX Symposium on Networked Systems Design and Implementation","author":"Abhashkumar"},{"key":"ref48","article-title":"Plankton: Scalable network configuration verification through model checking","volume-title":"17th USENIX Symposium on Networked Systems Design and Implementation","author":"Prabhu"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386019"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/3230543.3230583"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49498-1_12"}],"event":{"name":"2025 IEEE 33rd International Conference on Network Protocols (ICNP)","location":"Seoul, Korea, Republic of","start":{"date-parts":[[2025,9,22]]},"end":{"date-parts":[[2025,9,25]]}},"container-title":["2025 IEEE 33rd International Conference on Network Protocols (ICNP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11192357\/11192322\/11192328.pdf?arnumber=11192328","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T05:08:20Z","timestamp":1760418500000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11192328\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,22]]},"references-count":51,"URL":"https:\/\/doi.org\/10.1109\/icnp65844.2025.11192328","relation":{},"subject":[],"published":{"date-parts":[[2025,9,22]]}}}