| Publication | Date of Publication | Type |
|---|
| Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction* | 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 | 2017-09-08 | Paper |
| Energy and mean-payoff timed games | 2017-05-16 | Paper |
| The complexity of synchronous notions of information flow security | 2016-05-02 | Paper |
| Verification of Concurrent Programs Using Trace Abstraction Refinement | 2016-01-12 | Paper |
| Control and synthesis of non-interferent timed systems | 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 | 2013-08-16 | Paper |
| The expressive power of time Petri nets | 2013-03-27 | Paper |
| Controllers with Minimal Observation Power (Application to Timed Systems) | 2012-11-21 | Paper |
| Synthesis of opaque systems with static and dynamic masks | 2012-09-27 | Paper |
| Timed modal logics for real-time systems. Specification, verification and control | 2011-06-30 | Paper |
| The Complexity of Codiagnosability for Discrete Event and Timed Systems | 2010-10-04 | Paper |
| The Complexity of Synchronous Notions of Information Flow Security | 2010-04-27 | Paper |
| Synthesis of Non-Interferent Timed Systems | 2009-12-01 | Paper |
| Dynamic Observers for the Synthesis of Opaque Systems | 2009-12-01 | Paper |
| Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study | 2009-04-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3602752 | 2009-02-12 | Paper |
| When are timed automata weakly timed bisimilar to time Petri nets? | 2008-09-16 | Paper |
| Symbolic Unfoldings for Networks of Timed Automata | 2008-09-04 | Paper |
| Efficient On-the-Fly Algorithms for Partially Observable Timed Games | 2008-07-03 | Paper |
| Timed Control with Observation Based and Stuttering Invariant Strategies | 2008-07-03 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-11-14 | Paper |
| FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science | 2006-11-14 | Paper |
| CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
| CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
| Automated Technology for Verification and Analysis | 2006-10-10 | Paper |
| FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science | 2005-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4654267 | 2005-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817052 | 2004-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3044342 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738470 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736580 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536599 | 2002-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754097 | 2001-11-11 | Paper |
| Application of partial-order methods to reactive programs with event memorization | 2001-10-14 | Paper |
| Hybrid verifications of reactive programs | 2000-05-07 | Paper |
| Compilation of the ELECTRE reactive language into finite transition systems | 1997-02-28 | Paper |
