Dave Parker

51 - 96 out of 96Page size: 50

Publications

  1. Published

    PRISM: Probabilistic symbolic model checker

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2002, p. 200-204. 5 p.

    Research output: Contribution to conference (unpublished) › Paper

  2. Published

    Computer Science Technical Report - CSR-06-5: Game-based Abstraction for Markov Decision Processes

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2006.

    Research output: Working paper

  3. Published

    Game-based Abstraction for Markov Decision Processes

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2006, p. 157-166. 10 p.

    Research output: Contribution to conference (unpublished) › Paper

  4. Published

    Probabilistic model checking in practice: case studies with PRISM

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Mar 2005, In : ACM SIGMETRICS Performance Evaluation Review. 32, 4, p. 16-21 6 p.

    Research output: Contribution to journal › Article

  5. Published

    Computer Science Technical Report CSR-06-9: Probabilistic Mobile Ambients

    Marta Kwiatkowska, Gethin Norman, David Parker & Maria Vigliotti, 1 Jan 2006.

    Research output: Working paper

  6. Published

    Probabilistic model checking and power-aware computing

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2005, p. 6-9. 4 p.

    Research output: Contribution to conference (unpublished) › Paper

  7. Published

    A symbolic out-of-core solution method for Markov models

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2002.

    Research output: Contribution to conference (unpublished) › Paper

  8. Published

    Probabilistic symbolic model checker

    Marta Kwiatkowska, Gethin Norman, David Parker, 1 Jan 2002, p. LNCS 200-204.

    Research output: Contribution to conference (unpublished) › Paper

  9. Published

    Verification and control of turn-based probabilistic real-time games

    David Parker, 4 Nov 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Springer, Vol. 11760. p. 379-396 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  10. Published

    Simulation and Verification for Computational Modelling of Signalling Pathways

    Marta Kwiatkowska, Gethin Norman, David Parker, John Heath, Eamonn Gaffney, 1 Jan 2006, p. 1666-12675. 11010 p.

    Research output: Contribution to conference (unpublished) › Paper

  11. Published

    Probabilistic symbolic model checking with PRISM: A hybrid approach

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2004, In : International Journal on Software Tools for Technology Transfer. 6, 2, p. 128-142 15 p.

    Research output: Contribution to journal › Article

  12. Accepted/In press

    Probabilistic Model Checking: Advances and Applications

    David Parker, 1 Apr 2017, (Accepted/In press) Formal System Verification: State-of the-Art and Future Trends. Drechsler, R. (ed.). Springer, 48 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

  13. Published

    PRISM 2.0: A tool for probabilistic model checking

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2004, p. 322-323. 2 p.

    Research output: Contribution to conference (unpublished) › Paper

  14. Published

    Equilibria-based probabilistic model checking for concurrent stochastic games

    David Parker, 23 Sep 2019, Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Springer, p. 298-315 18 p. (Lecture Notes in Computer Science; vol. 11800)(Programming and Software Engineering; vol. 11800).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  15. E-pub ahead of print

    PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives

    David Parker, 29 Nov 2017, In : International Journal on Software Tools for Technology Transfer. 16 p.

    Research output: Contribution to journal › Article

  16. Published

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

    David Parker, 9 Apr 2016, Proceedings 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16). Chechik, M. & Raskin, J-F. (eds.). Springer, 6 p. (Lecture Notes in Computer Science; vol. 9636).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  17. Published

    Computer Science Technical Reports 2001: Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2001.

    Research output: Working paper

  18. Published

    Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications

    Bruno Lacerda, David Parker & Nick Hawes, 20 Jul 2015, Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15). Yang, Q. & Wooldridge, M. (eds.). Association for the Advancement of Artificial Intelligence, p. 1587-1593

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  19. Accepted/In press

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

    Bruno Lacerda, David Parker & Nick Hawes, 26 Jan 2017, (Accepted/In press) Proceedings of the twenty seventh International Conference on Automated Planning and Scheduling (ICAPS 2017). AAAI Press, 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  20. Published

    Nested value iteration for partially satisfiable co-safe ltl specifications (Extended Abstract)

    Bruno Lacerda, David Parker & Nick Hawes, 2015, AAAI Fall Symposium - Technical Report. AI Access Foundation, Vol. FS-15-06. p. 54-55 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  21. Published

    Probabilistic planning with formal performance guarantees for mobile service robots

    Fatma Faruq, David Parker, 1 Aug 2019, In : The International Journal of Robotics Research. 38, 9, p. 1098–1123 26 p.

    Research output: Contribution to journal › Article

  22. Published

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

    Bruno Lacerda, David Parker & Nick Hawes, 31 Oct 2014, IEEE International Conference on Intelligent Robots and Systems. Institute of Electrical and Electronics Engineers (IEEE), p. 1511-1516 6 p. 6942756

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  23. Published

    Technical Report CSR-03-13: An Efficient BDD-Based Implementation of Gauss-Seidel for CTMC Analysis

    David Parker & Marta Kwiatkowska, 1 Jan 2003.

    Research output: Working paper

  24. Published

    Technical Report CSR-03-8: An Efficient Symbolic Out-of-Core Solution Method for Markov Models

    David Parker & Marta Kwiatkowska, 1 Jan 2003.

    Research output: Working paper

  25. Published

    Symbolic representations and analysis of large probabilistic systems

    David Parker, 1 Jan 2004, Validation of Stochastic Systems: A Guide to Current Research.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  26. Published

    Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory

    Chunyan Mu, David Parker & Jon Rowe, 2016, Computational Methods in Systems Biology: 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings. Springer, p. 232-251 (Lecture Notes in Computer Science; vol. 9859).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  27. E-pub ahead of print

    Organisation-Oriented Coarse Graining and Refinement of Stochastic Reaction Networks

    David Parker & Jon Rowe, 9 Feb 2018, In : IEEE - ACM Transactions on Computational Biology and Bioinformatics. 14 p.

    Research output: Contribution to journal › Article

  28. Published

    Translating the Probabilistic p-calculus to PRISM, Technical Report CSR-07-2

    Gethin Norman, David Parker, 1 Mar 2007, University of Birmingham.

    Research output: Book/Report › Commissioned report

  29. Published

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

    Gethin Norman, David Parker, Marta Kwiatkowska, 1 Jan 2002, p. 45-50. 6 p.

    Research output: Contribution to conference (unpublished) › Paper

  30. Published

    Verification and control of partially observable probabilistic real-time systems

    Gethin Norman, David Parker, 22 Aug 2015, Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Sankaranarayanan, S. & Vicario, E. (eds.). Springer, Vol. 9268. p. 240-255 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

  31. Published

    Verification and control of partially observable probabilistic systems

    David Parker, May 2017, In : Real-Time Systems. 53, 3, p. 354–402 49 p.

    Research output: Contribution to journal › Article

  32. Published

    Evaluating the reliability of NAND multiplexing with PRISM

    Gethin Norman, David Parker, Marta Kwiatkowska, 1 Jan 2005, In : IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 24, 10, p. 1629-1637 9 p.

    Research output: Contribution to journal › Article

  33. Published

    Using Probabilistic Model Checking for Dynamic Power Management. Technical Report DSSE-TR-2003-2

    Gethin Norman, David Parker, Marta Kwiatkowska, 1 Jan 2003, p. 202-215. 14 p.

    Research output: Contribution to conference (unpublished) › Paper

  34. Published

    Using probabilistic model checking for dynamic power management

    Gethin Norman, David Parker, Marta Kwiatkowska, 1 Aug 2005, In : Formal Aspects of Computing. 17, 2, p. 160-176 17 p.

    Research output: Contribution to journal › Article

  35. Published

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

    Gethin Norman, David Parker, Marta Kwiatkowska, 1 Jan 2004, p. 907-914. 8 p.

    Research output: Contribution to conference (unpublished) › Paper

  36. Published

    Automated formal analysis of side-channel attacks on probabilistic systems

    Chris Novakovic & David Parker, 15 Sep 2019, Computer Security – ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I. Sako, K., Schneider, S. & Ryan, P. Y. A. (eds.). Springer, p. 319-337 19 p. (Lecture Notes in Computer Science ; vol. 11735)(Security and Cryptology; vol. 11735).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  37. Accepted/In press

    Quantitative Verification of Certificate Transparency Gossip Protocols

    Michael Oxford, David Parker & Mark Ryan, 3 May 2020, (Accepted/In press) Proceedings of 6th International Workshop on Security and Privacy in the Cloud (SPC'20). IEEE Computer Society Press, 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  38. Published

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

    David Parker, Bruno Lacerda & Nick Hawes, 18 Feb 2014.

    Research output: Contribution to conference (unpublished) › Paper

  39. Published

    Software adaptation for an unmanned undersea vehicle

    David Parker & Chris Novakovic, 1 Mar 2019, In : IEEE Software. 36, 2, p. 91-96 6 p., 8648259.

    Research output: Contribution to journal › Article

  40. Published

    Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems, P Panagaden, F van Breugel (Editors) CRM Monograph Series

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2004, American Mathematical Society.

    Research output: Book/Report › Book

  41. E-pub ahead of print

    ATEN: And/Or Tree Ensemble for inferring accurate Boolean network topology and dynamics

    David Parker & Shan He, 17 Jul 2019, In : Bioinformatics. 8 p., btz563.

    Research output: Contribution to journal › Article

  42. Published

    Numerical vs. Statistical Probabilistic Model Checking

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jun 2006, In : International Journal on Software Tools for Technology Transfer. 8, 3, p. 216-228 13 p.

    Research output: Contribution to journal › Article

  43. Published

    Numerical vs. statistical probabilistic model checking: An empirical study

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2004, p. 46-60. 15 p.

    Research output: Contribution to conference (unpublished) › Paper

  44. Published

    A wavefront parallelisation of CTMC solution using MTBDDs

    David Parker & Marta Kwiatkowska, 1 Jan 2005, p. 734-742. 9 p.

    Research output: Contribution to conference (unpublished) › Paper

  45. Published

    Grid-enabled probabilistic model checking with PRISM

    David Parker & Marta Kwiatkowska, 1 Jan 2005.

    Research output: Contribution to conference (unpublished) › Paper

  46. Published

    Synthesizing efficient systems in probabilistic environments

    David Parker, May 2015, In : Acta Informatica. 237

    Research output: Contribution to journal › Article

Previous 1 2 Next