Evaluation of Self-Healing Systems: An Analysis of the State-of-the-Art and Required Improvements

by Sona Ghahremani, Holger Giese
Published 2020-02-01

Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements

by Christian Krause, Holger Giese
Published 2011-11-01

Incremental View Maintenance for Deductive Graph Databases Using Generalized Discrimination Networks

by Thomas Beyhl, Holger Giese
Published 2016-12-01

Modal Specifications for Probabilistic Timed Systems

by Tingting Han, Christian Krause, Marta Kwiatkowska, Holger Giese
Published 2013-06-01