| Publication | Date of Publication | Type |
|---|
| Distributionally robust statistical verification with imprecise neural networks | 2025-11-07 | Paper |
T4V: exploring neural network architectures that improve the scalability of neural network verification
Lecture Notes in Computer Science | 2023-08-10 | Paper |
Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators
IEEE Control Systems | 2022-01-10 | Paper |
Parameter invariant monitoring for signal temporal logic
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) | 2018-12-06 | Paper |
Co-Design of Arbitrated Network Control Systems With Overrun Strategies
IEEE Transactions on Control of Network Systems | 2018-12-04 | Paper |
A Verifiable Language for Programming Real-Time Communication Schedules
IEEE Transactions on Computers | 2018-06-12 | Paper |
A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems
Journal of Logical and Algebraic Methods in Programming | 2017-09-12 | Paper |
A family of resource-bound real-time process algebras
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Resilient parameter-invariant control with application to vehicle cruise control
Control of Cyber-Physical Systems | 2014-10-16 | Paper |
PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling
Theoretical Computer Science | 2012-03-13 | Paper |
Permission to speak: a logic for access control and conformance
The Journal of Logic and Algebraic Programming | 2011-01-07 | Paper |
A process algebraic framework for modeling resource demand and supply
Lecture Notes in Computer Science | 2010-09-10 | Paper |
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
Lecture Notes in Computer Science | 2008-08-28 | Paper |
Resources in process algebra
The Journal of Logic and Algebraic Programming | 2007-07-16 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Compositional modeling and refinement for hierarchical hybrid systems
The Journal of Logic and Algebraic Programming | 2006-04-28 | Paper |
Java-MaC: A run-time assurance approach for Java programs
Formal Methods in System Design | 2004-09-09 | Paper |
| scientific article; zbMATH DE number 2080058 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2033295 (Why is no real title available?) | 2004-01-27 | Paper |
| scientific article; zbMATH DE number 1956596 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1955876 (Why is no real title available?) | 2003-07-29 | Paper |
| scientific article; zbMATH DE number 1794359 (Why is no real title available?) | 2002-09-03 | Paper |
Hiding resources that can fail: An axiomatic perspective
Information Processing Letters | 2002-07-25 | Paper |
| scientific article; zbMATH DE number 1759621 (Why is no real title available?) | 2002-06-25 | Paper |
Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP
Science of Computer Programming | 2002-03-13 | Paper |
| Equivalence and preorder checking for finite-state systems | 2001-12-18 | Paper |
| scientific article; zbMATH DE number 1497768 (Why is no real title available?) | 2001-03-06 | Paper |
