| Publication | Date of Publication | Type |
|---|
| Long-run satisfaction of path properties | 2024-12-19 | Paper |
| Witnessing subsystems for probabilistic systems with low tree width | 2024-12-06 | Paper |
| Entropic risk for turn-based stochastic games | 2024-12-03 | Paper |
| Entropic risk for turn-based stochastic games | 2024-12-03 | Paper |
| Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - Artefact - PEVA | 2024-10-30 | Dataset |
| Mean-payoff optimization in continuous-time Markov chains with parametric alarms | 2024-09-08 | Paper |
| Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications | 2024-08-13 | Paper |
| Positivity-hardness results on Markov decision processes | 2024-07-03 | Paper |
| The variance-penalized stochastic shortest path problem | 2024-06-24 | Paper |
| Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - QEST 2024 Artefact | 2024-06-24 | Dataset |
| From LTL to unambiguous Büchi automata via disambiguation of alternating automata | 2024-03-14 | Paper |
| Foundations of probability-raising causality in Markov decision processes | 2024-03-11 | Paper |
| On probability-raising causality in Markov decision processes | 2024-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6134272 | 2023-08-21 | Paper |
| Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking | 2023-08-21 | Paper |
| On the foundations of cycles in Bayesian networks | 2023-08-10 | Paper |
| Operational causality -- necessarily sufficient and sufficiently necessary | 2023-07-26 | Paper |
| Markov chains and unambiguous automata | 2023-06-12 | Paper |
| Minimal Witnesses for Probabilistic Timed Automata | 2022-12-22 | Paper |
| Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs | 2022-11-09 | Paper |
| Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints | 2022-10-13 | Paper |
| Synthesis of Optimal Resilient Control Strategies | 2022-08-12 | Paper |
| Admissibility in Probabilistic Argumentation | 2022-08-02 | Paper |
| Probabilistic causes in Markov chains | 2022-06-22 | Paper |
| Determinization and limit-determinization of Emerson-Lei automata | 2022-06-22 | Paper |
| From LTL to unambiguous Büchi automata via disambiguation of alternating automata | 2022-06-20 | Paper |
| Model Checking Linear-Time Properties of Probabilistic Systems | 2022-04-28 | Paper |
| Causality-based game solving | 2022-03-25 | Paper |
| The 10,000 facets of MDP model checking | 2022-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384160 | 2021-12-14 | Paper |
| Modeling role-based systems with exogenous coordination | 2021-05-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5146511 | 2021-01-26 | Paper |
| Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes | 2021-01-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5137353 | 2020-12-02 | Paper |
| Maximizing the Conditional Expected Reward for Reaching the Goal | 2020-08-05 | Paper |
| Tooling, Data and Results for "Components in Probabilistic Systems: Suitable by Construction" | 2020-08-03 | Dataset |
| Generic Emptiness Check for Fun and Profit | 2020-07-20 | Paper |
| Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination | 2020-05-26 | Paper |
| On the probabilistic bisimulation spectrum with silent moves | 2020-05-26 | Paper |
| Partial and conditional expectations in Markov decision processes with integer weights | 2020-01-28 | Paper |
| Farkas certificates and minimal witnesses for probabilistic reachability constraints | 2019-10-23 | Paper |
| Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms | 2019-09-17 | Paper |
| Markov Chains and Unambiguous Büchi Automata | 2019-05-03 | Paper |
| Bisimulations, logics, and trace distributions for stochastic systems with rewards | 2018-12-06 | Paper |
| Model Checking Probabilistic Systems | 2018-07-20 | Paper |
| Trade-off analysis meets probabilistic model checking | 2018-04-23 | Paper |
| Weight monitoring with linear temporal logic | 2018-04-23 | Paper |
| Composition of Stochastic Transition Systems Based on Spans and Couplings | 2017-12-19 | Paper |
| Reasoning about cost-utility constraints in probabilistic models | 2017-10-27 | Paper |
| Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties | 2017-07-12 | Paper |
| Rare-event verification for stochastic hybrid systems | 2017-05-16 | Paper |
| Ratio and Weight Quantiles | 2015-09-16 | Paper |
| Quantitative Analysis of Communication Scenarios | 2015-09-14 | Paper |
| Bisimulation and Simulation Relations for Markov Chains | 2015-07-10 | Paper |
| Compositional construction of most general controllers | 2015-06-24 | Paper |
| Synthesis of Reo Circuits from Scenario-based Specifications | 2015-03-19 | Paper |
| Stochastic Timed Automata | 2015-01-15 | Paper |
| Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking | 2014-07-08 | Paper |
| Probabilistic Model Checking for Energy-Utility Analysis | 2014-06-02 | Paper |
| Synthesis of Reo Connectors for Strategies and Controllers | 2014-05-14 | Paper |
| Are Good-for-Games Automata Good for Probabilistic Model Checking? | 2014-03-31 | Paper |
| Probabilistic ω-automata | 2014-02-17 | Paper |
| Symbolic reasoning with weighted and normalized decision diagrams | 2013-10-07 | Paper |
| Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata | 2013-09-20 | Paper |
| Model checking for performability | 2013-08-26 | Paper |
| Computing Quantiles in Markov Reward Models | 2013-03-18 | Paper |
| Recurrence and transience for probabilistic automata | 2012-10-24 | Paper |
| Stochastic game logic | 2012-10-15 | Paper |
| Model checking probabilistic systems against pushdown specifications | 2012-07-20 | Paper |
| A Compositional Framework for Controller Synthesis | 2011-09-02 | Paper |
| Synthesis of Reo circuits from scenario-based interaction specifications | 2011-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086919 | 2011-03-30 | Paper |
| Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications | 2010-11-03 | Paper |
| Performability assessment by model checking of Markov reward models | 2010-05-05 | Paper |
| Alternating-time stream logic for multi-agent systems | 2010-04-29 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| A note on the attractor-property of infinite-state Markov chains | 2009-12-18 | Paper |
| Quantitative analysis under fairness constraints | 2009-12-01 | Paper |
| Formal Verification for Components and Connectors | 2009-10-28 | Paper |
| The Effect of Tossing Coins in Omega-Automata | 2009-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5322945 | 2009-07-23 | Paper |
| Symbolic model checking for channel-based component connectors | 2009-07-15 | Paper |
| When Are Timed Automata Determinizable? | 2009-07-14 | Paper |
| Probabilistic weak simulation is decidable in polynomial time | 2009-07-09 | Paper |
| Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness | 2009-03-11 | Paper |
| Technical informatics. An introduction to computability, complexity and formal languges with 101 examples | 2009-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3611942 | 2009-03-03 | Paper |
| Probabilistic Acceptors for Languages over Infinite Words | 2009-02-03 | Paper |
| On-the-Fly Stuttering in the Construction of Deterministic ω-Automata | 2008-06-10 | 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 |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-28 | Paper |
| Partial Order Reduction for Markov Decision Processes: A Survey | 2007-09-11 | Paper |
| Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic | 2007-01-09 | Paper |
| Implementation and Application of Automata | 2006-11-13 | Paper |
| Modeling component connectors in Reo by constraint automata | 2006-06-30 | Paper |
| On the verification of qualitative properties of probabilistic processes under fairness constraints. | 2006-01-17 | Paper |
| Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes | 2005-12-06 | Paper |
| Foundations of Genetic Algorithms | 2005-11-11 | Paper |
| Comparative branching-time semantics for Markov chains | 2005-09-02 | Paper |
| Simulating perfect channels with probabilistic lossy channels | 2005-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4673428 | 2005-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411090 | 2003-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484497 | 2003-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4551147 | 2002-09-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536611 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754096 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754196 | 2001-11-11 | Paper |
| Domain equations for probabilistic processes | 2001-08-21 | Paper |
| Metric semantics for true concurrent real time | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4508289 | 2001-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4485146 | 2000-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4270055 | 2000-04-25 | Paper |
| Deciding bisimilarity and similarity for probabilistic processes. | 2000-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4255551 | 1999-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4255552 | 1999-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222911 | 1998-12-21 | Paper |
| Trees and semantics | 1998-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4375632 | 1998-03-02 | Paper |
| The connection between initial and unique solutions of domain equations in the partial order and metric approach | 1998-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4341025 | 1997-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4353633 | 1997-09-10 | Paper |
| Metric semantics from partial order semantics | 1997-09-09 | Paper |
| Denotational linear time semantics and sequential composition | 1997-02-27 | Paper |
| Metric completion versus ideal completion | 1997-02-27 | Paper |
| Denotational semantics in the cpo and metric approach | 1995-04-06 | Paper |
| The connection between an event structure semantics and an operational semantics for TCSP | 1994-05-10 | Paper |
