{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T07:47:44Z","timestamp":1759132064203},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/iwqos.2017.7969147","type":"proceedings-article","created":{"date-parts":[[2017,7,7]],"date-time":"2017-07-07T14:35:28Z","timestamp":1499438128000},"source":"Crossref","is-referenced-by-count":8,"title":["Enabling automatic composition and verification of service function chain"],"prefix":"10.1109","author":[{"given":"Yang","family":"Wang","sequence":"first","affiliation":[]},{"given":"Zhenyu","family":"Li","sequence":"additional","affiliation":[]},{"given":"Gaogang","family":"Xie","sequence":"additional","affiliation":[]},{"given":"Kave","family":"Salamatian","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2740070.2626313"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.17487\/RFC7665"},{"key":"ref12","article-title":"Flowconvertor: Enabling portability of sdn applications","author":"pan","year":"2017","journal-title":"INFOCOM"},{"key":"ref13","article-title":"Header space analysis: Static checking for networks","author":"kazemian","year":"2012","journal-title":"NSDI"},{"key":"ref14","article-title":"Veriflow: verifying network-wide invariants in real time","author":"khurshid","year":"2013","journal-title":"NSDI"},{"key":"ref15","article-title":"Network function virtualization: State-of-the-art and researchchallenges","author":"mijumbi","year":"2015","journal-title":"IEEE Comm Surveys & Tutorials"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2787506"},{"key":"ref17","article-title":"Network service header","author":"quinn","year":"2015","journal-title":"nternet-Draft draft-ietf-sfc-nsh-01 IETF"},{"key":"ref18","article-title":"Composing software defined networks","author":"reich","year":"2013","journal-title":"NSDI"},{"key":"ref19","doi-asserted-by":"crossref","DOI":"10.5120\/8738-2991","article-title":"Openstack: toward an open-source solution for cloud computing","author":"sefraoui","year":"2012","journal-title":"IJCA"},{"key":"ref4","year":"0"},{"key":"ref3","year":"0"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934875"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1145\/2774993.2774998","article-title":"Programming slick network functions","author":"anwer","year":"2015","journal-title":"SOSR"},{"key":"ref8","article-title":"Enforcing network-wide policies in the presence of dynamic middlebox actions using flowtags","author":"fayazbakhsh","year":"2014","journal-title":"NSDI"},{"key":"ref7","article-title":"Buzz: testing context-dependent policies in stateful networks","author":"fayaz","year":"2016","journal-title":"NSDI"},{"key":"ref2","year":"0"},{"key":"ref1","year":"0"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2034574.2034812"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2016.7784446"}],"event":{"name":"2017 IEEE\/ACM 25th International Symposium on Quality of Service (IWQoS)","location":"Vilanova i la Geltr\u00fa, Spain","start":{"date-parts":[[2017,6,14]]},"end":{"date-parts":[[2017,6,16]]}},"container-title":["2017 IEEE\/ACM 25th International Symposium on Quality of Service (IWQoS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7959754\/7969104\/07969147.pdf?arnumber=7969147","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,28]],"date-time":"2019-09-28T20:48:22Z","timestamp":1569703702000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7969147\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/iwqos.2017.7969147","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}