| Publication | Date of Publication | Type |
|---|
| Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games | 2024-10-08 | Paper |
| Probabilistic reach-avoid for Bayesian neural networks | 2024-08-26 | Paper |
| Probabilistic model checking for strategic equilibria-based decision making: advances and challenges (invited talk) | 2024-08-06 | Paper |
| Equilibria-based probabilistic model checking for concurrent stochastic games | 2024-03-14 | Paper |
| Verification and Control of Turn-Based Probabilistic Real-Time Games | 2024-03-14 | Paper |
| Correlated equilibria and fairness in concurrent stochastic games | 2024-02-01 | Paper |
| Chemical reaction network designs for asynchronous logic circuits | 2023-11-30 | Paper |
| Programming discrete distributions with chemical reaction networks | 2023-11-30 | Paper |
| Trade-offs in true concurrency: Pomsets and mazurkiewicz traces | 2023-08-16 | Paper |
| Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper). | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5053308 | 2022-12-06 | Paper |
| Syntax-guided optimal synthesis for chemical reaction networks | 2022-08-12 | Paper |
| PID Control of Biochemical Reaction Networks | 2022-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4992525 | 2021-06-09 | Paper |
| Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes | 2021-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5137353 | 2020-12-02 | Paper |
| Reasoning about Cognitive Trust in Stochastic Multiagent Systems | 2019-11-22 | Paper |
| Central Limit Model Checking | 2019-11-22 | Paper |
| Efficiency through uncertainty | 2019-10-22 | Paper |
| Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives | 2019-09-17 | Paper |
| DNA walker circuits: computational potential, design, and verification | 2019-07-08 | Paper |
| Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques | 2019-05-21 | Paper |
| Approximate policy iteration for Markov decision processes via quantitative adaptive aggregations | 2018-10-25 | Paper |
| Experimental biological protocols with formal semantics | 2018-10-17 | Paper |
| Model Checking Probabilistic Systems | 2018-07-20 | Paper |
| Compositional strategy synthesis for stochastic games with multiple objectives | 2018-06-14 | Paper |
| Parameter synthesis for probabilistic timed automata using stochastic game abstractions | 2018-06-05 | Paper |
| A specification theory of real-time processes | 2018-03-26 | Paper |
| A stochastic hybrid approximation for chemical kinetics based on the linear noise approximation | 2018-03-22 | Paper |
| Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks | 2018-03-01 | Paper |
| Uniform sampling for timed automata with application to language inclusion measurement | 2018-01-11 | Paper |
| Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation | 2018-01-11 | Paper |
| Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice (Invited Talk) | 2017-12-19 | Paper |
| Precise parameter synthesis for stochastic biochemical systems | 2017-10-09 | Paper |
| Reachability Computation for Switching Diffusions | 2017-07-11 | Paper |
| Computing Cumulative Rewards Using Fast Adaptive Uniformization | 2017-06-30 | Paper |
| Cognitive Reasoning and Trust in Human-Robot Interactions | 2017-05-19 | Paper |
| Building Power Consumption Models from Executable Timed I/O Automata Specifications | 2017-05-19 | Paper |
| Verification of linear duration properties over continuous-time markov chains | 2017-05-16 | Paper |
| Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata | 2017-03-16 | Paper |
| Programming Discrete Distributions with Chemical Reaction Networks | 2016-11-30 | Paper |
| Chemical Reaction Network Designs for Asynchronous Logic Circuits | 2016-11-30 | Paper |
| Quantitative verification and strategy synthesis for stochastic games | 2016-10-20 | Paper |
| Expected reachability-time games | 2016-05-02 | Paper |
| Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions | 2015-10-28 | Paper |
| Verification of linear duration properties over continuous-time markov chains | 2015-09-17 | Paper |
| Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata | 2015-09-14 | Paper |
| On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets | 2015-08-27 | Paper |
| Compositional Controller Synthesis for Stochastic Games | 2014-09-15 | Paper |
| An algebraic theory of interface automata | 2014-08-27 | Paper |
| DNA Walker Circuits: Computational Potential, Design, and Verification | 2014-07-07 | Paper |
| Quantitative verification of implantable cardiac pacemakers over hybrid heart models | 2014-06-06 | Paper |
| Compositional probabilistic verification through multi-objective model checking | 2013-12-13 | Paper |
| Compositional state space reduction using untangled actions | 2013-12-13 | Paper |
| Advances in Quantitative Verification for Ubiquitous Computing | 2013-10-04 | Paper |
| Towards a unifying CSP approach to hierarchical verification of asynchronous hardware | 2013-09-26 | Paper |
| On Stochastic Games with Multiple Objectives | 2013-09-20 | Paper |
| A symbolic out-of-core solution method for Markov models | 2013-08-16 | Paper |
| On the complexity of model checking interval-valued discrete time Markov chains | 2013-03-20 | Paper |
| Revisiting Timed Specification Theories: A Linear-Time Perspective | 2012-11-21 | Paper |
| Playing Stochastic Games Precisely | 2012-09-25 | Paper |
| Automatic Verification of Competitive Stochastic Systems | 2012-06-29 | Paper |
| A Compositional Specification Theory for Component Behaviours | 2012-06-22 | Paper |
| Time-Bounded Verification of CTMCs against Real-Time Specifications | 2011-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2999187 | 2011-05-11 | Paper |
| Expected Reachability-Time Games | 2010-09-10 | Paper |
| Concavely-Priced Probabilistic Timed Automata | 2009-10-22 | Paper |
| A mass action model of a fibroblast growth factor signaling pathway and its simplification | 2009-09-04 | Paper |
| Multi-Objective Model Checking of Markov Decision Processes | 2009-04-29 | Paper |
| Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis | 2008-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3504351 | 2008-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5431924 | 2008-01-02 | Paper |
| Multi-objective Model Checking of Markov Decision Processes | 2007-09-03 | Paper |
| Symbolic model checking for probabilistic timed automata | 2007-07-16 | Paper |
| Automated Technology for Verification and Analysis | 2006-10-10 | Paper |
| On the verification of qualitative properties of probabilistic processes under fairness constraints. | 2006-01-17 | Paper |
| A refinement-based process algebra for timed automata | 2005-12-13 | Paper |
| Foundations of Software Science and Computational Structures | 2005-11-10 | Paper |
| Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems | 2005-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813204 | 2004-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813203 | 2004-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813202 | 2004-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4422079 | 2003-09-03 | Paper |
| Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol | 2003-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791267 | 2003-02-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536598 | 2002-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4551150 | 2002-09-04 | Paper |
| Automatic verification of real-time systems with discrete probability distributions. | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2736356 | 2001-08-29 | Paper |
| Domain equations for probabilistic processes | 2001-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4525272 | 2001-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518436 | 2000-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4485146 | 2000-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4255552 | 1999-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223011 | 1999-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222974 | 1999-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222911 | 1998-12-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4353633 | 1997-09-10 | Paper |
| Duality and the completeness of the modal \(\mu\)-calculus | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4870814 | 1996-11-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975031 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3976059 | 1992-06-26 | Paper |
| A metric for traces | 1990-01-01 | Paper |
| Event fairness and non-interleaving concurrency | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3698300 | 1985-01-01 | Paper |
