24 citations · 32 across the 13 of their papers we have counts for
6 papers · 1 filter
Implicit Computation of Filtered Prime Implicants
Edward Liem, Clemens Dubslaff
Prime implicants (PIs) are central in computer science, with applications in logic minimization, diagnosis, explainable formal methods and AI. Algorithms for the computation of PIs…
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…
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…
Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes
Christel Baier, Nathalie Bertrand, Clemens Dubslaff +2
The paper deals with finite-state Markov decision processes (MDPs) with integer weights assigned to each state-action pair. New algorithms are presented to classify end components…