D. Parker

发表

Maria Grazia Vigliotti, Marta Z. Kwiatkowska, Gethin Norman, 2009, Theoretical Computer Science.

Performance analysis of probabilistic timed automata using digital clocks

Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, 2003, Formal Methods Syst. Des..

Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations

Alessandro Abate, Marta Z. Kwiatkowska, Gethin Norman, 2014, Horizons of the Mind.

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives

Marta Z. Kwiatkowska, David Parker, Clemens Wiltsche, 2017, International Journal on Software Tools for Technology Transfer.

Symbolic Model Checking of Concurrent Probabilistic Systems Using MTBDDs and Simplex

R. Segala, M. Kwiatkowska, G. Norman, 1999 .

PRISM 2.0: a tool for probabilistic model checking

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..

Evaluating the reliability of defect-tolerant architectures for nanotechnology with probabilistic model checking

Sandeep K. Shukla, Marta Z. Kwiatkowska, Gethin Norman, 2004, 17th International Conference on VLSI Design. Proceedings..

DR AF T Probabilistic Model Checking : Advances and Applications

M. Kwiatkowska, G. Norman, D. Parker, 2017 .

Èööóöññò Òòðý××× Óó Èöóóóóóðð×øø Ììñññ Ùøóññøø Ù××òò Øøð Ðó Blockin×

M. Kwiatkowska, D. Parker, Gethin Norman, 2003 .

Verification of Probabilistic Real-time Systems

D. Parker, 2013 .

, D 2017 , Ensuring the Reliability of Your Model Checker : Interval Iteration for Markov Decision Processes . in

C. Baier, Joachim Klein, D. Parker, 2017 .

Optimal Motion Planning for Markov Decision Processes with Co-Safe Linear Temporal Logic Specifications

Nick Hawes, D. Parker, Bruno Lacerda, 2014 .

Model checking the probabilistic π-calculus

G. Norman, D. Parker, C. Palamidessi, 2007 .

D RA FT Quantitative Verification Techniques for Biological Processes

M. Kwiatkowska, G. Norman, D. Parker, 2010 .

PERMISSIVE CONTROLLER SYNTHESIS FOR PROBABILISTIC SYSTEMS Klaus Dräger

M. Kwiatkowska, D. Parker, Klaus Dräger, 2014 .

An EÆcient Symbolic Out-of-Core Solution Method for Markov Models ?

M. Kwiatkowska, D. Parker, Rashid Mehmood, 2003 .

University of Birmingham Automated Verification of Concurrent Stochastic Games

M. Kwiatkowska, G. Norman, D. Parker, 2018 .

Robust Anytime Learning of Markov Decision Processes

D. Parker, N. Jansen, T. D. Simão, 2022, ArXiv.

×øøö Òò Ëýñóðð Ìåå Åóð Òò

M. Kwiatkowska, D. Parker, Joost-Pieter Katoen, 2007 .

Manufacturing Processes for Permanent Magnets: Part I—Sintering and Casting

T. Lograsso, D. Parker, M. P. Paranthaman, 2022, JOM.

Èööóöññò Òòðý××× Óó Èöóóóóóðð×øø Ììñññ Ùøóññøø Ù××òò Øøð Ðó Blockin×

M. Kwiatkowska, D. Parker, Gethin Norman, 2003 .

Statistics on magnetic properties of Co compounds: A database-driven method for discovering Co-based ferromagnets

D. Parker, P. Canfield, P. Klavins, 2022, Physical Review Materials.

Robust Anytime Learning of Markov Decision Processes

D. Parker, N. Jansen, T. D. Simão, 2022, ArXiv.

Evaluating reliability of defect tolerant architecture for nanotechnology using probabilistic model

Sandeep K. Shukla, Marta Kwiatkowska, Gethin Norman, 2004 .

Robust Anytime Learning of Markov Decision Processes

D. Parker, N. Jansen, T. D. Simão, 2022, ArXiv.

Partially-Observable Security Games for Automating Attack-Defense Analysis

D. Parker, Narges Khakpour, 2022, ArXiv.

Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions

Thom S. Badings, Hasan A. Poonawala, A. Abate, 2023, J. Artif. Intell. Res..

Verification of Markov Decision Processes Using Learning Algorithms

Krishnendu Chatterjee, Jan Kretínský, Tomás Brázdil, 2014, ATVA.

