David Parker

According to our database1, David Parker
  • authored at least 98 papers between 2000 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Verification and control of partially observable probabilistic systems.
Real-Time Systems, 2017

Performance Modelling and Verification of Cloud-based Auto-Scaling Policies.
Proceedings of the 17th IEEE/ACM International Symposium on Cluster, 2017

Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

Multi-Objective Policy Generation for Mobile Robots under Probabilistic Time-Bounded Guarantees.
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

2016
Synthesizing efficient systems in probabilistic environments.
Acta Inf., 2016

PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Finite-Horizon Bisimulation Minimisation for Probabilistic Systems.
Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Quantitative Verification and Synthesis of Attack-Defence Scenarios.
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory.
Proceedings of the Computational Methods in Systems Biology, 2016

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

Permissive Controller Synthesis for Probabilistic Systems.
Logical Methods in Computer Science, 2015

Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Verification and Control of Partially Observable Probabilistic Real-Time Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

The Hanoi Omega-Automata Format.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Local abstraction refinement for probabilistic timed programs.
Theor. Comput. Sci., 2014

Verification of Markov Decision Processes using Learning Algorithms.
CoRR, 2014

Permissive Controller Synthesis for Probabilistic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Optimal and dynamic planning for Markov decision processes with co-safe LTL specifications.
Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

On Incremental Quantitative Verification for Probabilistic Systems.
Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations.
Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

Verification of Markov Decision Processes Using Learning Algorithms.
Proceedings of the Automated Technology for Verification and Analysis, 2014

2013
Compositional probabilistic verification through multi-objective model checking.
Inf. Comput., 2013

Model checking for probabilistic timed automata.
Formal Methods in System Design, 2013

Automatic verification of competitive stochastic systems.
Formal Methods in System Design, 2013

Strategic Analysis of Trust Models for User-Centric Networks
Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

SMT-Based Bisimulation Minimisation of Markov Models.
Proceedings of the Verification, 2013

PRISM-games: A Model Checker for Stochastic Multi-Player Games.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Probabilistic Point-to-Point Information Leakage.
Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

Automated Verification and Strategy Synthesis for Probabilistic Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2013

2012
Advances in Probabilistic Model Checking.
Proceedings of the Software Safety and Security - Tools for Analysis and Verification, 2012

Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations.
I. J. Comput. Appl., 2012

Probabilistic verification of Herman's self-stabilisation algorithm.
Formal Asp. Comput., 2012

Pareto Curves for Probabilistic Model Checking
CoRR, 2012

Automatic Verification of Competitive Stochastic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Incremental Runtime Verification of Probabilistic Systems.
Proceedings of the Runtime Verification, Third International Conference, 2012

The PRISM Benchmark Suite.
Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

Pareto Curves for Probabilistic Model Checking.
Proceedings of the Automated Technology for Verification and Analysis, 2012

2011
Quantitative Multi-objective Verification for Probabilistic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Automated Verification Techniques for Probabilistic Systems.
Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Automated Learning of Probabilistic Assumptions for Compositional Reasoning.
Proceedings of the Fundamental Approaches to Software Engineering, 2011

Incremental quantitative verification for Markov decision processes.
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

Verifying Team Formation Protocols with Probabilistic Model Checking.
Proceedings of the Computational Logic in Multi-Agent Systems, 2011

PRISM 4.0: Verification of Probabilistic Real-Time Systems.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

A Systematic Approach to Evaluate Sustained Stochastic Oscillations.
Proceedings of the ISCA 3rd International Conference on Bioinformatics and Computational Biology, 2011

Learning-Based Compositional Verification for Synchronous Probabilistic Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
A game-based abstraction-refinement framework for Markov decision processes.
Formal Methods in System Design, 2010

Assume-Guarantee Verification for Probabilistic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Compositional Verification of Probabilistic Systems Using Learning.
Proceedings of the QEST 2010, 2010

A Framework for Verification of Software with Time and Probabilities.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

