| Publication | Date of Publication | Type |
|---|
| Levelwise construction of a single cylindrical algebraic cell | 2024-02-05 | Paper |
| HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties | 2023-06-28 | Paper |
| Experiments with automated reasoning in the class | 2023-06-02 | Paper |
| Spread the work: multi-threaded safety analysis for hybrid systems | 2023-05-05 | Paper |
| Probabilistic Hyperproperties with Nondeterminism | 2022-12-22 | Paper |
| Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} | 2022-12-08 | Paper |
| Model checking hyperproperties for Markov decision processes | 2022-12-08 | Paper |
| HyperPCTL model checking by probabilistic decomposition | 2022-08-19 | Paper |
| Abstract Interface Behavior of Object-Oriented Languages with Monitors | 2021-05-25 | Paper |
| Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings | 2021-02-26 | Paper |
| Fully incremental cylindrical algebraic decomposition | 2020-03-24 | Paper |
| Efficient dynamic error reduction for hybrid systems reachability analysis | 2019-09-16 | Paper |
| Modular strategic SMT solving with \textbf{SMT-RAT} | 2019-05-17 | Paper |
| Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis | 2018-09-27 | Paper |
| Satisfiability Checking: Theory and Applications | 2018-07-06 | Paper |
| Satisfiability checking and symbolic computation | 2017-06-21 | Paper |
| A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic | 2016-11-09 | Paper |
| Building Bridges between Symbolic Computation and Satisfiability Checking | 2016-09-29 | Paper |
| $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation | 2016-08-30 | Paper |
| Observable interface behaviour and inheritance | 2016-07-28 | Paper |
| Fast Debugging of PRISM Models | 2015-12-17 | Paper |
| SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving | 2015-11-20 | Paper |
| High-level Counterexamples for Probabilistic Automata | 2015-04-22 | Paper |
| Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey | 2015-02-25 | Paper |
| Minimal counterexamples for linear-time probabilistic verification | 2014-08-27 | Paper |
| Bounded Model Checking with Parametric Data Structures | 2013-12-06 | Paper |
| On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers | 2013-09-20 | Paper |
| A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition | 2013-06-14 | Paper |
| Timed CTL Model Checking in Real-Time Maude | 2012-10-16 | Paper |
| Minimal Critical Subsystems for Discrete-Time Markov Models | 2012-06-29 | Paper |
| Efficient Bounded Reachability Computation for Rectangular Automata | 2011-10-07 | Paper |
| Hierarchical Counterexamples for Discrete-Time Markov Chains | 2011-10-07 | Paper |
| Virtual Substitution for SMT-Solving | 2011-08-19 | Paper |
| I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra | 2011-07-08 | Paper |
| Parallel SAT Solving in Bounded Model Checking | 2011-02-02 | Paper |
| Verification: Theory and Practice | 2010-03-23 | Paper |
| Formal Methods for Components and Objects | 2010-02-09 | Paper |
| Formal Methods for Open Object-Based Distributed Systems | 2010-01-12 | Paper |
| Behavioral interface description of an object-oriented language with futures and promises | 2009-09-29 | Paper |
| Abstract interface behavior of object-oriented languages with monitors | 2009-05-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5457270 | 2008-04-14 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| Formal Methods for Components and Objects | 2006-11-01 | Paper |
| Formal Methods for Components and Objects | 2006-11-01 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2005-12-06 | Paper |
| Theoretical Aspects of Computing - ICTAC 2004 | 2005-11-30 | Paper |
| An assertion-based proof system for multithreaded Java | 2005-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738214 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4433933 | 2003-11-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536605 | 2002-11-28 | Paper |
