Dave Parker

Publications

  1. Paper › Research › Not peer-reviewed
  2. Published

    Faster and symbolic CTMC model checking

    Marta Kwiatkowska, Gethin Norman, David Parker, & , 1 Jan 2001, p. 23-38. 16 p.

    Research output: Contribution to conference (unpublished)Paper

  3. 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

  4. 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

  5. Published

    Grid-enabled probabilistic model checking with PRISM

    David Parker & Marta Kwiatkowska, 1 Jan 2005.

    Research output: Contribution to conference (unpublished)Paper

  6. 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

  7. Published

    On reduction criteria for probabilistic reward models

    Gethin Norman, , , Marta Kwiatkowska & David Parker, 1 Jan 2006, p. 309-320. 12 p.

    Research output: Contribution to conference (unpublished)Paper

  8. Published

    On the Use of MTBDDs for Peformability Analysis and Verification of Stochastic Systems

    Marta Kwiatkowska, Gethin Norman, David Parker & , 1 Jan 2003, p. 23-67. 45 p.

    Research output: Contribution to conference (unpublished)Paper

  9. 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

  10. Published

    PRISM: A Tool for Automatic Verification of Probabilistic Systems

    Marta Kwiatkowska, Gethin Norman, David Parker, & , 1 Jan 2006, p. 441-444. 4 p.

    Research output: Contribution to conference (unpublished)Paper

  11. Published

    PRISM: A tool for automatic verification of probabilistic systems

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2006, p. 441-444. 4 p.

    Research output: Contribution to conference (unpublished)Paper

  12. Published

    PRISM: Probabilistic Symbolic Model Checker

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

    Research output: Contribution to conference (unpublished)Paper

  13. 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

  14. Published

    Performance analysis of probabilistic timed automata using digital clocks

    Marta Kwiatkowska, Gethin Norman, David Parker & Jeremy Sproston, 1 Jan 2004, p. 105-120. 16 p.

    Research output: Contribution to conference (unpublished)Paper

  15. 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

  16. Published

    Probabilistic model checking of complex biological pathways

    John Heath, Marta Kwiatkowska, Gethin Norman, David Parker & , 1 Jan 2006, p. 32-47. 16 p.

    Research output: Contribution to conference (unpublished)Paper

  17. Published

    Probabilistic model checking of complex biological pathways

    John Heath, Marta Kwiatkowska, Gethin Norman, David Parker & , 1 Jan 2006, p. 32-47. 16 p.

    Research output: Contribution to conference (unpublished)Paper

  18. 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

  19. Published

    Probabilistic symbolic model checking with PRISM: A hybrid approach

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2002, p. 52-66. 15 p.

    Research output: Contribution to conference (unpublished)Paper

  20. 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

  21. Published

    Symmetry reduction for probabilistic model checking

    Marta Kwiatkowska, Gethin Norman & David Parker, 1 Jan 2006, p. 234-248. 15 p.

    Research output: Contribution to conference (unpublished)Paper