| Publication | Date of Publication | Type |
|---|
| Concurrent reachability games | 2025-10-29 | Paper |
| CONCUR Test-Of-Time Award 2021 (Invited Paper) | 2023-08-21 | Paper |
Temporal logics for the specification of performance and reliability
Lecture Notes in Computer Science | 2022-11-09 | Paper |
Hybrid diagrams: a deductive-algorithmic approach to hybrid system verification
Lecture Notes in Computer Science | 2022-11-09 | Paper |
Verification in continuous time by discrete reasoning
Algebraic Methodology and Software Technology | 2022-08-16 | Paper |
| Termination criteria for solving concurrent safety and reachability games | 2019-05-06 | Paper |
Model checking probabilistic systems
Handbook of Model Checking | 2018-07-20 | Paper |
Model checking of probabilistic and nondeterministic systems
Lecture Notes in Computer Science | 2017-01-19 | Paper |
Qualitative concurrent parity games
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Quantitative solution of -regular games
Proceedings of the thirty-third annual ACM symposium on Theory of computing | 2015-02-27 | Paper |
Code aware resource management
Formal Methods in System Design | 2014-06-30 | Paper |
The complexity of coverage
International Journal of Foundations of Computer Science | 2013-07-30 | Paper |
Strategy improvement for concurrent reachability and turn-based stochastic safety games
Journal of Computer and System Sciences | 2013-07-24 | Paper |
| Algorithms for Game Metrics | 2012-10-19 | Paper |
Algorithms for game metrics
Logical Methods in Computer Science | 2010-09-21 | Paper |
The complexity of quantitative concurrent parity games
Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm - SODA '06 | 2010-08-16 | Paper |
Solving games via three-valued abstraction refinement
Information and Computation | 2010-06-25 | Paper |
The element of surprise in timed games.
Lecture Notes in Computer Science | 2010-03-30 | Paper |
Quantitative verification and control via the mu-calculus.
Lecture Notes in Computer Science | 2010-03-30 | Paper |
Game models for open systems
Lecture Notes in Computer Science | 2010-03-23 | Paper |
Qualitative Logics and Equivalences for Probabilistic Systems
Logical Methods in Computer Science | 2009-06-30 | Paper |
The Symbolic Approach to Repeated Games (Abstract)
Computer Science Logic | 2009-03-05 | Paper |
Game Refinement Relations and Metrics
Logical Methods in Computer Science | 2008-11-13 | Paper |
Solving Games Via Three-Valued Abstraction Refinement
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
Stochastic Games with Lossy Channels
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Concurrent reachability games
Theoretical Computer Science | 2007-12-19 | Paper |
Magnifying-Lens Abstraction for Markov Decision Processes
Computer Aided Verification | 2007-11-29 | Paper |
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
Computer Aided Verification | 2007-11-29 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
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 |
Frontiers of Combining Systems
Lecture Notes in Computer Science | 2006-10-10 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Model checking discounted temporal properties
Theoretical Computer Science | 2005-12-06 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2005-08-24 | Paper |
Quantitative solution of omega-regular games
Journal of Computer and System Sciences | 2004-11-22 | Paper |
| scientific article; zbMATH DE number 2080757 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2038773 (Why is no real title available?) | 2004-02-08 | Paper |
| scientific article; zbMATH DE number 2038772 (Why is no real title available?) | 2004-02-08 | Paper |
| scientific article; zbMATH DE number 2017345 (Why is no real title available?) | 2003-12-14 | Paper |
| scientific article; zbMATH DE number 1903369 (Why is no real title available?) | 2003-05-01 | Paper |
Synchronous and Bidirectional Component Interfaces
Computer Aided Verification | 2003-05-01 | Paper |
| scientific article; zbMATH DE number 1863184 (Why is no real title available?) | 2003-02-03 | Paper |
| scientific article; zbMATH DE number 1863183 (Why is no real title available?) | 2003-02-03 | Paper |
| scientific article; zbMATH DE number 1863173 (Why is no real title available?) | 2003-02-03 | Paper |
Hybrid diagrams
Theoretical Computer Science | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 1759629 (Why is no real title available?) | 2002-11-28 | Paper |
| scientific article; zbMATH DE number 1798186 (Why is no real title available?) | 2002-11-04 | Paper |
| scientific article; zbMATH DE number 1670777 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1361119 (Why is no real title available?) | 1999-11-10 | Paper |
| scientific article; zbMATH DE number 1361118 (Why is no real title available?) | 1999-11-10 | Paper |
| scientific article; zbMATH DE number 1324655 (Why is no real title available?) | 1999-08-17 | Paper |