Multi-player Equilibria Verification for Concurrent Stochastic Games

M. Kwiatkowska, G. Norman, D. Parker, 2020, QEST.

Quantitative verification of Kalman filters

Alexandros Evangelidis, David Parker, D. Parker, 2021, Formal Aspects of Computing.

Quantitative Verification of Numerical Stability for Kalman Filters

Alexandros Evangelidis, David Parker, D. Parker, 2019, FM.

Automatic verification of concurrent stochastic systems pdf

Gethin Norman, David Parker, Marta Kwiatkowska, 2020, Formal Methods in System Design.

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

Gabriel Santos, Gethin Norman, David Parker, 2020, CAV.

Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games pdf

Gabriel Santos, Marta Z. Kwiatkowska, Gethin Norman, 2018, FM.

A wavefront parallelisation of CTMC solution using MTBDDs

Yi Zhang, Marta Z. Kwiatkowska, David Parker, 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05).

Numerical vs. statistical probabilistic model checking

Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, 2006, International Journal on Software Tools for Technology Transfer.

Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory

Peter Dittrich, Jonathan E. Rowe, David Parker, 2016, CMSB.

Finite-Horizon Bisimulation Minimisation for Probabilistic Systems

Jonathan E. Rowe, David Parker, Nishanthan Kamaleson, 2016, SPIN.

Automated Verification Techniques for Probabilistic Systems

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2011, SFM.

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

Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norman, 2000, TACAS.

Automated Verification of Concurrent Stochastic Games

Gabriel Santos, Marta Z. Kwiatkowska, Gethin Norman, 2018, QEST.

SMT-Based Bisimulation Minimisation of Markov Models

Joost-Pieter Katoen, David Parker, Christian Dehnert, 2013, VMCAI.

Model checking for probabilistic timed automata

Gethin Norman, Jeremy Sproston, David Parker, 2012, Formal Methods in System Design.

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

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2010, Formal Methods Syst. Des..

Stochastic Model Checking

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2007, SFM.

On Reduction Criteria for Probabilistic Reward Models

Christel Baier, Frank Ciesinski, Marcus Größer, 2006, FSTTCS.

Symmetry Reduction for Probabilistic Model Checking

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2006, CAV.

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

Holger Hermanns, Markus Siegle, Marta Z. Kwiatkowska, 2003, J. Log. Algebraic Methods Program..

Learning-Based Compositional Verification for Synchronous Probabilistic Systems

Lu Feng, Tingting Han, Marta Z. Kwiatkowska, 2011, ATVA.

Assume-Guarantee Verification for Probabilistic Systems

Hongyang Qu, Marta Z. Kwiatkowska, Gethin Norman, 2010, TACAS.

PRISM 4.0: Verification of Probabilistic Real-Time Systems

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2011, CAV.

A formal analysis of bluetooth device discovery

Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, 2006, 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.

PRISM 2.0: a tool for probabilistic model checking

M. Kwiatkowska, G. Norman, D. Parker, 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..

Using probabilistic model checking in systems biology

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2008, PERV.

Probabilistic model checking of complex biological pathways

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2008, Theor. Comput. Sci..

Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications

Nick Hawes, David Parker, Bruno Lacerda, 2015, IJCAI.

Probabilistic Point-to-Point Information Leakage

Tom Chothia, David Parker, Yusuke Kawamoto, 2013, 2013 IEEE 26th Computer Security Foundations Symposium.

Probabilistic symbolic model checking with PRISM: a hybrid approach

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2004, International Journal on Software Tools for Technology Transfer.

Symbolic Representations and Analysis of Large Probabilistic Systems

David Parker, Andrew S. Miner, D. Parker, 2004, Validation of Stochastic Systems.

PRISM: Probabilistic Symbolic Model Checker

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2002, Computer Performance Evaluation / TOOLS.

IMPLEMENTATION OF SYMBOLIC MODEL CHECKING FOR

David Parker, Probabilistic Systems, D. Parker, 2002 .

Symbolic Model Checking of Concurrent Probabilistic Systems Using MTBDDs and the Simplex Algorithm

R. Segala, G. Norman, D. Parker, 1999 .

Bisimulation for Demonic Schedulers

Gethin Norman, David Parker, Konstantinos Chatzikokolakis, 2009, FoSSaCS.

