{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T15:43:41Z","timestamp":1782920621799,"version":"3.54.5"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,5,24]],"date-time":"2026-05-24T00:00:00Z","timestamp":1779580800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,5,24]],"date-time":"2026-05-24T00:00:00Z","timestamp":1779580800000},"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":[[2026,5,24]]},"DOI":"10.23919\/ifipnetworking70592.2026.11579184","type":"proceedings-article","created":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T21:15:34Z","timestamp":1782854134000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Butterfly: Scalable Probabilistic Verification for Network Resilience under Failures"],"prefix":"10.23919","author":[{"given":"Saideh","family":"Ahangary","sequence":"first","affiliation":[{"name":"Vrije Universiteit,Amsterdam"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Herbert","family":"Bos","sequence":"additional","affiliation":[{"name":"Vrije Universiteit,Amsterdam"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Klaus V.","family":"Gleissenthall","sequence":"additional","affiliation":[{"name":"Vrije Universiteit,Amsterdam"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Asia","family":"Slowinska","sequence":"additional","affiliation":[{"name":"Vrije Universiteit,Amsterdam"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3651890.3672246"},{"key":"ref2","article-title":"The cost of downtime: Navigating penalty clauses in slas","year":"2025"},{"key":"ref3","article-title":"Google compute engine networking outage (incident 16007): Sla credits"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405900"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342452"},{"key":"ref6","article-title":"A general approach to network configuration analysis","volume-title":"USENIX Conference on Networked Systems Design and Implementation, NSDI\u201915","author":"Fogel"},{"key":"ref7","article-title":"Real time network policy checking using header space analysis","volume-title":"Proceedings of the USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Kazemian"},{"key":"ref8","first-page":"456","article-title":"Minesweeper: A general approach to network configuration verification","volume-title":"Proceedings of SIGCOMM","author":"Beckett"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385976"},{"key":"ref10","article-title":"Reasoning about network traffic load property at production scale","volume-title":"USENIX Symposium on Networked Systems Design and Implementation, NSDI\u201924)","author":"Li"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2534169.2486019"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2534169.2486012"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2787508"},{"key":"ref14","volume-title":"Network Flows: Theory, Algorithms, and Applications.","author":"Ahuja","year":"1993"},{"key":"ref15","volume-title":"Introduction to Algorithms.","author":"Cormen","year":"2009"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2001.992899"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018477"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1851275.1851220"}],"event":{"name":"2026 IFIP Networking Conference (IFIP Networking)","location":"Lugano, Switzerland","start":{"date-parts":[[2026,5,24]]},"end":{"date-parts":[[2026,5,27]]}},"container-title":["2026 IFIP Networking Conference (IFIP Networking)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11578949\/11578438\/11579184.pdf?arnumber=11579184","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T14:44:59Z","timestamp":1782917099000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11579184\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,24]]},"references-count":18,"URL":"https:\/\/doi.org\/10.23919\/ifipnetworking70592.2026.11579184","relation":{},"subject":[],"published":{"date-parts":[[2026,5,24]]}}}