Gethin Norman

Annu. Rev. Control. Robotics Auton. Syst., 2022

Correlated Equilibria and Fairness in Concurrent Stochastic Games.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games.

[BibT_eX]

[DOI]

Proceedings of the Principles of Systems Design, 2022

2021

Balancing Turn-Based Games With Chained Strategy Generation.

[BibT_eX]

[DOI]

IEEE Trans. Games, 2021

Automatic verification of concurrent stochastic systems.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2021

2020

Collaborative models for autonomous systems controller synthesis.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2020

Multi-player Equilibria Verification for Concurrent Stochastic Games.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020

PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Verification and Control of Turn-Based Probabilistic Real-Time Games.

[BibT_eX]

[DOI]

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018

Automated Verification of Concurrent Stochastic Games.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Strategy Synthesis for Autonomous Agents Using PRISM.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2017

Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

Verification and control of partially observable probabilistic systems.

[BibT_eX]

[DOI]

Xueyi Zou

Real Time Syst., 2017

Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

Expected reachability-time games.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods.

[BibT_eX]

[DOI]

CoRR, 2016

Autonomous Agent Behaviour Modelled in PRISM - A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

2015

Mathematical Modelling of Trust Issues in Federated Identity Management.

[BibT_eX]

[DOI]

Proceedings of the Trust Management IX - 9th IFIP WG 11.11 International Conference, 2015

Verification and Control of Partially Observable Probabilistic Real-Time Systems.

[BibT_eX]

[DOI]

Xueyi Zou

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Aleksandra Jovanovic

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014

Quantitative Aspects of Programming Languages and Systems (2011-12).

[BibT_eX]

[DOI]

Mieke Massink

Herbert Wiklicky

Theor. Comput. Sci., 2014

Mathematical Modelling of Identity, Identity Management and Other Related Topics.

[BibT_eX]

[DOI]

Md. Sadek Ferdous

Ron Poet

Proceedings of the 7th International Conference on Security of Information and Networks, 2014

Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations.

[BibT_eX]

[DOI]

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2013

Analysis of stochastic matching markets.

[BibT_eX]

[DOI]

Péter Biró

Int. J. Game Theory, 2013

Compositional probabilistic verification through multi-objective model checking.

[BibT_eX]

[DOI]

Inf. Comput., 2013

Model checking for probabilistic timed automata.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2013

2012

Editorial: Quantitative Aspects of Programming Languages.

[BibT_eX]

[DOI]

Alessandra Di Pierro

Theor. Comput. Sci., 2012

Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations.

[BibT_eX]

Int. J. Comput. Their Appl., 2012

Probabilistic verification of Herman's self-stabilisation algorithm.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2012

The PRISM Benchmark Suite.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

2011

Quantitative Multi-objective Verification for Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Automated Verification Techniques for Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

PRISM 4.0: Verification of Probabilistic Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

A Systematic Approach to Evaluate Sustained Stochastic Oscillations.

[BibT_eX]

Proceedings of the ISCA 3rd International Conference on Bioinformatics and Computational Biology, 2011

2010

A game-based abstraction-refinement framework for Markov decision processes.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2010

Quantitative Games on Probabilistic Timed Automata

[BibT_eX]

[DOI]

Ashutosh Trivedi

CoRR, 2010

Assume-Guarantee Verification for Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

A Framework for Verification of Software with Time and Probabilities.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Advances and challenges of probabilistic model checking.

[BibT_eX]

[DOI]

Proceedings of the 48th Annual Allerton Conference on Communication, 2010

2009

Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2009

Probabilistic Mobile Ambients.

[BibT_eX]

[DOI]

Maria Grazia Vigliotti

Theor. Comput. Sci., 2009

PRISM: probabilistic model checking for performance and reliability analysis.

[BibT_eX]

[DOI]

Konstantinos Chatzikokolakis

SIGMETRICS Perform. Evaluation Rev., 2009

Abstraction Refinement for Probabilistic Software.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2009

Bisimulation for Demonic Schedulers.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2009

