24 citations · 30 across the 6 of their papers we have counts for
8 papers
Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems
Clemens Dubslaff, Bas Luttik
This volume contains the proceedings of MARS 2022, the fifth workshop on Models for Formal Analysis of Real Systems, held as part of ETAPS 2022, the European Joint Conferences on T…
Causality in Configurable Software Systems
Clemens Dubslaff, Kallistos Weis, Christel Baier +1
Detecting and understanding reasons for defects and inadvertent behavior in software is challenging due to their increasing complexity. In configurable software systems, the combin…
From Verification to Causality-based Explications
Christel Baier, Clemens Dubslaff, Florian Funke +4
In view of the growing complexity of modern software architectures, formal models are increasingly used to understand why a system works the way it does, opposed to simply verifyin…
Iterative Variable Reordering: Taming Huge System Families
Clemens Dubslaff, Andrey Morozov, Christel Baier +1
For the verification of systems using model-checking techniques, symbolic representations based on binary decision diagrams (BDDs) often help to tackle the well-known state-space e…
Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis
Clemens Dubslaff, Andrey Morozov, Christel Baier +1
Modern safety-critical systems are heterogeneous, complex, and highly dynamic. They require reliability evaluation methods that go beyond the classical static methods such as fault…
Breaking the Limits of Redundancy Systems Analysis
Clemens Dubslaff, Kai Ding, Andrey Morozov +2
Redundancy mechanisms such as triple modular redundancy protect safety-critical components by replication and thus improve systems fault tolerance. However, the gained fault tolera…