| Publication | Date of Publication | Type |
|---|
| Data-driven models of monotone systems | 2025-01-21 | Paper |
| Safe learning-based model predictive control using the compatible models approach | 2023-11-23 | Paper |
| Proving safety properties of infinite state systems by compilation into Presburger arithmetic | 2023-05-17 | Paper |
| Asymptotic error in Euler's method with a constant step size | 2022-11-09 | Paper |
| Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints* | 2022-02-01 | Paper |
| Assume-guarantee contracts for continuous-time systems | 2021-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4994965 | 2021-06-22 | Paper |
| Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems | 2021-05-28 | Paper |
| A topological method for finding invariant sets of continuous systems | 2021-04-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4965868 | 2021-03-10 | Paper |
| Randomized Dining Philosophers without Fairness Assumption | 2020-12-04 | Paper |
| Proving convergence of self-stabilizing systems using first-order rewriting and regular languages | 2020-12-03 | Paper |
| Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method | 2020-05-07 | Paper |
| Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking | 2020-01-23 | Paper |
| Bottom-up evaluation of Datalog programs with arithmetic constraints | 2020-01-21 | Paper |
| Game-based Synthesis of Distributed Controllers for Sampled Switched Systems | 2019-10-24 | Paper |
| Guaranteed control of switched control systems using model order reduction and state-space bisection | 2019-10-24 | Paper |
| Compositional synthesis of state-dependent switching control | 2018-11-23 | Paper |
| An improved algorithm for the control synthesis of nonlinear sampled switched systems | 2018-11-15 | Paper |
| Distributed synthesis of state-dependent switching control | 2018-03-26 | Paper |
| Compositional analysis of Boolean networks using local fixed-point iterations | 2018-03-26 | Paper |
| Distributed control synthesis using Euler's method | 2017-12-20 | Paper |
| Euler's method applied to the control of switched systems | 2017-12-01 | Paper |
| A topological method for finding invariant sets of continuous systems | 2017-10-27 | Paper |
| A Topological Method for Finding Invariant Sets of Switched Systems | 2017-05-19 | Paper |
| An Inverse Method for Parametric Timed Automata | 2015-03-23 | Paper |
| Finite controlled invariants for sampled switched systems | 2015-01-19 | Paper |
| Merge and Conquer: State Merging in Parametric Timed Automata | 2014-07-08 | Paper |
| Stability Controllers for Sampled Switched Systems | 2014-07-07 | Paper |
| An extension of the inverse method to probabilistic timed automata | 2014-06-30 | Paper |
| Time separation of events: an inverse method | 2014-01-17 | Paper |
| Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC | 2013-09-26 | Paper |
| Parametric verification and test coverage for hybrid automata using the inverse method | 2013-07-30 | Paper |
| Coupling and self-stabilization | 2013-06-07 | Paper |
| Parametric verification and test coverage for hybrid automata using the inverse method | 2011-10-07 | Paper |
| Behavioral cartography of timed automata | 2010-08-31 | Paper |
| AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA | 2009-11-19 | Paper |
| Timed verification of the generic architecture of a memory circuit using parametric timed automata | 2009-07-06 | Paper |
| Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata | 2008-07-08 | Paper |
| Coupling and Self-stabilization | 2005-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817536 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436055 | 2003-11-23 | Paper |
| A compared study of two correctness proofs for the standardized algorithm of ABR conformance | 2003-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791851 | 2003-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723913 | 2001-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4270057 | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223068 | 1999-01-03 | Paper |
| A decompositional approach for computing least fixed-points of datalog programs with \(\mathcal Z\)-counters | 1998-06-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4858582 | 1995-12-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4322964 | 1995-07-03 | Paper |
| A strong restriction of the inductive completion procedure | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3490934 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3817654 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3809308 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3725540 | 1986-01-01 | Paper |
| A superposition oriented theorem prover | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3696495 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3336735 | 1984-01-01 | Paper |
| Oriented equational clauses as a programming language | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3731027 | 1984-01-01 | Paper |
