| Publication | Date of Publication | Type |
|---|
| Mining of extended signal temporal logic specifications with ParetoLib 2.0 | 2024-06-28 | Paper |
| Safe Self-Triggered Control Based on Precomputed Reachability Sequences | 2024-02-21 | Paper |
| Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions | 2024-02-21 | Paper |
| Parameter synthesis of polynomial dynamical systems | 2022-12-08 | Paper |
| Explaining safety violations in real-time systems | 2022-03-24 | Paper |
| Learning specifications for labelled patterns | 2021-03-02 | Paper |
| Parameter Synthesis Through Temporal Logic Specifications | 2019-12-19 | Paper |
| Application of the Reachability Analysis for the Iron Homeostasis Study | 2019-12-04 | Paper |
| Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations | 2019-08-13 | Paper |
| Augmented complex zonotopes for computing invariants of affine hybrid systems | 2017-12-01 | Paper |
| Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis | 2017-10-04 | Paper |
| Scheduling of Embedded Controllers Under Timing Contracts | 2017-07-11 | Paper |
| Parallelotope Bundles for Polynomial Reachability | 2017-05-19 | Paper |
| Verification and Synthesis of Timing Contracts for Embedded Controllers | 2017-05-19 | Paper |
| Parameter synthesis for polynomial biological models | 2017-05-16 | Paper |
| Hybridization domain construction using curvature estimation | 2017-05-16 | Paper |
| Reachability computation for polynomial dynamical systems | 2017-05-12 | Paper |
| Accurate hybridization of nonlinear systems | 2017-05-10 | Paper |
| Test Coverage Estimation Using Threshold Accepting | 2015-12-17 | Paper |
| NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems | 2014-07-08 | Paper |
| Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations | 2012-11-21 | Paper |
| Template-Based Unbounded Time Verification of Affine Hybrid Automata | 2012-07-20 | Paper |
| Discretizing Affine Hybrid Automata with Uncertainty | 2011-10-07 | Paper |
| Computing reachable states for nonlinear biological models | 2011-05-03 | Paper |
| Using Redundant Constraints for Refinement | 2010-10-04 | Paper |
| Coverage-guided test generation for continuous and hybrid systems | 2009-11-23 | Paper |
| Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion | 2009-06-30 | Paper |
| A Policy Iteration Technique for Time Elapse over Template Polyhedra | 2008-09-02 | Paper |
| Symbolic Model Checking of Hybrid Systems Using Template Polyhedra | 2008-04-11 | Paper |
| Test Coverage for Continuous and Hybrid Systems | 2007-11-29 | Paper |
| Hybrid Systems: Computation and Control | 2007-09-25 | Paper |
| Hybrid Systems: Computation and Control | 2007-05-02 | Paper |
| Hybridization methods for the analysis of nonlinear systems | 2007-03-05 | Paper |
| Formal Methods in Computer-Aided Design | 2006-10-20 | Paper |
| Counterexample-guided predicate abstraction of hybrid systems | 2006-04-28 | Paper |
| Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems | 2005-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736572 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417974 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417973 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417924 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4806208 | 2003-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552458 | 2002-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4953376 | 2000-06-21 | Paper |
| Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations | N/A | Paper |
