{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,12]],"date-time":"2025-07-12T01:16:46Z","timestamp":1752283006661},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.1109\/infocom.2017.8057041","type":"proceedings-article","created":{"date-parts":[[2017,10,5]],"date-time":"2017-10-05T16:28:21Z","timestamp":1507220901000},"page":"1-9","source":"Crossref","is-referenced-by-count":18,"title":["SLA-verifier: Stateful and quantitative verification for service chaining"],"prefix":"10.1109","author":[{"given":"Ying","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenfei","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sujata","family":"Banerjee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joon-Myung","family":"Kang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario A","family":"Sanchez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"F5 icontrol api","year":"0","key":"ref10"},{"key":"ref11","article-title":"NFV-VITAL: A Framework for Characterizing the Performance of Virtual Network Functions","author":"cao","year":"2015","journal-title":"Proc IEEE NFV-SDN"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3005745.3005754"},{"key":"ref13","article-title":"Software defined traffic measurement with opensketch","author":"yu","year":"2013","journal-title":"NSDI'13"},{"key":"ref14","article-title":"iplane: An information plane for distributed services","author":"madhyastha","year":"2006","journal-title":"OSDI '06"},{"journal-title":"Mininet An Instant Virtual Network on your Laptop","year":"0","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1298306.1298331"},{"journal-title":"Service Function Chaining Extension for OpenStack Networking","year":"0","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2009.2031974"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1015467.1015475"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1282380.1282394"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49052-6_4"},{"journal-title":"Quantitative network verification","year":"0","author":"bjorner","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1592568.1592595"},{"key":"ref8","article-title":"Enforcing network-wide policies in the presence of dynamic middlebox actions using flowtags","author":"fayazbakhsh","year":"2014","journal-title":"NSDI 14"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/NFV-SDN.2016.7919488"},{"key":"ref2","article-title":"Header space analysis: Static checking for networks","author":"kazemian","year":"2012","journal-title":"Proc NSDI"},{"key":"ref1","article-title":"Veriflow: Verifying network-wide invariants in real time","author":"khurshid","year":"2013","journal-title":"Proc NSDI"},{"key":"ref9","article-title":"Real time network policy checking using header space analysis","author":"kazemian","year":"2013","journal-title":"Proc NSDI"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1095921.1095933"},{"key":"ref22","article-title":"Buzz: Testing context-dependent policies in stateful networks","author":"fayaz","year":"2016","journal-title":"Proc NSDI"},{"key":"ref21","article-title":"Enforcing customizable consistency properties in software-defined networks","author":"zhou","year":"2015","journal-title":"Proc NSDI"}],"event":{"name":"IEEE INFOCOM 2017 - IEEE Conference on Computer Communications","start":{"date-parts":[[2017,5,1]]},"location":"Atlanta, GA, USA","end":{"date-parts":[[2017,5,4]]}},"container-title":["IEEE INFOCOM 2017 - IEEE Conference on Computer Communications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8049192\/8056940\/08057041.pdf?arnumber=8057041","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,27]],"date-time":"2017-10-27T23:35:08Z","timestamp":1509147308000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8057041\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/infocom.2017.8057041","relation":{},"subject":[],"published":{"date-parts":[[2017,5]]}}}