| Publication | Date of Publication | Type |
|---|
Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games
Information and Computation | 2024-10-08 | Paper |
Probabilistic reach-avoid for Bayesian neural networks
Artificial Intelligence | 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
Natural Computing | 2023-11-30 | Paper |
Programming discrete distributions with chemical reaction networks
Natural Computing | 2023-11-30 | Paper |
Trade-offs in true concurrency: Pomsets and mazurkiewicz traces
Lecture Notes in Computer Science | 2023-08-16 | Paper |
Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper).
| 2023-02-03 | Paper |
scientific article; zbMATH DE number 7626788 (Why is no real title available?)
| 2022-12-06 | Paper |
Syntax-guided optimal synthesis for chemical reaction networks
| 2022-08-12 | Paper |
PID Control of Biochemical Reaction Networks
IEEE Transactions on Automatic Control | 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
IEEE Transactions on Automatic Control | 2021-03-12 | Paper |
scientific article; zbMATH DE number 7280017 (Why is no real title available?)
| 2020-12-02 | Paper |
Reasoning about Cognitive Trust in Stochastic Multiagent Systems
ACM Transactions on Computational Logic | 2019-11-22 | Paper |
Central limit model checking
ACM Transactions on Computational Logic | 2019-11-22 | Paper |
Efficiency through uncertainty
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
Strategy synthesis for stochastic games with multiple long-run objectives
Tools and Algorithms for the Construction and Analysis of Systems | 2019-09-17 | Paper |
DNA walker circuits: computational potential, design, and verification
Natural Computing | 2019-07-08 | Paper |
Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques
Hybrid Systems Biology | 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
Handbook of Model Checking | 2018-07-20 | Paper |
Compositional strategy synthesis for stochastic games with multiple objectives
Information and Computation | 2018-06-14 | Paper |
Parameter synthesis for probabilistic timed automata using stochastic game abstractions
Theoretical Computer Science | 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
Acta Informatica | 2017-10-09 | Paper |
Reachability computation for switching diffusions, finite abstractions with certifiable and tuneable precision
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
Computing cumulative rewards using fast adaptive uniformization
ACM Transactions on Modeling and Computer Simulation | 2017-06-30 | Paper |
Cognitive reasoning and trust in human-robot interactions
Lecture Notes in Computer Science | 2017-05-19 | Paper |
Building power consumption models from executable timed I/O automata specifications
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Verification of linear duration properties over continuous-time markov chains
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata
Theoretical Computer Science | 2017-03-16 | Paper |
Programming discrete distributions with chemical reaction networks
Lecture Notes in Computer Science | 2016-11-30 | Paper |
Chemical reaction network designs for asynchronous logic circuits
Lecture Notes in Computer Science | 2016-11-30 | Paper |
Quantitative verification and strategy synthesis for stochastic games
European Journal of Control | 2016-10-20 | Paper |
Expected reachability-time games
Theoretical Computer Science | 2016-05-02 | Paper |
Parameter synthesis for probabilistic timed automata using stochastic game abstractions
Lecture Notes in Computer Science | 2015-10-28 | Paper |
Verification of linear duration properties over continuous-time Markov chains
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Symbolic minimum expected time controller synthesis for probabilistic timed automata
Lecture Notes in Computer Science | 2015-09-14 | Paper |
On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
Application and Theory of Petri Nets and Concurrency | 2015-08-27 | Paper |
Compositional controller synthesis for stochastic games
CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
An algebraic theory of interface automata
Theoretical Computer Science | 2014-08-27 | Paper |
DNA Walker Circuits: Computational Potential, Design, and Verification
Lecture Notes in Computer Science | 2014-07-07 | Paper |
Quantitative verification of implantable cardiac pacemakers over hybrid heart models
Information and Computation | 2014-06-06 | Paper |
Compositional probabilistic verification through multi-objective model checking
Information and Computation | 2013-12-13 | Paper |
Compositional state space reduction using untangled actions
Electronic Notes in Theoretical Computer Science | 2013-12-13 | Paper |
Advances in Quantitative Verification for Ubiquitous Computing
Theoretical Aspects of Computing – ICTAC 2013 | 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
Mathematical Foundations of Computer Science 2013 | 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
Information Processing Letters | 2013-03-20 | Paper |
Revisiting timed specification theories: a linear-time perspective
Lecture Notes in Computer Science | 2012-11-21 | Paper |
Playing stochastic games precisely
Lecture Notes in Computer Science | 2012-09-25 | Paper |
Automatic verification of competitive stochastic systems
Tools and Algorithms for the Construction and Analysis of Systems | 2012-06-29 | Paper |
A compositional specification theory for component behaviours
Programming Languages and Systems | 2012-06-22 | Paper |
Time-Bounded Verification of CTMCs against Real-Time Specifications
Lecture Notes in Computer Science | 2011-10-07 | Paper |
Parallel model checking for temporal epistemic logic
| 2011-05-11 | Paper |
Expected reachability-time games
Lecture Notes in Computer Science | 2010-09-10 | Paper |
Concavely-Priced Probabilistic Timed Automata
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
A mass action model of a fibroblast growth factor signaling pathway and its simplification
Bulletin of Mathematical Biology | 2009-09-04 | Paper |
Multi-Objective Model Checking of Markov Decision Processes
Logical Methods in Computer Science | 2009-04-29 | Paper |
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis
Formal Methods in Systems Biology | 2008-06-17 | Paper |
scientific article; zbMATH DE number 5286871 (Why is no real title available?)
| 2008-06-11 | Paper |
On process-algebraic verification of asynchronous circuits
| 2008-01-02 | Paper |
Multi-objective Model Checking of Markov Decision Processes
Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
Symbolic model checking for probabilistic timed automata
Information and Computation | 2007-07-16 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-10 | Paper |
On the verification of qualitative properties of probabilistic processes under fairness constraints.
Information Processing Letters | 2006-01-17 | Paper |
A refinement-based process algebra for timed automata
Formal Aspects of Computing | 2005-12-13 | Paper |
Foundations of Software Science and Computational Structures
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Lecture Notes in Computer Science | 2005-08-19 | Paper |
scientific article; zbMATH DE number 2090709 (Why is no real title available?)
| 2004-08-13 | Paper |
scientific article; zbMATH DE number 2090708 (Why is no real title available?)
| 2004-08-13 | Paper |
scientific article; zbMATH DE number 2090707 (Why is no real title available?)
| 2004-08-13 | Paper |
scientific article; zbMATH DE number 1973984 (Why is no real title available?)
| 2003-09-03 | Paper |
Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol
Formal Aspects of Computing | 2003-08-27 | Paper |
scientific article; zbMATH DE number 1864589 (Why is no real title available?)
| 2003-02-06 | Paper |
scientific article; zbMATH DE number 1759607 (Why is no real title available?)
| 2002-11-28 | Paper |
scientific article; zbMATH DE number 1796134 (Why is no real title available?)
| 2002-09-04 | Paper |
Automatic verification of real-time systems with discrete probability distributions.
Theoretical Computer Science | 2002-07-15 | Paper |
scientific article; zbMATH DE number 1638658 (Why is no real title available?)
| 2001-08-29 | Paper |
Domain equations for probabilistic processes
MSCS. Mathematical Structures in Computer Science | 2001-08-21 | Paper |
scientific article; zbMATH DE number 1555174 (Why is no real title available?)
| 2001-01-22 | Paper |
scientific article; zbMATH DE number 1536568 (Why is no real title available?)
| 2000-11-28 | Paper |
scientific article; zbMATH DE number 1455625 (Why is no real title available?)
| 2000-06-05 | Paper |
scientific article; zbMATH DE number 1324653 (Why is no real title available?)
| 1999-08-17 | Paper |
scientific article; zbMATH DE number 1231682 (Why is no real title available?)
| 1999-01-07 | Paper |
scientific article; zbMATH DE number 1231649 (Why is no real title available?)
| 1999-01-06 | Paper |
scientific article; zbMATH DE number 1231591 (Why is no real title available?)
| 1998-12-21 | Paper |
scientific article; zbMATH DE number 1059326 (Why is no real title available?)
| 1997-09-10 | Paper |
Duality and the completeness of the modal \(\mu\)-calculus
Theoretical Computer Science | 1997-02-27 | Paper |
scientific article; zbMATH DE number 860042 (Why is no real title available?)
| 1996-11-17 | Paper |
scientific article; zbMATH DE number 17700 (Why is no real title available?)
| 1992-06-26 | Paper |
scientific article; zbMATH DE number 18653 (Why is no real title available?)
| 1992-06-26 | Paper |
A metric for traces
Information Processing Letters | 1990-01-01 | Paper |
Event fairness and non-interleaving concurrency
Formal Aspects of Computing | 1989-01-01 | Paper |
scientific article; zbMATH DE number 3924129 (Why is no real title available?)
| 1985-01-01 | Paper |
