| Publication | Date of Publication | Type |
|---|
| Testing probabilistic automata | 2023-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986501 | 2021-04-27 | Paper |
| A computable and compositional semantics for hybrid automata | 2021-01-25 | Paper |
| Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study | 2020-12-03 | Paper |
| Liveness in timed and untimed systems | 2019-04-29 | Paper |
| Modeling Objects Moving in a Complex Environment with World Automata | 2018-12-12 | Paper |
| Task-structured probabilistic I/O automata | 2018-04-18 | Paper |
| Proving time bounds for randomized distributed algorithms | 2017-09-29 | Paper |
| Formal verification of timed properties of randomized distributed algorithms | 2017-09-29 | Paper |
| Random Measurable Selections | 2014-06-02 | Paper |
| The Theory of Timed I/O Automata | 2011-06-21 | Paper |
| The Theory of Timed I/O Automata, Second Edition | 2011-05-20 | Paper |
| Probabilistic logical characterization | 2011-02-21 | Paper |
| Conditional Automata: A Tool for Safe Removal of Negligible Events | 2010-08-31 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| A quantitative doxastic logic for probabilistic processes and applications to information-hiding | 2010-03-10 | Paper |
| Analyzing security protocols using time-bounded task-PIOAs | 2009-05-29 | Paper |
| Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols | 2008-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3519383 | 2008-08-14 | Paper |
| Logical Characterizations of Bisimulations for Discrete Probabilistic Systems | 2007-09-07 | Paper |
| Probability and Nondeterminism in Operational Models of Concurrency | 2007-09-04 | Paper |
| Dynamic load balancing with group communication | 2007-01-09 | Paper |
| Switched PIOA: parallel composition via distributed scheduling | 2006-12-07 | Paper |
| Theoretical Aspects of Computing - ICTAC 2004 | 2005-11-30 | Paper |
| Foundations of Software Science and Computational Structures | 2005-11-10 | Paper |
| Hybrid I/O automata. | 2004-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484499 | 2003-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4798034 | 2003-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536598 | 2002-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4551150 | 2002-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552483 | 2002-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4547768 | 2002-08-21 | Paper |
| Automatic verification of real-time systems with discrete probability distributions. | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535031 | 2002-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4255549 | 1999-08-17 | Paper |
| Liveness in timed and untimed systems | 1998-11-10 | Paper |
| Quiescence, fairness, testing, and the notion of implementation | 1998-04-06 | Paper |
| A process algebraic view of input/output automata | 1997-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4847023 | 1996-05-28 | Paper |
