| Publication | Date of Publication | Type |
|---|
| Extensible Proof Systems for Infinite-State Systems | 2024-02-21 | Paper |
| Better automata through process algebra | 2023-07-26 | Paper |
| An algebraic theory of multiple clocks | 2023-05-17 | Paper |
| Resilience to denial-of-service and integrity attacks: a structured systems approach | 2022-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5014799 | 2021-12-08 | Paper |
| Generating diagnostic information for behavioral preorders | 2020-11-30 | Paper |
| Notions of Centralized and Decentralized Opacity in Linear Systems | 2020-10-07 | Paper |
| Testing preorders for probabilistic processes | 2019-12-04 | Paper |
| Corrections to “A Menagerie of Timed Automata” | 2019-08-09 | Paper |
| Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans | 2019-06-18 | Paper |
| Process Algebra and Model Checking | 2018-07-20 | Paper |
| The Power of Proofs: New Algorithms for Timed Automata Model Checking | 2015-08-06 | Paper |
| A menagerie of timed automata | 2015-03-02 | Paper |
| Generalized Synchronization Trees | 2014-04-16 | Paper |
| An Instrumentation-Based Approach to Controller Validation | 2010-06-02 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| An Integrated Framework for Scenarios and State Machines | 2007-11-29 | Paper |
| Probabilistic I/O Automata: Theories of Two Equivalences | 2007-09-04 | Paper |
| Formal Techniques for Networked and Distributed Systems - FORTE 2005 | 2006-07-07 | Paper |
| Probabilistic temporal logics via the modal mu-calculus | 2005-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472454 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417945 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4804916 | 2003-05-01 | Paper |
| Testing preorders for probabilistic processes. | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4551132 | 2002-09-04 | Paper |
| Hiding resources that can fail: An axiomatic perspective | 2002-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536610 | 2002-06-25 | Paper |
| Generic tools for verifying concurrent systems | 2002-06-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2771063 | 2002-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2760243 | 2001-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499172 | 2001-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4260713 | 1999-09-01 | Paper |
| Pragmatics of model checking: An STTT special section | 1999-01-01 | Paper |
| Local model checking and protocol analysis | 1999-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4763314 | 1995-04-11 | Paper |
| A linear-time model-checking algorithm for the alternation-free modal mu- calculus | 1993-08-17 | Paper |
| Testing equivalence as a bisimulation equivalence | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4036558 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037118 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4037401 | 1993-05-18 | Paper |
| Priorities in process algebras | 1990-01-01 | Paper |
| Tableau-based model checking in the propositional mu-calculus | 1990-01-01 | Paper |
| Type theory and concurrency | 1988-01-01 | Paper |
