| Publication | Date of Publication | Type |
|---|
| An STL-based Approach to Resilient Control for Cyber-Physical Systems | 2024-02-21 | Paper |
| Simple linear-time algorithms for minimal fixed points | 2023-12-02 | Paper |
| Partial-order reduction in the weak modal mu-calculus | 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 | 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 | 2020-08-05 | Paper |
| Testing preorders for probabilistic processes | 2019-12-04 | Paper |
| Quantitative Regular Expressions for Arrhythmia Detection Algorithms | 2019-07-25 | Paper |
| Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties | 2019-07-25 | Paper |
| Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans | 2019-06-18 | Paper |
| Model Checking Tap Withdrawal in C. Elegans | 2019-05-21 | Paper |
| Process Algebra and Model Checking | 2018-07-20 | Paper |
| Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles | 2017-09-08 | Paper |
| Computing bisimulation functions using SOS optimization and δ -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 |
| Abstract Model Repair | 2015-10-29 | 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 |
| 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 |
| Turing Machines, Transition Systems, and Interaction | 2013-04-26 | Paper |
| Model checking with probabilistic tabled logic programming | 2013-03-13 | Paper |
| On Temporal Logic and Signal Processing | 2012-11-21 | Paper |
| Model Repair for Probabilistic Systems | 2011-05-19 | Paper |
| Vacuity Checking in the Modal Mu-Calculus* | 2011-05-06 | Paper |
| A process calculus for mobile ad hoc networks | 2010-04-29 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| Query-Based Model Checking of Ad Hoc Network Protocols | 2009-10-22 | Paper |
| Modeling and simulation of cardiac tissue using hybrid I/O automata | 2009-08-07 | 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 |
| Introduction to operating system design and implementation. The OSP 2 approach | 2007-09-07 | Paper |
| Probabilistic I/O Automata: Theories of Two Equivalences | 2007-09-04 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2005-11-10 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2005-11-10 | Paper |
| Turing machines, transition systems, and interaction | 2005-01-11 | Paper |
| On the computational complexity of bisimulation, redux | 2005-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736515 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414384 | 2003-07-25 | Paper |
| Testing preorders for probabilistic processes. | 2003-01-14 | Paper |
| Hiding resources that can fail: An axiomatic perspective | 2002-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754127 | 2001-12-18 | Paper |
| Real-time verification techniques for untimed systems | 2001-05-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518894 | 2001-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501586 | 2000-09-04 | Paper |
| Local model checking and protocol analysis | 1999-01-01 | Paper |
| Composition and behaviors of probabilistic I/O automata | 1998-07-23 | Paper |
| A comprehensive study of the complexity of multiparty interaction | 1998-01-19 | Paper |
| Priority as extremal probability | 1996-12-01 | Paper |
| Axiomatizing probabilistic processes: ACP with generative probabilities | 1996-01-22 | Paper |
| Reactive, generative, and stratified models of probabilistic processes | 1995-09-20 | Paper |
| CCS expressions, finite state processes, and three problems of equivalence | 1990-01-01 | Paper |
| Data flow analysis of distributed communicating processes | 1990-01-01 | Paper |
| On the analysis of cooperation and antagonism in networks of communicating processes | 1988-01-01 | Paper |
| The complexity of reachability in distributed communicating processes | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3793740 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3777459 | 1987-01-01 | Paper |
| A CCS semantics for NIL | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3216126 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3340126 | 1984-01-01 | Paper |
| Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives | 1983-01-01 | Paper |
| Tight Continuous-Time Reachtubes for Lagrangian Reachability | N/A | Paper |
