| Publication | Date of Publication | Type |
|---|
| State Estimation of Continuous-Time Dynamical Systems With Uncertain Inputs With Bounded Variation: Entropy, Bit Rates, and Relation With Switched Systems | 2024-02-29 | Paper |
| Controller synthesis made real: reach-avoid specifications and linear dynamics | 2023-05-26 | Paper |
| Multi-agent Safety Verification Using Symmetry Transformations | 2022-10-13 | Paper |
| Controller Synthesis for Linear System With Reach-Avoid Specifications | 2022-07-28 | Paper |
| \textsc{DryVR}: data-driven verification and compositional reasoning for automotive systems | 2022-07-01 | Paper |
| Approximate partial order reduction | 2021-05-04 | Paper |
| Fast and guaranteed safe controller synthesis for nonlinear vehicle models | 2021-02-04 | Paper |
| Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification | 2020-07-20 | Paper |
| Model Checking Tap Withdrawal in C. Elegans | 2019-05-21 | Paper |
| State Estimation of Dynamical Systems with Unknown Inputs | 2018-12-06 | Paper |
| Entropy and Minimal Bit Rates for State Estimation and Model Detection | 2018-12-04 | Paper |
| Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs | 2017-09-21 | Paper |
| Optimal Data Rate for State Estimation of Switched Nonlinear Systems | 2017-07-11 | Paper |
| Entropy and Minimal Data Rates for State Estimation and Model Detection | 2017-05-19 | Paper |
| Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata | 2017-05-16 | Paper |
| Lyapunov abstractions for inevitability of hybrid systems | 2017-05-16 | Paper |
| Computing bounded reach sets from sampled simulation traces | 2017-05-16 | Paper |
| Proofs from simulations and modular annotations | 2017-05-16 | Paper |
| Bounded invariant verification for time-delayed nonlinear networked dynamical systems | 2016-12-15 | Paper |
| A Strategy for Automatic Verification of Stabilization of Distributed Algorithms | 2016-10-19 | Paper |
| Bounded Verification with On-the-Fly Discrepancy Computation | 2016-01-08 | Paper |
| Hybrid automata-based CEGAR for rectangular hybrid systems | 2015-10-30 | Paper |
| Anonymized Reachability of Hybrid Automata Networks | 2015-08-06 | Paper |
| Safe and stabilizing distributed multi-path cellular flows | 2015-05-18 | Paper |
| Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems | 2014-11-03 | Paper |
| Proving Approximate Implementations for Probabilistic I/O Automata | 2013-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2848044 | 2013-09-25 | Paper |
| Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems | 2012-11-08 | Paper |
| Verification of distributed systems with local-global predicates | 2012-07-03 | Paper |
| On Convergence of Concurrent Systems under Regular Interactions | 2009-10-22 | Paper |
| Periodically Controlled Hybrid Systems | 2009-04-30 | Paper |
| Trace-Based Semantics for Probabilistic Timed I/O Automata | 2009-03-11 | Paper |
| A Formalized Theory for Verifying Stability and Convergence of Automata in PVS | 2008-12-04 | Paper |
| Convergence Verification: From Shared Memory to Partially Synchronous Systems | 2008-12-02 | Paper |
| Hybrid Systems: Computation and Control | 2007-05-02 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-11-14 | Paper |
| Distributed Computing | 2006-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4418003 | 2003-07-30 | Paper |
