| Publication | Date of Publication | Type |
|---|
| Interval Markov decision processes with multiple objectives: from robust strategies to Pareto curves | 2024-09-08 | Paper |
| A modest approach to Markov automata | 2024-08-08 | Paper |
| Matching distributions under structural constraints | 2024-05-29 | Paper |
| A Modest Approach to Modelling and Checking Markov Automata | 2024-03-14 | Paper |
| A modest Markov automata tutorial | 2024-03-14 | Paper |
| Component-aware input-output conformance | 2024-02-06 | Paper |
| On the foundations of cycles in Bayesian networks | 2023-08-10 | Paper |
| Continuous-time Markov decisions based on partial exploration | 2023-07-28 | Paper |
| Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs | 2022-11-04 | Paper |
| Deep Statistical Model Checking | 2022-10-13 | Paper |
| Admissibility in Probabilistic Argumentation | 2022-08-02 | Paper |
| CONCUR Test-of-time award 2020 announcement | 2022-07-18 | Paper |
| The 10,000 facets of MDP model checking | 2022-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5028468 | 2022-02-09 | Paper |
| What do we want from explainable artificial intelligence (XAI)? -- a stakeholder perspective on XAI and a conceptual model guiding interdisciplinary XAI research | 2021-11-02 | Paper |
| Long-Run Rewards for Markov Automata | 2020-08-05 | Paper |
| Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison | 2020-06-26 | Paper |
| On the probabilistic bisimulation spectrum with silent moves | 2020-05-26 | Paper |
| Syntactic partial order compression for probabilistic reachability | 2020-01-23 | Paper |
| Probabilistic Bisimulation for Realistic Schedulers | 2019-12-19 | Paper |
| Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes | 2019-09-17 | Paper |
| Probabilistic \(\mathrm{CTL}^*\): the deductive way | 2019-09-17 | Paper |
| Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions | 2019-07-04 | Paper |
| The quest for minimal quotients for probabilistic and Markov automata | 2018-09-27 | Paper |
| Probabilistic bisimulation for realistic schedulers | 2018-09-06 | Paper |
| Exploiting robust optimization for interval probabilistic bisimulation | 2018-01-11 | Paper |
| Cost vs. time in stochastic games and Markov automata | 2017-09-08 | Paper |
| Cost vs. Time in Stochastic Games and Markov Automata | 2017-08-31 | Paper |
| Is Your Software on Dope? | 2017-05-19 | Paper |
| Measurability and safety verification for stochastic hybrid systems | 2017-05-16 | Paper |
| Rewarding probabilistic hybrid automata | 2017-05-16 | Paper |
| Verification of Open Interactive Markov Chains | 2017-01-26 | Paper |
| Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time | 2017-01-26 | Paper |
| Probabilistic termination: soundness, completeness, and compositionality | 2016-09-29 | Paper |
| Distributed Synthesis in Continuous Time | 2016-06-10 | Paper |
| Deciding probabilistic automata weak bisimulation: theory and practice | 2016-05-12 | Paper |
| Compositional Bisimulation Minimization for Interval Markov Decision Processes | 2016-04-13 | Paper |
| Reward-Bounded Reachability Probability for Uncertain Weighted MDPs | 2016-03-23 | Paper |
| Schedulers are no Prophets | 2016-03-23 | Paper |
| Optimal Continuous Time Markov Decisions | 2016-01-08 | Paper |
| Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage | 2016-01-08 | Paper |
| Improving Time Bounded Reachability Computations in Interactive Markov Chains | 2015-09-30 | Paper |
| Polynomial time decision algorithms for probabilistic automata | 2015-09-28 | Paper |
| YMCA | 2015-07-10 | Paper |
| Bisimulation and Simulation Relations for Markov Chains | 2015-07-10 | Paper |
| Abstraction-Based Computation of Reward Measures for Markov Automata | 2015-02-04 | Paper |
| Cost Preserving Bisimulations for Probabilistic Automata | 2015-01-15 | Paper |
| Analysis of timed and long-run objectives for Markov automata | 2014-09-30 | Paper |
| Probabilistic Bisimulation: Naturally on Distributions | 2014-09-15 | Paper |
| A compositional modelling and analysis framework for stochastic hybrid systems | 2014-06-30 | Paper |
| Deciding Bisimilarities on Distributions | 2014-05-12 | Paper |
| Safety verification for probabilistic hybrid systems | 2014-01-21 | Paper |
| Model checking for performability | 2013-08-26 | Paper |
| Cost Preserving Bisimulations for Probabilistic Automata | 2013-08-12 | Paper |
| Compositional Verification and Optimization of Interactive Markov Chains | 2013-08-12 | Paper |
| The Quest for Minimal Quotients for Probabilistic Automata | 2013-08-05 | Paper |
| A Semantics for Every GSPN | 2013-06-28 | Paper |
| Bounding the equilibrium distribution of Markov population models | 2012-12-19 | Paper |
| Variable Probabilistic Abstraction Refinement | 2012-11-21 | Paper |
| Efficient CSL model checking using stratification | 2012-08-15 | Paper |
| Automata-Based CSL Model Checking | 2011-07-07 | Paper |
| A Probabilistic Extension of UML Statecharts | 2011-04-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086919 | 2011-03-30 | Paper |
| Probabilistic logical characterization | 2011-02-21 | Paper |
| The How and Why of Interactive Markov Chains | 2011-01-08 | Paper |
| Superposition-Based Analysis of First-Order Probabilistic Timed Automata | 2010-10-12 | Paper |
| Concurrency and Composition in a Stochastic World | 2010-08-31 | Paper |
| Performability assessment by model checking of Markov reward models | 2010-05-05 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains | 2010-02-05 | Paper |
| Probabilistic weak simulation is decidable in polynomial time | 2009-07-09 | Paper |
| Towards Performance Prediction of Compositional Models in Industrial GALS Designs | 2009-06-30 | Paper |
| Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations | 2009-04-29 | Paper |
| Optimal state-space lumping in Markov chains | 2009-04-28 | Paper |
| Teaching Concurrency Concepts to Freshmen | 2009-02-03 | Paper |
| On the Minimisation of Acyclic Models | 2008-11-25 | Paper |
| Sigref – A Symbolic Bisimulation Tool Box | 2008-09-04 | Paper |
| Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems | 2008-09-02 | Paper |
| Probabilistic CEGAR | 2008-07-15 | Paper |
| Deciding Simulations on Probabilistic Automata | 2008-07-03 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-28 | Paper |
| Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations | 2007-09-03 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-11-14 | Paper |
| Formal Methods for the Design of Real-Time Systems | 2006-10-19 | Paper |
| Formal Techniques for Networked and Distributed Systems - FORTE 2005 | 2006-07-07 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-01-10 | Paper |
| Axiomatising divergence | 2006-01-10 | Paper |
| Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes | 2005-12-06 | Paper |
| Comparative branching-time semantics for Markov chains | 2005-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4665739 | 2005-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808842 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737191 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471933 | 2004-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417943 | 2003-07-30 | 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/Q4798036 | 2003-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4798032 | 2003-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791266 | 2003-02-06 | Paper |
| Interactive Markov chains. And the quest for quantified quality | 2002-11-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4547767 | 2002-08-21 | Paper |
| Process algebra for performance evaluation | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754096 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754196 | 2001-11-11 | Paper |
| Construction and verification of performance and reliability models | 2001-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518904 | 2000-12-03 | Paper |
| Automated compositional Markov chain generation for a plain-old telephone system | 2000-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4270055 | 2000-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4936893 | 2000-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4255553 | 1999-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251917 | 1999-06-17 | Paper |
