| Publication | Date of Publication | Type |
|---|
| Correct and efficient antichain algorithms for refinement checking | 2024-02-06 | Paper |
| On the preservation of properties when changing communication models | 2023-08-14 | Paper |
| Decomposing monolithic processes in a process algebra with multi-actions | 2023-03-20 | Paper |
| Family-Based SPL Model Checking Using Parity Games with Variability | 2022-10-13 | Paper |
| Off-the-shelf automated analysis of liveness properties for just paths (extended abstract) | 2022-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020944 | 2022-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384882 | 2021-12-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5013885 | 2021-12-03 | Paper |
| Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems | 2021-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5155669 | 2021-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4992503 | 2021-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986259 | 2021-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5856411 | 2021-03-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5150133 | 2021-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5129943 | 2020-11-03 | Paper |
| The inconsistent labelling problem of stutter-preserving partial-order reduction | 2020-09-23 | Paper |
| Off-the-shelf automated analysis of liveness properties for just paths | 2020-05-26 | Paper |
| Family-Based Model Checking with mCRL2 | 2020-02-13 | Paper |
| Parity game reductions | 2018-08-10 | Paper |
| Cooking Your Own Parity Game Preorders Through Matching Plays | 2018-07-24 | Paper |
| A formalisation of consistent consequence for Boolean equation systems | 2018-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4596797 | 2017-12-11 | Paper |
| Evidence for Fixpoint Logic | 2017-08-31 | Paper |
| Abstraction in Fixpoint Logic | 2017-07-12 | Paper |
| Branching Bisimulation Games | 2016-10-19 | Paper |
| On Parity Game Preorders and the Logic of Matching Plays | 2016-03-10 | Paper |
| Using SMT for Solving Fragments of Parameterised Boolean Equation Systems | 2016-01-08 | Paper |
| Liveness Analysis for Parameterised Boolean Equation Systems | 2015-12-17 | Paper |
| Structural Analysis of Boolean Equation Systems | 2015-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2848135 | 2013-09-25 | Paper |
| Proof Graphs for Parameterised Boolean Equation Systems | 2013-08-12 | Paper |
| An Overview of the mCRL2 Toolset and Its Recent Advances | 2013-08-05 | Paper |
| A Cure for Stuttering Parity Games | 2012-09-21 | Paper |
| Consistent Consequence for Boolean Equation Systems | 2012-06-15 | Paper |
| Verification of reactive systems via instantiation of parameterised Boolean equation systems | 2011-04-28 | Paper |
| Folk Theorems on the Correspondence between State-Based and Event-Based Systems | 2011-02-15 | Paper |
| Consistent Correlations for Parameterised Boolean Equation Systems with Applications in Correctness Proofs for Manipulations | 2010-08-31 | Paper |
| Invariants for parameterised Boolean equation systems | 2010-03-29 | Paper |
| Integrated Formal Methods | 2009-05-07 | Paper |
| Search algorithms for automated validation | 2009-04-29 | Paper |
| Static Analysis Techniques for Parameterised Boolean Equation Systems | 2009-03-31 | Paper |
| Integrating Verification, Testing, and Learning for Cryptographic Protocols | 2009-03-06 | Paper |
| Invariants for Parameterised Boolean Equation Systems | 2008-11-25 | Paper |
| Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems | 2008-09-18 | Paper |
| A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification | 2007-09-04 | Paper |
| Branching bisimulation for probabilistic systems: characteristics and decidability | 2006-05-29 | Paper |
| Formal Approaches to Software Testing | 2005-12-02 | Paper |
| Parameterised Boolean equation systems | 2005-11-01 | Paper |
| CONCUR 2004 - Concurrency Theory | 2005-08-23 | Paper |
| Formal Methods for Components and Objects | 2005-08-22 | Paper |
| Model-checking processes with data | 2005-08-05 | Paper |
