One Is Not Enough: A Hybrid Approach for IT Change Planning. - Sebastian Hagen; Nigel Edwards; Lawrence Wilcock; Johannes Kirschnick; Jerry Rolia (DSOM, 2009)

Model-Based Planning for State-Related Changes to Infrastructure and Software as a Service Instances in Large Data Centers. - Sebastian Hagen; Alfons Kemper (IEEE CLOUD, 2010)

Facing the unpredictable: Automated adaption of IT change plans for unpredictable management domains. - Sebastian Hagen; Alfons Kemper (CNSM, 2010)

A performance and usability comparison of automated planners for IT change planning. - Sebastian Hagen; Alfons Kemper (CNSM, 2011)

Towards solid IT Change Management: Automated detection of conflicting IT change plans. - Sebastian Hagen; Alfons Kemper (Integrated Network Management, 2011)

Planning in the large: Efficient generation of IT change plans on large infrastructures. - Sebastian Hagen; Weverton Luis da Costa Cordeiro; Luciano Paschoal Gaspary; Lisandro Zambenedetti Granville; Michael Seibold; Alfons Kemper (CNSM, 2012)

Efficient verification of IT change operations or: How we could have prevented Amazon's cloud outage. - Sebastian Hagen; Michael Seibold; Alfons Kemper (NOMS, 2012)

Algorithms for the efficient verification and planning of information technology change operations. - Sebastian Hagen (2013)

Efficient Model Checking of IT Change Operations. - Sebastian Hagen; Weverton Luis da Costa Cordeiro; Luciano Paschoal Gaspary; Lisandro Zambenedetti Granville; Alfons Kemper (IEEE Trans. Netw. Serv. Manag., 2014)