Stochastic Games for Verification of Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

Concavely-Priced Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Quantitative Verification Techniques for Biological Processes.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Bioprocesses, 2009

2008

Probabilistic model checking of complex biological pathways.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Analysis of a gossip protocol in PRISM.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2008

Using probabilistic model checking in systems biology.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2008

Game-Based Probabilistic Predicate Abstraction in PRISM.

[BibT_eX]

[DOI]

Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008

Symbolic Magnifying Lens Abstraction in Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

2007

Symbolic model checking for probabilistic timed automata.

[BibT_eX]

[DOI]

Inf. Comput., 2007

Stochastic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Performance Evaluation, 2007

Model checking the probabilistic pi-calculus.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

2006

Numerical vs. statistical probabilistic model checking.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2006

A formal analysis of bluetooth device discovery.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2006

Analysis of probabilistic contract signing.

[BibT_eX]

[DOI]

Vitaly Shmatikov

J. Comput. Secur., 2006

Performance analysis of probabilistic timed automata using digital clocks.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2006

Model checking expected time and expected reward formulae with random time bounds.

[BibT_eX]

[DOI]

António Pacheco

Comput. Math. Appl., 2006

Simulation and verification for computational modelling of signalling pathways.

[BibT_eX]

[DOI]

Proceedings of the Winter Simulation Conference WSC 2006, 2006

PRISM: A Tool for Automatic Verification of Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Game-based Abstraction for Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

On Reduction Criteria for Probabilistic Reward Models.

[BibT_eX]

[DOI]

Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

Symmetry Reduction for Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Evaluating the reliability of NAND multiplexing with PRISM.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005

Probabilistic model checking in practice: case studies with PRISM.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2005

Using probabilistic model checking for dynamic power management.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2005

Quantitative Analysis With the Probabilistic Model Checker PRISM.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005

Stochastic Transition Systems for Continuous State Spaces and Non-determinism.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2005

2004

Probabilistic symbolic model checking with PRISM: a hybrid approach.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2004

Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM.

[BibT_eX]

[DOI]

Conrado Daws

Int. J. Softw. Tools Technol. Transf., 2004

Analysing Randomized Distributed Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004

Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

PRISM 2.0: A Tool for Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Mathematical techniques for analyzing concurrent and probabilistic systems.

[BibT_eX]

[DOI]

CRM monograph series 23, American Mathematical Society, ISBN: 978-0-8218-3571-5, 2004

2003

On the use of MTBDDs for performability analysis and verification of stochastic systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2003

Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2003

2002

Automatic verification of real-time systems with discrete probability distributions.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

A Symbolic Out-of-Core Solution Method for Markov Models.

[BibT_eX]

[DOI]

Proceedings of the Parallel and Distributed Model Checking, 2002

Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol.

[BibT_eX]

[DOI]

Proceedings of the Process Algebra and Probabilistic Methods, 2002

Model Checking CSL until Formulae with Random Time Bounds.

[BibT_eX]

[DOI]

António Pacheco

Proceedings of the Process Algebra and Probabilistic Methods, 2002

Formal analysis and validation of continuous-time Markov chain based system level power management strategies.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

Verifying Randomized Byzantine Agreement.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

PRISM: Probabilistic Symbolic Model Checker.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Evaluation, 2002

2001

Faster and Symbolic CTMC Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Process Algebra and Probabilistic Methods, 2001

Symbolic Computation of Maximal Probabilistic Reachability.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2001, 2001

Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM.

[BibT_eX]

[DOI]

Roberto Segala

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Verifying Quantitative Properties of Continuous Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2000, 2000

1998

A Testing Equivalence for Reactive Probabilistic Processes.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Expressiveness in Concurrency, 1998

Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems.

[BibT_eX]

[DOI]

Christel Baier

Proceedings of the First International Workshop on Probabilistic Methods in Verification, 1998

1997

A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Computation and Approximation, 1997

1996

Probabilistic Metric Semantics for a Simple Language with Recursion.

[BibT_eX]

[DOI]