| Publication | Date of Publication | Type |
|---|
| Algorithmic Minimization of Uncertain Continuous-Time Markov Chains | 2024-01-26 | Paper |
| Robustness analysis of continuous-depth models with Lagrangian techniques | 2023-08-10 | Paper |
| Attacking the V: on the resiliency of adaptive-horizon MPC | 2022-08-12 | Paper |
| Lagrangian reachabililty | 2022-07-01 | Paper |
| Compressive sensing of high betweenness centrality nodes in networks | 2022-06-27 | Paper |
| Lumpability for uncertain continuous-time Markov chains | 2022-03-24 | Paper |
| Statistical model checking | 2022-02-16 | Paper |
| Neural flocking: MPC-based supervised learning of flocking controllers | 2020-09-23 | Paper |
| ARES: adaptive receding-horizon synthesis of optimal plans | 2020-08-05 | Paper |
| Quantitative regular expressions for arrhythmia detection algorithms | 2019-07-25 | Paper |
| Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans | 2019-06-18 | Paper |
| Model checking tap withdrawal in \textit{C. elegans} | 2019-05-21 | Paper |
| Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles | 2017-09-08 | Paper |
| Temporal logic as filtering | 2017-05-19 | Paper |
| Computing bisimulation functions using SOS optimization and \(\delta\)-decidability over the reals | 2017-05-19 | Paper |
| Compositionality results for cardiac cell dynamics | 2017-05-16 | Paper |
| Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability | 2016-12-15 | Paper |
| Model-order reduction of ion channel dynamics using approximate bisimulation | 2015-09-29 | Paper |
| Monte Carlo methods for process algebra | 2015-07-10 | Paper |
| Modular refinement of hierarchic reactive machines | 2015-03-17 | Paper |
| Compositional branching-time measurements | 2014-07-24 | Paper |
| \textsc{InterAspect}: aspect-oriented instrumentation with GCC | 2014-03-28 | Paper |
| Spatial networks of hybrid I/O automata for modeling excitable tissue | 2014-01-17 | Paper |
| On temporal logic and signal processing | 2012-11-21 | Paper |
| Model repair for probabilistic systems | 2011-05-19 | Paper |
| The Cayley-Hamilton Theorem for Noncommutative Semirings | 2011-02-11 | Paper |
| Modeling and simulation of cardiac tissue using hybrid I/O automata | 2009-08-07 | Paper |
| Finite Automata as Time-Inv Linear Systems Observability, Reachability and More | 2009-04-30 | Paper |
| Dynamic Path Reduction for Software Model Checking | 2009-02-24 | Paper |
| StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes | 2008-06-19 | Paper |
| Compositional modeling and refinement for hierarchical hybrid systems | 2006-04-28 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2005-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536343 | 2002-11-04 | Paper |
| Modular and visual specification of hybrid systems: An introduction to HyCharts | 2002-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4953375 | 2002-09-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552455 | 2002-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536992 | 2002-06-25 | Paper |
| Stream-based specification of mobile systems | 2001-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754091 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520820 | 2001-02-27 | Paper |
| Tight Continuous-Time Reachtubes for Lagrangian Reachability | N/A | Paper |
