Sebastian Hagen

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Partial Order Planning

Process Algebra

Top Venues

IEEE Trans. Netw. Serv. Manag.

Technical University Munich (PHD)

Education History

Technical University Munich

PHD

Publications

Sebastian Hagen, Weverton Luis da Costa Cordeiro, Luciano Paschoal Gaspary, Lisandro Zambenedetti Granville, Alfons Kemper
Efficient Model Checking of IT Change Operations. IEEE Trans. Netw. Serv. Manag. 11 (3) (2014)
Sebastian Hagen, Michael Seibold, Alfons Kemper
Efficient verification of IT change operations or: How we could have prevented Amazon's cloud outage. NOMS (2012)
Sebastian Hagen, Weverton Luis da Costa Cordeiro, Luciano Paschoal Gaspary, Lisandro Zambenedetti Granville, Michael Seibold, Alfons Kemper
Planning in the large: Efficient generation of IT change plans on large infrastructures. CNSM (2012)
Sebastian Hagen, Alfons Kemper
Towards solid IT Change Management: Automated detection of conflicting IT change plans. Integrated Network Management (2011)
Sebastian Hagen, Alfons Kemper
A performance and usability comparison of automated planners for IT change planning. CNSM (2011)
Sebastian Hagen, Alfons Kemper
Model-Based Planning for State-Related Changes to Infrastructure and Software as a Service Instances in Large Data Centers. IEEE CLOUD (2010)
Sebastian Hagen, Alfons Kemper
Facing the unpredictable: Automated adaption of IT change plans for unpredictable management domains. CNSM (2010)
Sebastian Hagen, Nigel Edwards, Lawrence Wilcock, Johannes Kirschnick, Jerry Rolia
One Is Not Enough: A Hybrid Approach for IT Change Planning. DSOM (2009)