{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T01:24:30Z","timestamp":1725672270077},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1109\/infocom.2014.6848109","type":"proceedings-article","created":{"date-parts":[[2014,7,29]],"date-time":"2014-07-29T11:18:13Z","timestamp":1406632693000},"page":"1716-1724","source":"Crossref","is-referenced-by-count":13,"title":["On diagnosis of forwarding plane via static forwarding rules in Software Defined Networks"],"prefix":"10.1109","author":[{"given":"Ulasc 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"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2008.45"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01580113"},{"key":"10","article-title":"Header space analysis: Static checking for networks","author":"kazemian","year":"2012","journal-title":"Proc of NSDI'12"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"7","article-title":"Graphconstrained group testing","author":"cheraghchi","year":"2010","journal-title":"IEEE ISIT'10"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/GLOCOM.2007.441"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2009.5062012"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2007.87"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342453"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2011.2169535"},{"key":"11","article-title":"VeriFlow: Verifying network-wide invariants in real time","author":"khurshid","year":"2013","journal-title":"Proc of NSDI'13"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/2342356.2342427"}],"event":{"name":"IEEE INFOCOM 2014 - IEEE Conference on Computer Communications","start":{"date-parts":[[2014,4,27]]},"location":"Toronto, ON, Canada","end":{"date-parts":[[2014,5,2]]}},"container-title":["IEEE INFOCOM 2014 - IEEE Conference on Computer Communications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6839150\/6847911\/06848109.pdf?arnumber=6848109","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T13:56:33Z","timestamp":1490277393000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6848109\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/infocom.2014.6848109","relation":{},"subject":[],"published":{"date-parts":[[2014,4]]}}}