| Publication | Date of Publication | Type |
|---|
| T4V: exploring neural network architectures that improve the scalability of neural network verification | 2023-08-10 | Paper |
| Verisig 2.0: verification of neural network controllers using Taylor model preconditioning | 2022-03-25 | Paper |
| Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators | 2022-01-10 | Paper |
| Case study | 2021-01-25 | Paper |
| Verisig | 2019-10-22 | Paper |
| Continuous Estimation Using Context-Dependent Discrete Measurements | 2019-01-28 | Paper |
| Parameter Invariant Monitoring for Signal Temporal Logic | 2018-12-06 | Paper |
| MC-Fluid: Multi-Core Fluid-Based Mixed-Criticality Scheduling | 2018-06-27 | Paper |
| A Verifiable Language for Programming Real-Time Communication Schedules | 2018-06-12 | Paper |
| Attack-Resilient State Estimation for Noisy Dynamical Systems | 2017-09-21 | Paper |
| A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems | 2017-09-12 | Paper |
| Generating Reliable Code from Hybrid-Systems Models | 2017-07-27 | Paper |
| Reputation-based networked control with data-corrupting channels | 2017-05-16 | Paper |
| A Family of Resource-Bound Real-Time Process Algebras | 2015-07-10 | Paper |
| Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control | 2014-10-16 | Paper |
| State-based scheduling with tree schedules: analysis and evaluation | 2012-07-30 | Paper |
| PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling | 2012-03-13 | Paper |
| Permission to speak: a logic for access control and conformance | 2011-01-07 | Paper |
| A process algebraic framework for modeling resource demand and supply | 2010-09-10 | Paper |
| Optimal virtual cluster-based multiprocessor scheduling | 2009-11-27 | Paper |
| Robust Test Generation and Coverage for Hybrid Systems | 2009-03-11 | Paper |
| Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking | 2008-08-28 | Paper |
| Hybrid Systems: Computation and Control | 2007-09-25 | Paper |
| Resources in process algebra | 2007-07-16 | Paper |
| Hybrid Systems: Computation and Control | 2007-05-02 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-05-02 | Paper |
| Compositional modeling and refinement for hierarchical hybrid systems | 2006-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5692739 | 2005-09-28 | Paper |
| Java-MaC: A run-time assurance approach for Java programs | 2004-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472251 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4448429 | 2004-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417942 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4953375 | 2002-09-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552455 | 2002-09-03 | Paper |
| Hiding resources that can fail: An axiomatic perspective | 2002-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536612 | 2002-06-25 | Paper |
| Distributed web-based simulation experiments for optimization | 2002-05-21 | Paper |
| Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP | 2002-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499182 | 2001-03-06 | Paper |
| A process algebra of communicating shared resources with dense time and priorities | 1998-06-30 | Paper |
| A complete axiomatization of finite-state ACSR processes | 1998-02-02 | Paper |
| A resource-based prioritized bisimulation for real-time systems | 1996-02-26 | Paper |
| Adding Time to Synchronous Process Communications | 1987-01-01 | Paper |
