Sebastian Hagen

According to our database, Sebastian Hagen authored at least 9 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

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

2013

Algorithms for the efficient verification and planning of information technology change operations.

Sebastian Hagen

PhD thesis, 2013

2012

Efficient verification of IT change operations or: How we could have prevented Amazon's cloud outage.

Sebastian Hagen, Michael Seibold, Alfons Kemper

Proceedings of the 2012 IEEE Network Operations and Management Symposium, 2012

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

Proceedings of the 8th International Conference on Network and Service Management, 2012

2011

Towards solid IT Change Management: Automated detection of conflicting IT change plans.

Sebastian Hagen, Alfons Kemper

Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management, 2011

A performance and usability comparison of automated planners for IT change planning.

Sebastian Hagen, Alfons Kemper

Proceedings of the 7th International Conference on Network and Service Management, 2011

2010

Facing the unpredictable: Automated adaption of IT change plans for unpredictable management domains.

Sebastian Hagen, Alfons Kemper

Proceedings of the 6th International Conference on Network and Service Management, 2010

Model-Based Planning for State-Related Changes to Infrastructure and Software as a Service Instances in Large Data Centers.

Sebastian Hagen, Alfons Kemper

Proceedings of the IEEE International Conference on Cloud Computing, 2010

2009

One Is Not Enough: A Hybrid Approach for IT Change Planning.

Sebastian Hagen, Nigel Edwards, Lawrence Wilcock, Johannes Kirschnick, Jerry Rolia

Proceedings of the Integrated Management of Systems, 2009