{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,2]],"date-time":"2025-12-02T03:28:45Z","timestamp":1764646125213,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/wsc.2016.7822171","type":"proceedings-article","created":{"date-parts":[[2017,1,19]],"date-time":"2017-01-19T21:24:44Z","timestamp":1484861084000},"page":"1131-1142","source":"Crossref","is-referenced-by-count":2,"title":["Convenus: Congestion verification of network updates in software-defined networks"],"prefix":"10.1109","author":[{"family":"Xin Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dong","family":"Jin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cheol Won","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jong Cheol","family":"Moon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018470"},{"article-title":"Standard Baseline DARPA NMS Challenge Topology","year":"2009","author":"nicol","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1177\/0037549706066093"},{"year":"0","key":"ref13","article-title":"OpenFlow Specification"},{"year":"0","key":"ref14","article-title":"Open Networking Foundation"},{"key":"ref15","first-page":"73","article-title":"Enforcing Customizable Consistency Properties in Software-Defined Networks","author":"zhou","year":"2015","journal-title":"Proc USENIX Symposium on Network Systems and Design and Implementation (NSDI)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2010.5678988"},{"key":"ref3","first-page":"662","article-title":"Dynamic Data Driven Applications Systems: A New Paradigm for Application Simulations and Measurements","author":"darema","year":"2004","journal-title":"Computational Science-ICCS"},{"key":"ref6","first-page":"99","article-title":"Real Time Network Policy Checking Using Header Space Analysis","author":"kazemian","year":"2013","journal-title":"Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626307"},{"key":"ref8","first-page":"15","article-title":"VeriFlow: Verifying Network-Wide Invariants in Real Time","author":"khurshid","year":"2013","journal-title":"Proc USENIX Symp Networked System Design and Implementation (NSDI)"},{"key":"ref7","first-page":"113","article-title":"Header Space Analysis: Static Checking for Networks","author":"kazemian","year":"2012","journal-title":"Proc USENIX Symposium on Network Systems and Design and Implementation (NSDI)"},{"key":"ref2","first-page":"209","article-title":"KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs","volume":"8","author":"cadar","year":"2008","journal-title":"Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI'02)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2013.6567024"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486005"}],"event":{"name":"2016 Winter Simulation Conference (WSC)","start":{"date-parts":[[2016,12,11]]},"location":"Washington, DC, USA","end":{"date-parts":[[2016,12,14]]}},"container-title":["2016 Winter Simulation Conference (WSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7811902\/7822058\/07822171.pdf?arnumber=7822171","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,13]],"date-time":"2017-12-13T15:18:02Z","timestamp":1513178282000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7822171\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/wsc.2016.7822171","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}