| Publication | Date of Publication | Type |
|---|
| More is less: adding polynomials for faster explanations in NLSAT | 2026-01-21 | Paper |
| FMplex: a novel method for solving linear real arithmetic problems | 2025-08-19 | Paper |
FMplex: exploring a bridge between Fourier-Motzkin and simplex
Logical Methods in Computer Science | 2025-05-06 | Paper |
| Divide and conquer: variable set separation in hybrid systems reachability analysis | 2025-02-26 | Paper |
| Parameter synthesis for probabilistic hyperproperties | 2025-02-20 | Paper |
| 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
Formal Methods in System Design | 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
Journal of Symbolic Computation | 2024-02-05 | Paper |
HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
Quantitative Evaluation of Systems | 2023-06-28 | Paper |
Experiments with automated reasoning in the class
Lecture Notes in Computer Science | 2023-06-02 | Paper |
Spread the work: multi-threaded safety analysis for hybrid systems
Software Engineering and Formal Methods | 2023-05-05 | Paper |
Probabilistic Hyperproperties with Nondeterminism
1517.68218 | 2022-12-22 | Paper |
Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
Information and Computation | 2022-12-08 | Paper |
Model checking hyperproperties for Markov decision processes
Information and Computation | 2022-12-08 | Paper |
| HyperPCTL model checking by probabilistic decomposition | 2022-08-19 | Paper |
Abstract interface behavior of object-oriented languages with monitors
Lecture Notes in Computer Science | 2021-05-25 | Paper |
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
Journal of Logical and Algebraic Methods in Programming | 2021-02-26 | Paper |
Fully incremental cylindrical algebraic decomposition
Journal of Symbolic Computation | 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}
Acta Universitatis Sapientiae. Informatica | 2019-05-17 | Paper |
Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis
IMA Journal of Mathematical Control and Information | 2018-09-27 | Paper |
Satisfiability checking: theory and applications
Software Engineering and Formal Methods | 2018-07-06 | Paper |
Satisfiability checking and symbolic computation
ACM Communications in Computer Algebra | 2017-06-21 | Paper |
Satisfiability checking and symbolic computation
ACM Communications in Computer Algebra | 2017-06-21 | Paper |
A generalised branch-and-bound approach and its application in SAT modulo nonlinear integer arithmetic
Computer Algebra in Scientific Computing | 2016-11-09 | Paper |
Building bridges between symbolic computation and satisfiability checking
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation | 2016-09-29 | Paper |
\textsf{SC}\(^2\): satisfiability checking meets symbolic computation. (Project paper)
Lecture Notes in Computer Science | 2016-08-30 | Paper |
Observable interface behaviour and inheritance
Mathematical Structures in Computer Science | 2016-07-28 | Paper |
Fast debugging of PRISM models
Automated Technology for Verification and Analysis | 2015-12-17 | Paper |
\texttt{SMT-RAT}: an open source \texttt{C++} toolbox for strategic and parallel SMT solving
Lecture Notes in Computer Science | 2015-11-20 | Paper |
High-level counterexamples for probabilistic automata
Logical Methods in Computer Science | 2015-04-22 | Paper |
Counterexample generation for discrete-time Markov models: an introductory survey
Lecture Notes in Computer Science | 2015-02-25 | Paper |
Minimal counterexamples for linear-time probabilistic verification
Theoretical Computer Science | 2014-08-27 | Paper |
Bounded model checking with parametric data structures
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
On Gröbner bases in the context of satisfiability-modulo-theories solving over the real numbers
Algebraic Informatics | 2013-09-20 | Paper |
A symbiosis of interval constraint propagation and cylindrical algebraic decomposition
Automated Deduction – CADE-24 | 2013-06-14 | Paper |
Timed CTL model checking in Real-Time Maude
Rewriting Logic and Its Applications | 2012-10-16 | Paper |
Minimal Critical Subsystems for Discrete-Time Markov Models
Tools and Algorithms for the Construction and Analysis of Systems | 2012-06-29 | Paper |
Hierarchical counterexamples for discrete-time Markov chains
Automated Technology for Verification and Analysis | 2011-10-07 | Paper |
Efficient bounded reachability computation for rectangular automata
Lecture Notes in Computer Science | 2011-10-07 | Paper |
Virtual substitution for SMT-solving
Fundamentals of Computation Theory | 2011-08-19 | Paper |
I-RiSC: an SMT-compliant solver for the existential fragment of real algebra
Algebraic Informatics | 2011-07-08 | Paper |
Parallel SAT solving in bounded model checking
Journal Of Logic And Computation | 2011-02-02 | Paper |
A compositional operational semantics for Java\(_{\text{MT}}\)
Lecture Notes in Computer Science | 2010-03-23 | Paper |
A tool-supported proof system for multithreaded Java.
Lecture Notes in Computer Science | 2010-02-09 | Paper |
Inductive proof outlines for monitors in Java.
Lecture Notes in Computer Science | 2010-01-12 | Paper |
Behavioral interface description of an object-oriented language with futures and promises
The Journal of Logic and Algebraic Programming | 2009-09-29 | Paper |
Abstract interface behavior of object-oriented languages with monitors
Theory of Computing Systems | 2009-05-08 | Paper |
| A deductive proof system for multithreaded Java with exceptions | 2008-04-14 | Paper |
Logical Approaches to Computational Barriers
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2005-12-06 | Paper |
Theoretical Aspects of Computing - ICTAC 2004
Lecture Notes in Computer Science | 2005-11-30 | Paper |
An assertion-based proof system for multithreaded Java
Theoretical Computer Science | 2005-04-06 | Paper |
| scientific article; zbMATH DE number 2087419 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2000404 (Why is no real title available?) | 2003-11-03 | Paper |
| scientific article; zbMATH DE number 1759614 (Why is no real title available?) | 2002-11-28 | Paper |
