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 |