{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:23:09Z","timestamp":1759332189756},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1109\/noms.2012.6211920","type":"proceedings-article","created":{"date-parts":[[2012,6,19]],"date-time":"2012-06-19T21:01:35Z","timestamp":1340139695000},"page":"368-376","source":"Crossref","is-referenced-by-count":13,"title":["Efficient verification of IT change operations or: How we could have prevented Amazon's cloud outage"],"prefix":"10.1109","author":[{"given":"S.","family":"Hagen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Seibold","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Kemper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1016\/j.comnet.2009.07.001"},{"doi-asserted-by":"publisher","key":"22","DOI":"10.1109\/POLICY.2009.9"},{"key":"17","first-page":"404","article-title":"Model Driven Provisioning: Bridging the Gap between Declarative Object Models and Procedural Provisioning Tools","author":"maghraoui","year":"0","journal-title":"Proc CM\/IFIP\/USENIX Int Middleware Conf Melbourne Australia Dec 2006"},{"doi-asserted-by":"publisher","key":"23","DOI":"10.1109\/CLOUD.2010.14"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1109\/NOMS.2004.1317679"},{"doi-asserted-by":"publisher","key":"24","DOI":"10.1109\/NOMS.2010.5488470"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1007\/978-3-642-16129-2_8"},{"key":"16","article-title":"A Comparison of Automated Planners for IT Change Planning","author":"hagen","year":"0","journal-title":"Proc of 7th IEEE\/IFIP Int Conference on Network and Services Management (CNSM'2011) Paris France Oct 2011"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1109\/NOMS.2008.4575154"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1145\/1755913.1755924"},{"key":"11","article-title":"SmartFrog meets LCFG","author":"anderson","year":"0","journal-title":"The 17th Large Installation Systems Administration Conference San Diego CA USA Oct 2003"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1109\/SRDS.2009.24"},{"key":"21","first-page":"56","article-title":"One Is Not Enough: A Hybrid Approach for IT Change Planning","author":"hagen","year":"0","journal-title":"Proc IFIP\/IEEE Int Workshop on Distributed Systems Operations and Management (DSOM'09) Venice Italy Oct 2009"},{"year":"2011","journal-title":"Summary of the Amazon EC2 and Amazon RDS Service Disruption in the US East Region","key":"3"},{"key":"20","first-page":"69","article-title":"A Runtime Constraint-Aware Solution for Automated Refinement of IT Change Plans","author":"da costa cordeiro","year":"0","journal-title":"Proc IFIP\/IEEE Int Workshop on Distributed Systems Operations and Management (DSOM'08) Samos Island Greece Sep 2008"},{"year":"2010","journal-title":"Official ITIL Site","key":"2"},{"year":"2007","journal-title":"IT Infrastructure Library ITIL Service Transition Version 3","key":"1"},{"year":"2003","author":"brown","journal-title":"Guide to IP layer network administration with Linux","key":"10"},{"year":"2000","author":"bumpus","journal-title":"Common Information Model Implementing the Object Model for Enterprise Management","key":"7"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/INM.2011.5990700"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1109\/INM.2009.5188880"},{"year":"2003","author":"arregoces","journal-title":"Data Center Fundamentals Understand Data Canter Network Design and Infrastructure Architecture Including Load Balancing SSL and Security","key":"4"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/INM.2009.5188847"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1016\/0004-3702(87)90092-0"}],"event":{"name":"2012 IEEE\/IFIP Network Operations and Management Symposium (NOMS 2012)","start":{"date-parts":[[2012,4,16]]},"location":"Maui, HI","end":{"date-parts":[[2012,4,20]]}},"container-title":["2012 IEEE Network Operations and Management Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6203618\/6211874\/06211920.pdf?arnumber=6211920","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T16:41:50Z","timestamp":1490114510000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6211920\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/noms.2012.6211920","relation":{},"subject":[],"published":{"date-parts":[[2012,4]]}}}