| 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 |
| Modal specifications for probabilistic timed systems | 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, finite abstractions with certifiable and tuneable precision | 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 |
| Parallel model checking for temporal epistemic logic | 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 |
| On process-algebraic verification of asynchronous circuits | 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 |
