| Publication | Date of Publication | Type |
|---|
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains
IEEE Transactions on Automatic Control | 2024-01-26 | Paper |
Robustness analysis of continuous-depth models with Lagrangian techniques
Lecture Notes in Computer Science | 2023-08-10 | Paper |
Attacking the V: on the resiliency of adaptive-horizon MPC
Automated Technology for Verification and Analysis | 2022-08-12 | Paper |
Lagrangian reachabililty
(available as arXiv preprint) | 2022-07-01 | Paper |
Compressive sensing of high betweenness centrality nodes in networks
Physica A | 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
(available as arXiv preprint) | 2020-09-23 | Paper |
ARES: adaptive receding-horizon synthesis of optimal plans
Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
Quantitative regular expressions for arrhythmia detection algorithms
Computational Methods in Systems Biology | 2019-07-25 | Paper |
Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans
Theoretical Computer Science | 2019-06-18 | Paper |
Model checking tap withdrawal in \textit{C. elegans}
Hybrid Systems Biology | 2019-05-21 | Paper |
Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles
Formal Methods in System Design | 2017-09-08 | Paper |
Temporal logic as filtering
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Computing bisimulation functions using SOS optimization and -decidability over the reals
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Compositionality results for cardiac cell dynamics
Proceedings of the 17th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Computing compositional proofs of input-to-output stability using SOS optimization and -decidability
Nonlinear Analysis. Hybrid Systems | 2016-12-15 | Paper |
Model-order reduction of ion channel dynamics using approximate bisimulation
Theoretical Computer Science | 2015-09-29 | Paper |
Monte Carlo methods for process algebra
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Modular refinement of hierarchic reactive machines
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
Compositional branching-time measurements
From Programs to Systems. The Systems perspective in Computing | 2014-07-24 | Paper |
\textsc{InterAspect}: aspect-oriented instrumentation with GCC
Formal Methods in System Design | 2014-03-28 | Paper |
Spatial networks of hybrid I/O automata for modeling excitable tissue
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
On temporal logic and signal processing
Automated Technology for Verification and Analysis | 2012-11-21 | Paper |
Model repair for probabilistic systems
Tools and Algorithms for the Construction and Analysis of Systems | 2011-05-19 | Paper |
The Cayley-Hamilton Theorem for Noncommutative Semirings
Implementation and Application of Automata | 2011-02-11 | Paper |
Modeling and simulation of cardiac tissue using hybrid I/O automata
Theoretical Computer Science | 2009-08-07 | Paper |
Finite Automata as Time-Inv Linear Systems Observability, Reachability and More
Hybrid Systems: Computation and Control | 2009-04-30 | Paper |
Dynamic Path Reduction for Software Model Checking
Lecture Notes in Computer Science | 2009-02-24 | Paper |
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Compositional modeling and refinement for hierarchical hybrid systems
The Journal of Logic and Algebraic Programming | 2006-04-28 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2005-11-10 | Paper |
| scientific article; zbMATH DE number 1759395 (Why is no real title available?) | 2002-11-04 | Paper |
Modular and visual specification of hybrid systems: An introduction to HyCharts
Formal Methods in System Design | 2002-09-18 | Paper |
| scientific article; zbMATH DE number 1444338 (Why is no real title available?) | 2002-09-08 | Paper |
| scientific article; zbMATH DE number 1794359 (Why is no real title available?) | 2002-09-03 | Paper |
| scientific article; zbMATH DE number 1760053 (Why is no real title available?) | 2002-06-25 | Paper |
Stream-based specification of mobile systems
Formal Aspects of Computing | 2001-11-21 | Paper |
| scientific article; zbMATH DE number 1670783 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1543343 (Why is no real title available?) | 2001-02-27 | Paper |
Tight Continuous-Time Reachtubes for Lagrangian Reachability
(available as arXiv preprint) | N/A | Paper |
