Incremental View Maintenance for Deductive Graph Databases Using Generalized Discrimination Networks by Thomas Beyhl, Holger Giese

Get full text

Evaluation of Self-Healing Systems: An Analysis of the State-of-the-Art and Required Improvements by Sona Ghahremani, Holger Giese

Get full text

Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements by Christian Krause, Holger Giese

Get full text

Challenges in Reward Design for Reinforcement Learning-based Traffic Signal Control: An Investigation using a CO2 Emission Objective by Max Schumacher, Christian Medeiros Adriano, Holger Giese

Get full text

Modal Specifications for Probabilistic Timed Systems by Tingting Han, Christian Krause, Marta Kwiatkowska, Holger Giese

Get full text