PRISM-games: A Model Checker for Stochastic Multi-Player Games

Taolue Chen, Marta Z. Kwiatkowska, David Parker, 2013, TACAS.

Performance Modelling and Verification of Cloud-Based Auto-Scaling Policies

Rami Bahsoon, Alexandros Evangelidis, David Parker, 2017, 2017 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID).

Compositional Verification of Probabilistic Systems Using Learning

Lu Feng, Marta Z. Kwiatkowska, David Parker, 2010, 2010 Seventh International Conference on the Quantitative Evaluation of Systems.

Analysis of a gossip protocol in PRISM

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2008, PERV.

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

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2012, Int. J. Comput. Their Appl..

A Systematic Approach to Evaluate Sustained Stochastic Oscillations

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2011, BICoB.

Using probabilistic model checking for dynamic power management

Sandeep K. Shukla, Rajesh Gupta, Marta Z. Kwiatkowska, 2005, Formal Aspects of Computing.

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

Sandeep K. Shukla, Rajesh K. Gupta, Marta Z. Kwiatkowska, 2002, Seventh IEEE International High-Level Design Validation and Test Workshop, 2002..

PRISM: probabilistic model checking for performance and reliability analysis

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2009, PERV.

Automated Formal Analysis of Side-Channel Attacks on Probabilistic Systems

David Parker, Chris Novakovic, D. Parker, 2019, ESORICS.

Verification and control of partially observable probabilistic systems

Gethin Norman, David Parker, Xueyi Zou, 2017, Real-Time Systems.

Verification and Control of Partially Observable Probabilistic Real-Time Systems

Gethin Norman, David Parker, Xueyi Zou, 2015, FORMATS.

Probabilistic model checking: advances and applications

Marta Kwiatkowska, Gethin Norman, David Parker, 2018 .

Compositional probabilistic verification through multi-objective model checking

Hongyang Qu, Marta Z. Kwiatkowska, Gethin Norman, 2013, Inf. Comput..

Multi-Objective Controller Synthesis with Uncertain Human Preferences

D. Parker, Lu Feng, Shenghui Chen, 2021, 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS).

Advances and challenges of probabilistic model checking

Marta Kwiatkowska, Gethin Norman, David Parker, 2010, 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

Game-based Abstraction for Markov Decision Processes

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

Simulation and Verification for Computational Modelling of Signalling Pathways

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2006, Proceedings of the 2006 Winter Simulation Conference.

Robust Anytime Learning of Markov Decision Processes

D. Parker, N. Jansen, T. D. Simão, 2022, NeurIPS.

Probabilistic planning with formal performance guarantees for mobile service robots

Nick Hawes, David Parker, Bruno Lacerda, 2019, Int. J. Robotics Res..

Verifying Team Formation Protocols with Probabilistic Model Checking

Taolue Chen, Marta Z. Kwiatkowska, David Parker, 2011, CLIMA.

PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games

Marta Z. Kwiatkowska, David Parker, Clemens Wiltsche, 2016, TACAS.

Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes

Christel Baier, Joachim Klein, David Parker, 2017, CAV.

Multi-Objective Policy Generation for Mobile Robots under Probabilistic Time-Bounded Guarantees

Nick Hawes, David Parker, Bruno Lacerda, 2017, ICAPS.

The PRISM Benchmark Suite

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2012, 2012 Ninth International Conference on Quantitative Evaluation of Systems.

Pareto Curves for Probabilistic Model Checking

Marta Z. Kwiatkowska, David Parker, Vojtech Forejt, 2012, ATVA.

Quantitative Multi-objective Verification for Probabilistic Systems

Hongyang Qu, Marta Z. Kwiatkowska, Gethin Norman, 2011, TACAS.

Multi-Agent Verification and Control with Probabilistic Model Checking

D. Parker, 2023, ArXiv.

Probabilistic symbolic model checking with PRISM: a hybrid approach

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2004, International Journal on Software Tools for Technology Transfer.

Probabilistic model checking in practice: case studies with PRISM

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2005, PERV.

Automated Learning of Probabilistic Assumptions for Compositional Reasoning

Lu Feng, Marta Z. Kwiatkowska, David Parker, 2011, FASE.

Controller Dependability Analysis by Probabilistic Model Checking

Marta Kwiatkowska, Gethin Norman, David Parker, 2004 .

Model checking the probabilistic pi-calculus

