| Publication | Date of Publication | Type |
|---|
| Reach-avoid verification based on convex optimization | 2024-07-21 | Paper |
| Reach-avoid analysis for polynomial stochastic differential equations | 2024-07-21 | Paper |
| Taming delays in dynamical systems. Unbounded verification of delay differential equations | 2024-02-16 | Paper |
| The demon, the gambler, and the engineer. Reconciling hybrid-system theory with metrology | 2023-08-02 | Paper |
| What's to come is still unsure. Synthesizing controllers resilient to delayed interaction | 2023-07-28 | Paper |
| The quest for an adequate semantic basis of dense-time metric temporal logic | 2023-07-26 | Paper |
| Mixed-neighborhood, multi-speed cellular automata for safety-aware pedestrian prediction | 2023-05-26 | Paper |
| Syntax-guided optimal synthesis for chemical reaction networks | 2022-08-12 | Paper |
| Costs and rewards in priced timed automata | 2022-01-06 | Paper |
| Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control | 2021-09-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5002811 | 2021-07-28 | Paper |
| Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties | 2020-10-07 | Paper |
| Discounted duration calculus | 2020-01-03 | Paper |
| Validated simulation-based verification of delayed differential dynamics | 2020-01-03 | Paper |
| Effective definability of the reachability relation in timed automata | 2019-11-21 | Paper |
| Robust invariant sets generation for state-constrained perturbed polynomial systems | 2019-10-22 | Paper |
| Model Checking Delay Differential Equations Against Metric Interval Temporal Logic | 2019-02-08 | Paper |
| Safe over- and under-approximation of reachable sets for autonomous dynamical systems | 2018-12-06 | Paper |
| Under-Approximating Reach Sets for Polynomial Continuous Systems | 2018-12-06 | Paper |
| Reach-Avoid Differential Games Based on Invariant Generation | 2018-11-07 | Paper |
| Inner-Approximating Reachable Sets for Polynomial Systems with Time-Varying Uncertainties | 2018-11-02 | Paper |
| Automatic verification of stability and safety for delay differential equations | 2018-03-01 | Paper |
| Safe over- and under-approximation of reachable sets for delay differential equations | 2017-12-01 | Paper |
| Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis | 2017-09-21 | Paper |
| Measurability and safety verification for stochastic hybrid systems | 2017-05-16 | Paper |
| Temporal Logic Verification for Delay Differential Equations | 2016-12-21 | Paper |
| Formal Verification of Simulink/Stateflow Diagrams | 2016-01-08 | Paper |
| No Need Knowing Numerous Neighbours | 2015-11-04 | Paper |
| Transformations for Compositional Verification of Assumption-Commitment Properties | 2015-10-28 | Paper |
| Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems | 2015-10-28 | Paper |
| Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems | 2015-09-14 | Paper |
| Combining decomposition and reduction for state space analysis of a self-stabilizing system | 2014-01-27 | Paper |
| Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems | 2012-11-21 | Paper |
| Generalized Craig interpolation for stochastic Boolean satisfiability problems with applications to probabilistic state reachability and region stability | 2012-07-03 | Paper |
| Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods | 2011-10-28 | Paper |
| Crossing the Bridge between Similar Games | 2011-10-07 | Paper |
| Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems | 2011-06-27 | Paper |
| Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems | 2011-05-19 | Paper |
| Take It NP-Easy: Bounded Model Construction for Duration Calculus | 2011-04-08 | Paper |
| Parallel SAT Solving in Bounded Model Checking | 2011-02-02 | Paper |
| Engineering constraint solvers for automatic analysis of probabilistic hybrid automata | 2010-10-22 | Paper |
| Resolution for Stochastic Boolean Satisfiability | 2010-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3408146 | 2010-02-24 | Paper |
| Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata | 2009-12-01 | Paper |
| SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems | 2008-11-20 | Paper |
| Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems | 2008-09-02 | Paper |
| Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic | 2008-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5457277 | 2008-04-14 | Paper |
| Deciding an Interval Logic with Accumulated Durations | 2007-09-03 | Paper |
| HySAT: An efficient proof engine for bounded model checking of hybrid systems | 2007-05-31 | Paper |
| Theoretical Aspects of Computing – ICTAC 2005 | 2006-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5714448 | 2006-01-02 | Paper |
| A semantics for distributed execution of Statemate | 2005-02-08 | Paper |
| Model-checking dense-time duration calculus | 2004-10-01 | Paper |
| Visual temporal logic as a rapid prototyping tool | 2002-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4945221 | 2000-03-23 | Paper |
| A generalized notion of semantic independence | 1997-02-28 | Paper |
