{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T13:12:29Z","timestamp":1762866749775},"reference-count":18,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2016,10,1]],"date-time":"2016-10-01T00:00:00Z","timestamp":1475280000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE\/ACM Trans. Networking"],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/tnet.2015.2494850","type":"journal-article","created":{"date-parts":[[2015,11,5]],"date-time":"2015-11-05T19:49:49Z","timestamp":1446752989000},"page":"2899-2912","source":"Crossref","is-referenced-by-count":16,"title":["On Optimal Topology Verification and Failure Localization for Software Defined Networks"],"prefix":"10.1109","volume":"24","author":[{"given":"Ulas C.","family":"Kozat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guanfeng","family":"Liang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koray","family":"Kokten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Janos","family":"Tapolcai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342453"},{"key":"ref11","first-page":"9","article-title":"Header space analysis: Static checking for networks","author":"kazemian","year":"2012","journal-title":"Proc NSDI"},{"key":"ref12","first-page":"15","article-title":"VeriFlow: Verifying network-wide invariants in real time","author":"khurshid","year":"2013","journal-title":"Proc NSDI"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2012.6364863"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2342356.2342427"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/BF01580113"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.2307\/2303897"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1402946.1402967"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2009.5062012"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2008.45"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2007.87"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/GLOCOM.2007.441"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2013.6566799"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2012.2186461"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSPCS.2014.7021050"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.17487\/rfc5884"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ISIT.2010.5513397"}],"container-title":["IEEE\/ACM Transactions on Networking"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/90\/7590206\/07321074.pdf?arnumber=7321074","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:45:34Z","timestamp":1642005934000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7321074\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":18,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tnet.2015.2494850","relation":{},"ISSN":["1063-6692","1558-2566"],"issn-type":[{"value":"1063-6692","type":"print"},{"value":"1558-2566","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,10]]}}}