{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:54:48Z","timestamp":1729662888166,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1109\/icnp.2016.7784412","type":"proceedings-article","created":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T07:55:26Z","timestamp":1481961326000},"page":"1-10","source":"Crossref","is-referenced-by-count":3,"title":["An efficient framework for data-plane verification with geometric windowing queries"],"prefix":"10.1109","author":[{"given":"Takeru","family":"Inoue","sequence":"first","affiliation":[]},{"given":"Richard","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Toru","family":"Mano","sequence":"additional","affiliation":[]},{"given":"Kimihiro","family":"Mizutani","sequence":"additional","affiliation":[]},{"given":"Hisashi","family":"Nagata","sequence":"additional","affiliation":[]},{"given":"Osamu","family":"Akashi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/285243.285283"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2005.1498492"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2716281.2836095"},{"key":"ref30","first-page":"543","article-title":"Enforcing network-wide policies in the presence of dynamic middlebox actions using FlowTags","author":"fayazbakhsh","year":"2014","journal-title":"USENIX NSDI"},{"key":"ref34","first-page":"207","article-title":"Compiling path queries","author":"narayana","year":"2016","journal-title":"USENIX NSDI"},{"key":"ref10","first-page":"499","article-title":"Checking beliefs in dynamic networks","author":"lopes","year":"2015","journal-title":"USENIX NSDI"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2010.15"},{"key":"ref12","first-page":"101","article-title":"Software dataplane verification","author":"dobrescu","year":"2014","journal-title":"USENIX NSDI"},{"key":"ref13","first-page":"469","article-title":"A general approach to network configuration analysis","author":"fogel","year":"2015","journal-title":"USENIX NSDI"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837657"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2377677.2377748"},{"key":"ref16","article-title":"Enforcing generalized consistency properties in software-defined networks","author":"zhou","year":"2015","journal-title":"USENIX NSDI"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413205"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535862"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413187"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/978-3-540-77974-2_5","author":"de berg","year":"2008","journal-title":"Computational Geometry Algorithms and Applications"},{"key":"ref4","article-title":"A survey on network troubleshooting","author":"zeng","year":"2012","journal-title":"Technical Report Stanford\/TRI2-HPNG-061012"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1990.129849"},{"key":"ref3","first-page":"1","article-title":"Why do internet services fail, and what can be done about it?","author":"oppenheimer","year":"2003","journal-title":"USENIX USITS"},{"key":"ref6","first-page":"99","article-title":"Real time network policy checking using header space analysis","author":"kazemian","year":"2013","journal-title":"USENIX NSDI"},{"key":"ref29","first-page":"202","volume":"4","author":"knuth","year":"2011","journal-title":"The Art of Computer Programming Combinatorial Algorithms Part 1"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2015.2398197"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2009.5339690"},{"key":"ref7","first-page":"15","article-title":"VeriFlow: Verifying network-wide invariants in real time","author":"khurshid","year":"2013","journal-title":"USENIX NSDI"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2535372.2535376"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018470"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1644893.1644909"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1544012.1544034"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/978-3-540-77974-2_10","author":"de berg","year":"2008","journal-title":"Computational Geometry Algorithms and Applications"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/223\/03131"},{"key":"ref24","first-page":"113","article-title":"Header space analysis: Static checking for networks","author":"kazemian","year":"2012","journal-title":"USENIX NSDI"},{"key":"ref23","first-page":"296","article-title":"Rethinking packet classification for global network view of software-defined networking","author":"inoue","year":"2014","journal-title":"IEEE ICNP"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref25","article-title":"Scalable verification of networks with packet transformers using atomic predicates","author":"yang","year":"2015","journal-title":"University of Texas at Austin Tech Rep"}],"event":{"name":"2016 IEEE 24th International Conference on Network Protocols (ICNP)","start":{"date-parts":[[2016,11,8]]},"location":"Singapore","end":{"date-parts":[[2016,11,11]]}},"container-title":["2016 IEEE 24th International Conference on Network Protocols (ICNP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7774710\/7784399\/07784412.pdf?arnumber=7784412","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,28]],"date-time":"2020-09-28T01:14:05Z","timestamp":1601255645000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7784412\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/icnp.2016.7784412","relation":{},"subject":[],"published":{"date-parts":[[2016,11]]}}}