| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6128560 | 2024-04-15 | Paper |
| Brief Announcement: Holistic Verification of Blockchain Consensus | 2024-03-26 | Paper |
| CONCUR Test-Of-Time Award 2021 (Invited Paper) | 2023-08-21 | Paper |
| Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms | 2023-08-21 | Paper |
| Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking | 2023-08-21 | Paper |
| Synchronizing words under \textsf{LTL} constraints | 2023-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875394 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875665 | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089158 | 2022-07-18 | Paper |
| A reduction theorem for randomized distributed algorithms under weak adversaries | 2021-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4992528 | 2021-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5856427 | 2021-03-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5146511 | 2021-01-26 | Paper |
| Diagnosis and degradation control for probabilistic systems | 2021-01-22 | Paper |
| Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes | 2021-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111624 | 2020-05-27 | Paper |
| On the Decidability Status of Reachability and Coverability in Graph Transformation Systems | 2020-05-27 | Paper |
| A tale of two diagnoses in probabilistic systems | 2019-12-18 | Paper |
| Parameterized verification of synchronization in constrained reconfigurable broadcast networks | 2019-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5227518 | 2019-08-06 | Paper |
| When are stochastic transition systems tameable? | 2018-06-27 | Paper |
| Qualitative Determinacy and Decidability of Stochastic Games with Signals | 2018-05-17 | Paper |
| Diagnosis in Infinite-State Probabilistic Systems | 2018-03-21 | Paper |
| Analysing Decisive Stochastic Processes | 2017-12-19 | Paper |
| Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes | 2017-10-09 | Paper |
| Distributed local strategies in broadcast networks | 2017-09-12 | Paper |
| Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties | 2017-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2978532 | 2017-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2963938 | 2017-02-21 | Paper |
| Accurate Approximate Diagnosability of Stochastic Systems | 2016-04-13 | Paper |
| Use of 3D classified topographic data with FullSWOF for high resolution simulation of a river flood event over a dense urban area | 2016-03-24 | Paper |
| Uncertainty related to high resolution topographic data use for flood event modeling over urban areas: toward a sensitivity analysis approach | 2016-02-10 | Paper |
| A game approach to determinize timed automata | 2015-03-24 | Paper |
| Stochastic Timed Automata | 2015-01-15 | Paper |
| Active Diagnosis for Probabilistic Systems | 2014-04-16 | Paper |
| Playing with Probabilities in Reconfigurable Broadcast Networks | 2014-04-16 | Paper |
| Probabilistic ω-automata | 2014-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2852063 | 2013-10-07 | Paper |
| Modal event-clock specifications for timed component-based design | 2013-06-06 | Paper |
| Bounded Satisfiability for PCTL | 2012-11-22 | Paper |
| Playing Optimally on Timed Automata with Random Delays | 2012-11-21 | Paper |
| Off-line test selection with test purposes for non-deterministic timed automata | 2012-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2911642 | 2012-08-31 | Paper |
| Emptiness and Universality Problems in Timed Automata with Positive Frequency | 2011-07-07 | Paper |
| A Game Approach to Determinize Timed Automata | 2011-05-19 | Paper |
| Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata | 2011-05-19 | Paper |
| A note on the attractor-property of infinite-state Markov chains | 2009-12-18 | Paper |
| The Effect of Tossing Coins in Omega-Automata | 2009-10-22 | Paper |
| When Are Timed Automata Determinizable? | 2009-07-14 | Paper |
| Refinement and Consistency of Timed Modal Specifications | 2009-04-02 | Paper |
| Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness | 2009-03-11 | Paper |
| Probabilistic Acceptors for Languages over Infinite Words | 2009-02-03 | Paper |
| On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems | 2008-05-27 | Paper |
| Probabilistic and Topological Semantics for Timed Automata | 2008-04-24 | Paper |
| On Decision Problems for Probabilistic Büchi Automata | 2008-04-11 | Paper |
| Verification of probabilistic systems with faulty communication | 2005-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4659582 | 2005-03-21 | Paper |
| Identifying and locating-dominating codes on chains and cycles | 2004-10-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417855 | 2003-07-30 | Paper |
