| Publication | Date of Publication | Type |
|---|
T4V: exploring neural network architectures that improve the scalability of neural network verification
Lecture Notes in Computer Science | 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
IEEE Control Systems | 2022-01-10 | Paper |
Case study
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
Verisig
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
Continuous Estimation Using Context-Dependent Discrete Measurements
IEEE Transactions on Automatic Control | 2019-01-28 | 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 |
MC-Fluid: Multi-Core Fluid-Based Mixed-Criticality Scheduling
IEEE Transactions on Computers | 2018-06-27 | Paper |
A Verifiable Language for Programming Real-Time Communication Schedules
IEEE Transactions on Computers | 2018-06-12 | Paper |
Attack-Resilient State Estimation for Noisy Dynamical Systems
IEEE Transactions on Control of Network Systems | 2017-09-21 | 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 |
Generating Reliable Code from Hybrid-Systems Models
IEEE Transactions on Computers | 2017-07-27 | Paper |
Reputation-based networked control with data-corrupting channels
Proceedings of the 14th international conference on Hybrid systems: computation and control | 2017-05-16 | 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 |
State-based scheduling with tree schedules: analysis and evaluation
Real-Time Systems | 2012-07-30 | 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 |
Optimal virtual cluster-based multiprocessor scheduling
Real-Time Systems | 2009-11-27 | Paper |
Robust Test Generation and Coverage for Hybrid Systems
Hybrid Systems: Computation and Control | 2009-03-11 | Paper |
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
Lecture Notes in Computer Science | 2008-08-28 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-09-25 | 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 |
scientific article; zbMATH DE number 2209775 (Why is no real title available?)
| 2005-09-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 2044556 (Why is no real title available?)
| 2004-02-18 | Paper |
scientific article; zbMATH DE number 1956596 (Why is no real title available?)
| 2003-07-30 | 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 |
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 |
Distributed web-based simulation experiments for optimization
Simulation Modelling Practice and Theory | 2002-05-21 | Paper |
Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP
Science of Computer Programming | 2002-03-13 | Paper |
scientific article; zbMATH DE number 1497768 (Why is no real title available?)
| 2001-03-06 | Paper |
A process algebra of communicating shared resources with dense time and priorities
Theoretical Computer Science | 1998-06-30 | Paper |
A complete axiomatization of finite-state ACSR processes
Information and Computation | 1998-02-02 | Paper |
A resource-based prioritized bisimulation for real-time systems
Information and Computation | 1996-02-26 | Paper |
Adding Time to Synchronous Process Communications
IEEE Transactions on Computers | 1987-01-01 | Paper |
