{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T09:52:26Z","timestamp":1725443546609},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1109\/icnp.2013.6733666","type":"proceedings-article","created":{"date-parts":[[2014,2,13]],"date-time":"2014-02-13T21:06:15Z","timestamp":1392325575000},"page":"1-6","source":"Crossref","is-referenced-by-count":5,"title":["Automated synthesis of reactive controllers for software-defined networks"],"prefix":"10.1109","author":[{"given":"Anduo","family":"Wang","sequence":"first","affiliation":[]},{"given":"Salar","family":"Moarref","sequence":"additional","affiliation":[]},{"family":"Boon Thau Loo","sequence":"additional","affiliation":[]},{"given":"Ufuk","family":"Topcu","sequence":"additional","affiliation":[]},{"given":"Andre","family":"Scedrov","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426175"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967747"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/2342356.2342427"},{"journal-title":"Modular Synthesis of Reactive Systems","year":"1991","author":"rosner","key":"16"},{"key":"13","first-page":"364","article-title":"Synthesis of reactive (1) designs","author":"piterman","year":"2006","journal-title":"Verification Model Checking and Abstract Interpretation"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018444"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161470"},{"journal-title":"FIND Observer Panel Report","year":"2009","author":"cerf","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1282380.1282382"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1629607.1629615"},{"key":"10","article-title":"Composing software-defined networks","author":"monsanto","year":"2013","journal-title":"Proc Networked Systems Design and Implementation"},{"key":"7","article-title":"An efficient distributed implementation of one big switch","author":"kang","year":"2013","journal-title":"Open Networking Summit (ONS) Research Track"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1243418.1243426"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342455"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2012.144"},{"key":"9","first-page":"1","article-title":"Onix: A distributed control platform for large-scale production networks","author":"koponen","year":"2010","journal-title":"Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation"},{"key":"8","first-page":"4","article-title":"Platform as a service","author":"keller","year":"2010","journal-title":"Proceedings of the 2010 Internet Network Management Conference on Research on Enterprise Networking"}],"event":{"name":"2013 21st IEEE International Conference on Network Protocols (ICNP)","start":{"date-parts":[[2013,10,7]]},"location":"Goettingen, Germany","end":{"date-parts":[[2013,10,10]]}},"container-title":["2013 21st IEEE International Conference on Network Protocols (ICNP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6718434\/6733561\/06733666.pdf?arnumber=6733666","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:53:55Z","timestamp":1602687235000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6733666"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/icnp.2013.6733666","relation":{},"subject":[],"published":{"date-parts":[[2013,10]]}}}