| Publication | Date of Publication | Type |
|---|
| CONCUR Test-Of-Time Award 2021 (Invited Paper) | 2023-08-21 | Paper |
| Temporal logics for the specification of performance and reliability | 2022-11-09 | Paper |
| Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification | 2022-11-09 | Paper |
| Verification in continuous time by discrete reasoning | 2022-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4633826 | 2019-05-06 | Paper |
| Model Checking Probabilistic Systems | 2018-07-20 | Paper |
| Model checking of probabilistic and nondeterministic systems | 2017-01-19 | Paper |
| Qualitative concurrent parity games | 2015-09-17 | Paper |
| Quantitative solution of omega-regular games380872 | 2015-02-27 | Paper |
| Code aware resource management | 2014-06-30 | Paper |
| The complexity of coverage | 2013-07-30 | Paper |
| Strategy improvement for concurrent reachability and turn-based stochastic safety games | 2013-07-24 | Paper |
| Algorithms for Game Metrics | 2012-10-19 | Paper |
| Algorithms for game metrics | 2010-09-21 | Paper |
| The complexity of quantitative concurrent parity games | 2010-08-16 | Paper |
| Solving games via three-valued abstraction refinement | 2010-06-25 | Paper |
| The element of surprise in timed games. | 2010-03-30 | Paper |
| Quantitative verification and control via the mu-calculus. | 2010-03-30 | Paper |
| Game models for open systems | 2010-03-23 | Paper |
| Qualitative Logics and Equivalences for Probabilistic Systems | 2009-06-30 | Paper |
| The Symbolic Approach to Repeated Games (Abstract) | 2009-03-05 | Paper |
| Game Refinement Relations and Metrics | 2008-11-13 | Paper |
| Solving Games Via Three-Valued Abstraction Refinement | 2008-09-18 | Paper |
| Stochastic Games with Lossy Channels | 2008-04-11 | Paper |
| Concurrent reachability games | 2007-12-19 | Paper |
| Magnifying-Lens Abstraction for Markov Decision Processes | 2007-11-29 | Paper |
| An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games | 2007-11-29 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-28 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-11-14 | Paper |
| Frontiers of Combining Systems | 2006-10-10 | Paper |
| Automata, Languages and Programming | 2006-01-10 | Paper |
| Model checking discounted temporal properties | 2005-12-06 | Paper |
| Automata, Languages and Programming | 2005-08-24 | Paper |
| Quantitative solution of omega-regular games | 2004-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473719 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449238 | 2004-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449239 | 2004-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4439564 | 2003-12-14 | Paper |
| Synchronous and Bidirectional Component Interfaces | 2003-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804914 | 2003-05-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791844 | 2003-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791855 | 2003-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791854 | 2003-02-03 | Paper |
| Hybrid diagrams | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536620 | 2002-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4553259 | 2002-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754083 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4270052 | 1999-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4270053 | 1999-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4255554 | 1999-08-17 | Paper |
