| Publication | Date of Publication | Type |
|---|
Verification and parameter synthesis for real-time programs using refinement of trace abstraction
Fundamenta Informaticae | 2021-05-21 | Paper |
| Refinement of trace abstraction for real-time programs | 2017-12-20 | Paper |
The Complexity of Codiagnosability for Discrete Event and Timed Systems
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Energy and mean-payoff timed games
Proceedings of the 17th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
The complexity of synchronous notions of information flow security
Theoretical Computer Science | 2016-05-02 | Paper |
Verification of concurrent programs using trace abstraction refinement
Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
Control and synthesis of non-interferent timed systems
International Journal of Control | 2015-07-29 | Paper |
| Structural translation from time Petri nets to timed automata | 2013-09-26 | Paper |
| Synthesis of optimal strategies using \textsc{HyTech} | 2013-09-20 | Paper |
Predictability of event occurrences in timed systems
Lecture Notes in Computer Science | 2013-08-16 | Paper |
The expressive power of time Petri nets
Theoretical Computer Science | 2013-03-27 | Paper |
Controllers with minimal observation power (application to timed systems)
Automated Technology for Verification and Analysis | 2012-11-21 | Paper |
Synthesis of opaque systems with static and dynamic masks
Formal Methods in System Design | 2012-09-27 | Paper |
Timed modal logics for real-time systems. Specification, verification and control
Journal of Logic, Language and Information | 2011-06-30 | Paper |
The complexity of codiagnosability for discrete event and timed systems
Automated Technology for Verification and Analysis | 2010-10-04 | Paper |
The complexity of synchronous notions of information flow security
Foundations of Software Science and Computational Structures | 2010-04-27 | Paper |
Dynamic Observers for the Synthesis of Opaque Systems
Automated Technology for Verification and Analysis | 2009-12-01 | Paper |
Synthesis of Non-Interferent Timed Systems
Lecture Notes in Computer Science | 2009-12-01 | Paper |
Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study
Hybrid Systems: Computation and Control | 2009-04-30 | Paper |
| Fault diagnosis with static and dynamic observers | 2009-02-12 | Paper |
When are timed automata weakly timed bisimilar to time Petri nets?
Theoretical Computer Science | 2008-09-16 | Paper |
Symbolic Unfoldings for Networks of Timed Automata
Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
Timed Control with Observation Based and Stuttering Invariant Strategies
Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
Efficient On-the-Fly Algorithms for Partially Observable Timed Games
Lecture Notes in Computer Science | 2008-07-03 | Paper |
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-11-14 | Paper |
CONCUR 2005 – Concurrency Theory
Lecture Notes in Computer Science | 2006-11-01 | Paper |
CONCUR 2005 – Concurrency Theory
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-10 | Paper |
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2005-08-12 | Paper |
| scientific article; zbMATH DE number 2140431 (Why is no real title available?) | 2005-03-03 | Paper |
| scientific article; zbMATH DE number 2100580 (Why is no real title available?) | 2004-09-14 | Paper |
| scientific article; zbMATH DE number 2086244 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2087623 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2085321 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 1759608 (Why is no real title available?) | 2002-11-28 | Paper |
| scientific article; zbMATH DE number 1670789 (Why is no real title available?) | 2001-11-11 | Paper |
Application of partial-order methods to reactive programs with event memorization
Real-Time Systems | 2001-10-14 | Paper |
Hybrid verifications of reactive programs
Formal Aspects of Computing | 2000-05-07 | Paper |
Compilation of the ELECTRE reactive language into finite transition systems
Theoretical Computer Science | 1997-02-28 | Paper |
