| 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 |
