| Publication | Date of Publication | Type |
|---|
An STL-based Approach to Resilient Control for Cyber-Physical Systems
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Simple linear-time algorithms for minimal fixed points
Automata, Languages and Programming | 2023-12-02 | Paper |
Partial-order reduction in the weak modal mu-calculus
CONCUR '97: Concurrency Theory | 2023-05-17 | Paper |
An STL-based formulation of resilience in cyber-physical systems
| 2023-01-18 | Paper |
Attacking the V: on the resiliency of adaptive-horizon MPC
Automated Technology for Verification and Analysis | 2022-08-12 | Paper |
Lagrangian reachabililty
| 2022-07-01 | 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
Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
Testing preorders for probabilistic processes
Automata, Languages and Programming | 2019-12-04 | Paper |
Quantitative regular expressions for arrhythmia detection algorithms
Computational Methods in Systems Biology | 2019-07-25 | Paper |
Data-driven robust control for type 1 diabetes under meal and exercise uncertainties
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 |
Process algebra and model checking
Handbook of Model Checking | 2018-07-20 | Paper |
Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles
Formal Methods in System Design | 2017-09-08 | Paper |
Computing bisimulation functions using SOS optimization and \(\delta\)-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 \(\delta\)-decidability
Nonlinear Analysis. Hybrid Systems | 2016-12-15 | Paper |
Abstract Model Repair
Logical Methods in Computer Science | 2015-10-29 | 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 |
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 |
Turing machines, transition systems, and interaction
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
Model checking with probabilistic tabled logic programming
Theory and Practice of Logic Programming | 2013-03-13 | 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 |
Vacuity checking in the modal mu-calculus
Algebraic Methodology and Software Technology | 2011-05-06 | Paper |
A process calculus for mobile ad hoc networks
Science of Computer Programming | 2010-04-29 | Paper |
CONCUR 2003 - Concurrency Theory
Lecture Notes in Computer Science | 2010-03-30 | Paper |
Query-Based Model Checking of Ad Hoc Network Protocols
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
Modeling and simulation of cardiac tissue using hybrid I/O automata
Theoretical Computer Science | 2009-08-07 | 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 |
Introduction to operating system design and implementation. The OSP 2 approach
Undergraduate Topics in Computer Science | 2007-09-07 | Paper |
Probabilistic I/O Automata: Theories of Two Equivalences
CONCUR 2006 – Concurrency Theory | 2007-09-04 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Turing machines, transition systems, and interaction
Information and Computation | 2005-01-11 | Paper |
On the computational complexity of bisimulation, redux
Information and Computation | 2005-01-11 | Paper |
scientific article; zbMATH DE number 2085280 (Why is no real title available?)
| 2004-08-09 | Paper |
scientific article; zbMATH DE number 1953026 (Why is no real title available?)
| 2003-07-25 | Paper |
Testing preorders for probabilistic processes.
Information and Computation | 2003-01-14 | Paper |
Hiding resources that can fail: An axiomatic perspective
Information Processing Letters | 2002-07-25 | Paper |
scientific article; zbMATH DE number 1670807 (Why is no real title available?)
| 2001-12-18 | Paper |
Real-time verification techniques for untimed systems
| 2001-05-08 | Paper |
scientific article; zbMATH DE number 1538039 (Why is no real title available?)
| 2001-02-05 | Paper |
scientific article; zbMATH DE number 1500565 (Why is no real title available?)
| 2000-09-04 | Paper |
Local model checking and protocol analysis
International Journal on Software Tools for Technology Transfer. STTT | 1999-01-01 | Paper |
Composition and behaviors of probabilistic I/O automata
Theoretical Computer Science | 1998-07-23 | Paper |
A comprehensive study of the complexity of multiparty interaction
Journal of the ACM | 1998-01-19 | Paper |
Priority as extremal probability
Formal Aspects of Computing | 1996-12-01 | Paper |
Axiomatizing probabilistic processes: ACP with generative probabilities
Information and Computation | 1996-01-22 | Paper |
Reactive, generative, and stratified models of probabilistic processes
Information and Computation | 1995-09-20 | Paper |
CCS expressions, finite state processes, and three problems of equivalence
Information and Computation | 1990-01-01 | Paper |
Data flow analysis of distributed communicating processes
International Journal of Parallel Programming | 1990-01-01 | Paper |
On the analysis of cooperation and antagonism in networks of communicating processes
Algorithmica | 1988-01-01 | Paper |
The complexity of reachability in distributed communicating processes
Acta Informatica | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4058881 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4039302 (Why is no real title available?)
| 1987-01-01 | Paper |
A CCS semantics for NIL
IBM Journal of Research and Development | 1987-01-01 | Paper |
scientific article; zbMATH DE number 3881867 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3874589 (Why is no real title available?)
| 1984-01-01 | Paper |
Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives
IEEE Transactions on Software Engineering | 1983-01-01 | Paper |
Tight Continuous-Time Reachtubes for Lagrangian Reachability
| N/A | Paper |