Catuscia Palamidessi, Peng Wu, Gethin Norman, 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).

Model checking the probabilistic π-calculus

G. Norman, D. Parker, C. Palamidessi, 2007 .

Translating the probabilistic π-calculus to PRISM

Catuscia Palamidessi, Peng Wu, Gethin Norman, 2007 .

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

Marta Kwiatkowska, Gethin Norman, David Parker, 2019, The Art of Modelling Computational Systems.

Permissive Controller Synthesis for Probabilistic Systems

Marta Z. Kwiatkowska, David Parker, Vojtech Forejt, 2014, TACAS.

Probabilistic symbolic model checking with PRISM: a hybrid approach

M. Kwiatkowska, G. Norman, D. Parker, 2004, International Journal on Software Tools for Technology Transfer.

A formal analysis of bluetooth device discovery

M. Kwiatkowska, G. Norman, D. Parker, 2006, International Journal on Software Tools for Technology Transfer.

Mathematical techniques for analyzing concurrent and probabilistic systems

Jan J. M. M. Rutten, Prakash Panangaden, Marta Z. Kwiatkowska, 2004, CRM monograph series.

Probabilistic Model Checking and Power-Aware Computing

Marta Kwiatkowska, Gethin Norman, David Parker, 2005 .

Quantitative Verification and Synthesis of Attack-Defence Scenarios

Flemming Nielson, David Parker, Zaruhi Aslanyan, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).

Automated Verification and Strategy Synthesis for Probabilistic Systems

Marta Z. Kwiatkowska, David Parker, M. Kwiatkowska, 2013, ATVA.

Stochastic Games for Verification of Probabilistic Timed Automata

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2009, FORMATS.

PRISM: A Tool for Automatic Verification of Probabilistic Systems

Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, 2006, TACAS.

University of Birmingham Probabilistic planning with formal performance guarantees for mobile service robots

Nick Hawes, D. Parker, Bruno Lacerda, 2017 .

Verifying Randomized Distributed Algorithms with PRISM

Marta Kwiatkowska, Gethin Norman, David Parker, 2000 .

Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models

Enrico Vicario, Luigi Sassoli, E. Vicario, 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).

University of Birmingham Organisation-Oriented Coarse Graining and Refinement of Stochastic Reaction Networks

D. Parker, Chunyan Mu, Peter Dittrich, 2017 .

Abstraction Refinement for Probabilistic Software

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2008, VMCAI.

Quantitative Verification

D. Parker, 2008 .

Quantitative Verification and Synthesis of Attack-Defence Scenarios

F. Nielson, D. Parker, Zaruhi Aslanyan, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).

Dual-processor parallelisation of symbolic probabilistic model checking

Yi Zhang, Marta Z. Kwiatkowska, Rashid Mehmood, 2004, The IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems, 2004. (MASCOTS 2004). Proceedings..

Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study

Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, 2004, TACAS.

University of Birmingham Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata

M. Kwiatkowska, G. Norman, D. Parker, 2017 .

Probabilistic verification of Herman’s self-stabilisation algorithm

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2012, Formal Aspects of Computing.

Quantitative Analysis With the Probabilistic Model Checker PRISM

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2006, QAPL.

Automated Verification and Strategy Synthesis for Probabilistic Systems

M. Kwiatkowska, D. Parker, 2013, ATVA.

Optimal and dynamic planning for Markov decision processes with co-safe LTL specifications

Nick Hawes, David Parker, Bruno Lacerda, 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.

Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems

Lijun Zhang, Gethin Norman, David Parker, 2011, 2011 Eighth International Conference on Quantitative Evaluation of SysTems.

Faster and Symbolic CTMC Model Checking

Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, 2001, PAPM-PROBMIV.

Game-Based Probabilistic Predicate Abstraction in PRISM

Marta Z. Kwiatkowska, Gethin Norman, David Parker, 2008, QAPL.

Symbolic Magnifying Lens Abstraction in Markov Decision Processes

Luca de Alfaro, Pritam Roy, Gethin Norman, 2008, 2008 Fifth International Conference on Quantitative Evaluation of Systems.

The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report)

Jan Kretínský, Joachim Klein, Arnd Hartmanns, 2019, TACAS.

The Quantitative Verification Benchmark Set

Arnd Hartmanns, David Parker, Michaela Klauck, 2019, TACAS.