| Publication | Date of Publication | Type |
|---|
| Extending the fundamental theorem of linear programming for strict inequalities | 2025-01-20 | Paper |
| Merging adjacent cells during single cell construction | 2025-01-10 | Paper |
| SWDD: Sonar Wall Detection Dataset | 2024-09-05 | Dataset |
| Probabilistic simulation of a railway timetable | 2024-08-13 | Paper |
| Parameter synthesis for Markov models: covering the parameter space | 2024-06-28 | Paper |
| Introducing asynchronicity to probabilistic hyperproperties | 2024-05-29 | Paper |
| Comparing two approaches to include stochasticity in hybrid automata | 2024-05-29 | Paper |
| 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 |
| Hierarchical counterexamples for discrete-time Markov chains | 2011-10-07 | Paper |
| Efficient bounded reachability computation for rectangular automata | 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 |
| A compositional operational semantics for Java\(_{\text{MT}}\) | 2010-03-23 | Paper |
| A tool-supported proof system for multithreaded Java. | 2010-02-09 | Paper |
| Inductive proof outlines for monitors in Java. | 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 |
| A deductive proof system for multithreaded Java with exceptions | 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 |
