{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T10:58:11Z","timestamp":1777546691454,"version":"3.51.4"},"reference-count":56,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2018,4,1]],"date-time":"2018-04-01T00:00:00Z","timestamp":1522540800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"Danish Villum Foundation Project ReNet"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE\/ACM Trans. Networking"],"published-print":{"date-parts":[[2018,4]]},"DOI":"10.1109\/tnet.2018.2810640","type":"journal-article","created":{"date-parts":[[2018,3,12]],"date-time":"2018-03-12T18:13:56Z","timestamp":1520878436000},"page":"948-961","source":"Crossref","is-referenced-by-count":31,"title":["Efficient Loop-Free Rerouting of Multiple SDN Flows"],"prefix":"10.1109","volume":"26","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6755-3748","authenticated-orcid":false,"given":"Arsany","family":"Basta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2001-4050","authenticated-orcid":false,"given":"Andreas","family":"Blenk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4926-8353","authenticated-orcid":false,"given":"Szymon","family":"Dudycz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arne","family":"Ludwig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7798-1711","authenticated-orcid":false,"given":"Stefan","family":"Schmid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","article-title":"Storms in the cloud: Lessons from the Amazon cloud outage","author":"mohan","year":"2011","journal-title":"Security Week"},{"key":"ref38","first-page":"101","article-title":"Supersequences, runs, and CD grammar systems","volume":"6","author":"middendorf","year":"1994","journal-title":"Develop Theor Comput Sci"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1282380.1282382"},{"key":"ref32","first-page":"15","article-title":"Good network updates for bad packets: Waypoint enforcement beyond destination-based routing policies","author":"ludwig","year":"2014","journal-title":"Proc ACM HotNets"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2767386.2767412"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2896377.2901476"},{"key":"ref37","author":"medhi","year":"2007","journal-title":"Network Routing Algorithms Protocols and Architectures"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2980983.2908097"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/322063.322075"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2535771.2535791"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/3-540-47867-1_6","article-title":"Improved rounding techniques for the MAX 2-SAT and MAX DI-CUT problems","author":"lewin","year":"2002","journal-title":"Integer Programming and Combinatorial Optimization"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-15509-8_26"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486005"},{"key":"ref2","first-page":"391","article-title":"Transiently consistent SDN updates: Being greedy is hard","author":"amiri","year":"2016","journal-title":"Proc 23rd Int Colloq Struct Inf Commun Complex (SIROCCO)"},{"key":"ref1","first-page":"551","article-title":"SDX: A software defined Internet exchange","author":"gupta","year":"2014","journal-title":"Proc ACM Sigcomm"},{"key":"ref20","article-title":"Godaddy blames outage on corrupted router tables","author":"jackson","year":"2011","journal-title":"PC World"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1137\/S009753979223842X"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486019"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491191"},{"key":"ref23","first-page":"351","article-title":"Consensus routing: The Internet as a distributed system","author":"john","year":"2008","journal-title":"Proc 5th USENIX Symp Netw Syst Design Implement"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2674005.2675006"},{"key":"ref25","first-page":"203","article-title":"Network virtualization in multi-tenant datacenters","author":"koponen","year":"2014","journal-title":"Proc USENIX NSDI"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/BF01075212"},{"key":"ref51","year":"2011"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486022"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620774"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/2619239.2626307"},{"key":"ref53","first-page":"73","article-title":"Enforcing customizable consistency properties in software-defined networks","author":"zhou","year":"2015","journal-title":"Proc USENIX NSDI"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2016.7524419"},{"key":"ref10","first-page":"133","article-title":"Can’t touch this: Consistent network updates for multiple policies","author":"dudycz","year":"2016","journal-title":"Proc IEEE\/IFIP Int Conf Depend Syst Netw (DSN)"},{"key":"ref11","author":"foerster","year":"2016","journal-title":"On Consistent Updates in Software Defined Networks"},{"key":"ref40","first-page":"1","article-title":"Composing software defined networks","author":"monsanto","year":"2013","journal-title":"Proc NSDI"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IFIPNetworking.2016.7497232"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCN.2016.7568583"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2005.1497895"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620754"},{"key":"ref16","year":"2016"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2011.105"},{"key":"ref18","first-page":"459","article-title":"Clickos and the art of network function virtualization","author":"martins","year":"2014","journal-title":"Proc USENIX NSDI"},{"key":"ref19","first-page":"196","article-title":"Efficient synthesis of network updates","author":"mcclurg","year":"2015","journal-title":"Proc ACM PLDI"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2005.136"},{"key":"ref3","author":"amiri","year":"2016","journal-title":"Congestion-free rerouting of flows on dags"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2004.02.003"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934892"},{"key":"ref8","first-page":"114","article-title":"Optimal consistent network updates in polynomial time","author":"?ern\u00fd","year":"2016","journal-title":"Proc Int l Symp Distributed Computing (DISC)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2015.7218382"},{"key":"ref49","author":"shand","year":"2010","journal-title":"Internet Engineering Task Force (IETF)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2012.144"},{"key":"ref46","article-title":"Bridge-like Internet protocol router","author":"perlman","year":"1994"},{"key":"ref45","year":"2017"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491198"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/2342356.2342427"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/35.809387"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676990"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620747"},{"key":"ref43","first-page":"91","article-title":"Real time network policy checking using header space analysis","author":"kazemian","year":"2013","journal-title":"Proc USENIX NSDI"}],"container-title":["IEEE\/ACM Transactions on Networking"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/90\/8338168\/08314560.pdf?arnumber=8314560","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T04:24:53Z","timestamp":1643171093000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8314560\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4]]},"references-count":56,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tnet.2018.2810640","relation":{},"ISSN":["1063-6692","1558-2566"],"issn-type":[{"value":"1063-6692","type":"print"},{"value":"1558-2566","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,4]]}}}