{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T13:31:15Z","timestamp":1778851875766,"version":"3.51.4"},"reference-count":27,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2018,2,1]],"date-time":"2018-02-01T00:00:00Z","timestamp":1517443200000},"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":[[2018,2]]},"DOI":"10.1109\/tnet.2018.2793765","type":"journal-article","created":{"date-parts":[[2018,2,1]],"date-time":"2018-02-01T19:17:20Z","timestamp":1517512640000},"page":"534-547","source":"Crossref","is-referenced-by-count":11,"title":["Dynamic, Fine-Grained Data Plane Monitoring With Monocle"],"prefix":"10.1109","volume":"26","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5933-3342","authenticated-orcid":false,"given":"Peter","family":"Peresini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1630-9542","authenticated-orcid":false,"given":"Maciej","family":"Kuzniar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1256-1070","authenticated-orcid":false,"given":"Dejan","family":"Kostic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486019"},{"key":"ref11","article-title":"Automated analysis and debugging of network connectivity policies","author":"jayaraman","year":"2014"},{"key":"ref12","first-page":"99","article-title":"Real time network policy checking using header space analysis","author":"kazemian","year":"2013","journal-title":"Proc NSDI"},{"key":"ref13","first-page":"9","article-title":"Header space analysis: Static checking for networks","author":"kazemian","year":"2012","journal-title":"Proc NSDI"},{"key":"ref14","first-page":"49","article-title":"VeriFlow: Verifying network-wide invariants in real time","author":"khurshid","year":"2013","journal-title":"Proc NSDI"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2011.111002"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2674005.2675006"},{"key":"ref17","article-title":"Monocle: Dynamic, fine-grained data plane monitoring","author":"ku?niar","year":"2015"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-15509-8_26"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018470"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2016.7524333"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413205"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2079296.2079304"},{"key":"ref6","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref5","year":"1993","journal-title":"Satisfiability Suggested Format"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_52"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486003"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620756"},{"key":"ref9","first-page":"37","article-title":"Leveraging SDN layering to systematically troubleshoot networks","author":"heller","year":"2014","journal-title":"Proc HotSDN"},{"key":"ref1","year":"2015","journal-title":"PicoSAT"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1111\/j.1475-3995.2009.00696.x"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2716281.2836117"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620747"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/633025.633039"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2342356.2342427"},{"key":"ref26","year":"2015","journal-title":"Carriers Bet Big on Open SDN"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1544012.1544034"}],"container-title":["IEEE\/ACM Transactions on Networking"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/90\/8291715\/08278830.pdf?arnumber=8278830","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:17:07Z","timestamp":1642004227000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8278830\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,2]]},"references-count":27,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tnet.2018.2793765","relation":{},"ISSN":["1063-6692","1558-2566"],"issn-type":[{"value":"1063-6692","type":"print"},{"value":"1558-2566","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,2]]}}}