2009
Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus.
IEEE Trans. Software Eng., 2009

Probabilistic Mobile Ambients.
Theor. Comput. Sci., 2009

PRISM: probabilistic model checking for performance and reliability analysis.
SIGMETRICS Performance Evaluation Review, 2009

Abstraction Refinement for Probabilistic Software.
Proceedings of the Verification, 2009

Language-Level Symmetry Reduction for Probabilistic Model Checking.
Proceedings of the QEST 2009, 2009

Bisimulation for Demonic Schedulers.
Proceedings of the Foundations of Software Science and Computational Structures, 2009

Stochastic Games for Verification of Probabilistic Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

2008
Probabilistic model checking of complex biological pathways.
Theor. Comput. Sci., 2008

Analysis of a gossip protocol in PRISM.
SIGMETRICS Performance Evaluation Review, 2008

Using probabilistic model checking in systems biology.
SIGMETRICS Performance Evaluation Review, 2008

Game-Based Probabilistic Predicate Abstraction in PRISM.
Electr. Notes Theor. Comput. Sci., 2008

Generating Compact MTBDD-Representations from ProbmelaSpecifications.
Proceedings of the Model Checking Software, 2008

Symbolic Magnifying Lens Abstraction in Markov Decision Processes.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

2007
Stochastic Model Checking.
Proceedings of the Formal Methods for Performance Evaluation, 2007

Model checking the probabilistic pi-calculus.
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

GRIP: Generic Representatives in PRISM.
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

2006
Numerical vs. statistical probabilistic model checking.
STTT, 2006

A formal analysis of bluetooth device discovery.
STTT, 2006

Performance analysis of probabilistic timed automata using digital clocks.
Formal Methods in System Design, 2006

Quantitative Analysis With the Probabilistic Model Checker PRISM.
Electr. Notes Theor. Comput. Sci., 2006

Simulation and verification for computational modelling of signalling pathways.
Proceedings of the Winter Simulation Conference WSC 2006, 2006

PRISM: A Tool for Automatic Verification of Probabilistic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Game-based Abstraction for Markov Decision Processes.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

On Reduction Criteria for Probabilistic Reward Models.
Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

Probabilistic Model Checking of Complex Biological Pathways.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2006

Symmetry Reduction for Probabilistic Model Checking.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005
Evaluating the reliability of NAND multiplexing with PRISM.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2005

Probabilistic model checking in practice: case studies with PRISM.
SIGMETRICS Performance Evaluation Review, 2005

Using probabilistic model checking for dynamic power management.
Formal Asp. Comput., 2005

A Wavefront Parallelisation of CTMC Solution Using MTBDDs.
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2004
Probabilistic symbolic model checking with PRISM: a hybrid approach.
STTT, 2004

Symbolic Representations and Analysis of Large Probabilistic Systems.
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.
Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

PRISM 2.0: A Tool for Probabilistic Model Checking.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking.
Proceedings of the 12th International Workshop on Modeling, 2004

A Formal Analysis of Bluetooth Device Discovery.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

2003
Implementation of symbolic model checking for probabilistic systems.
PhD thesis, 2003

On the use of MTBDDs for performability analysis and verification of stochastic systems.
J. Log. Algebr. Program., 2003

Performance Analysis of Probabilistic Timed Automata Using Digital Clocks.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2002
A Symbolic Out-of-Core Solution Method for Markov Models.
Electr. Notes Theor. Comput. Sci., 2002

Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

Formal analysis and validation of continuous-time Markov chain based system level power management strategies.
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

Computer Based Real-Time Simulator for Renewable Energy Converters.
Proceedings of the 1st IEEE International Workshop on Electronic Design, 2002

PRISM: Probabilistic Symbolic Model Checker.
Proceedings of the Computer Performance Evaluation, 2002

2001
Faster and Symbolic CTMC Model Checking.
Proceedings of the Process Algebra and Probabilistic Methods, 2001

2000
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000


  Loading...