| Publication | Date of Publication | Type |
|---|
| Decoupled fitness criteria for reactive systems | 2024-06-05 | Paper |
scientific article; zbMATH DE number 7832767 (Why is no real title available?)
(available as arXiv preprint) | 2024-04-15 | Paper |
On tolerance of discrete systems with respect to transition perturbations
Discrete Event Dynamic Systems | 2024-03-25 | Paper |
Automated synthesis of secure platform mappings
Computer Aided Verification | 2024-02-16 | Paper |
| Safe environmental envelopes of discrete systems | 2024-02-01 | Paper |
| scientific article; zbMATH DE number 7774312 (Why is no real title available?) | 2023-12-08 | Paper |
Metrics and methods for robustness evaluation of neural networks with generative models
Machine Learning | 2023-10-24 | Paper |
Compositional runtime enforcement revisited
Formal Methods in System Design | 2023-06-29 | Paper |
Counterexample classification
Software Engineering and Formal Methods | 2023-05-26 | Paper |
On neural network equivalence checking using SMT solvers
(available as arXiv preprint) | 2023-01-18 | Paper |
The refinement calculus of reactive systems
Information and Computation | 2022-06-08 | Paper |
Mechanically proving determinacy of hierarchical block diagram translations
(available as arXiv preprint) | 2020-01-23 | Paper |
Learning Moore machines from input-output traces
(available as arXiv preprint) | 2020-01-03 | Paper |
Modeling for Verification
Handbook of Model Checking | 2018-07-20 | Paper |
Implementing Synchronous Models on Loosely Time Triggered Architectures
IEEE Transactions on Computers | 2018-06-12 | Paper |
Towards compositional feedback in non-deterministic and non-input-receptive systems
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Supervisory control and reactive synthesis: a comparative introduction
Discrete Event Dynamic Systems | 2018-01-31 | Paper |
Predictive runtime enforcement
Formal Methods in System Design | 2017-09-08 | Paper |
Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
IEEE Transactions on Automatic Control | 2017-07-12 | Paper |
Requirements for hybrid cosimulation standards
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
The earlier the better: a theory of timed actor interfaces
Proceedings of the 14th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Checking timed Büchi automata emptiness on simulation graphs
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Modular code generation from synchronous block diagrams: modularity vs. code size
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-07-03 | Paper |
Feedback in synchronous relational interfaces
From Programs to Systems. The Systems perspective in Computing | 2014-07-24 | Paper |
A modular formal semantics for Ptolemy
MSCS. Mathematical Structures in Computer Science | 2013-08-26 | Paper |
On the verification of timed discrete-event models
Lecture Notes in Computer Science | 2013-08-16 | Paper |
Verifying hierarchical Ptolemy II discrete-event models using real-time maude
Science of Computer Programming | 2013-06-06 | Paper |
Fault diagnosis for timed automata
Lecture Notes in Computer Science | 2011-04-08 | Paper |
Folk theorems on the determinization and minimization of timed automata
Information Processing Letters | 2010-01-29 | Paper |
Conformance testing for real-time systems
Formal Methods in System Design | 2009-09-25 | Paper |
Undecidable problems of decentralized observation and control on regular languages
Information Processing Letters | 2009-07-21 | Paper |
Actors without Directors: A Kahnian View of Heterogeneous Systems
Hybrid Systems: Computation and Control | 2009-04-30 | Paper |
| Fault diagnosis with static and dynamic observers | 2009-02-12 | Paper |
Automatic generation of path conditions for concurrent timed systems
Theoretical Computer Science | 2008-10-07 | Paper |
Interesting Properties of the Real-Time Conformance Relation tioco
Lecture Notes in Computer Science | 2008-09-11 | Paper |
Generating Path Conditions for Timed Systems
Lecture Notes in Computer Science | 2007-11-29 | Paper |
Model Checking Software
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Checking timed Büchi automata emptiness efficiently
Formal Methods in System Design | 2006-02-20 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Lecture Notes in Computer Science | 2005-08-19 | Paper |
Algorithms for the Multi-constrained Routing Problem
Algorithm Theory — SWAT 2002 | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2017355 (Why is no real title available?) | 2003-12-14 | Paper |
| scientific article; zbMATH DE number 2017346 (Why is no real title available?) | 2003-12-14 | Paper |
| scientific article; zbMATH DE number 1956592 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1820086 (Why is no real title available?) | 2002-01-01 | Paper |
Analysis of timed systems using time-abstracting bisimulations
Formal Methods in System Design | 2001-10-30 | Paper |
| scientific article; zbMATH DE number 1507207 (Why is no real title available?) | 2000-12-06 | Paper |
| scientific article; zbMATH DE number 1444343 (Why is no real title available?) | 2000-06-22 | Paper |
| scientific article; zbMATH DE number 1487476 (Why is no real title available?) | 1999-01-01 | Paper |
