Dave Parker

Publications

  1. 2001
  2. Published
  3. Published
  4. 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

  5. Published

    PRISM: Probabilistic Symbolic Model Checker

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

    Research output: Contribution to conference (unpublished)Paper

  6. 2002
  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
  9. Published
  10. 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

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

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

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

  15. Published
  16. Published
  17. Published
  18. 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

  19. 2004
  20. Published

    Controller dependability analysis by probabilistic model checking

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

    Research output: Contribution to conference (unpublished)Paper

  21. Published

    Dual-processor parallelisation of symbolic probabilistic model checking

    Marta Kwiatkowska, David Parker, Yi Zhang, 1 Jan 2004, p. 123-130. 8 p.

    Research output: Contribution to conference (unpublished)Paper

  22. Published
  23. Published
  24. 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

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

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

  27. Published
  28. 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 proceedingChapter

  29. 2005
  30. 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

  31. Published
  32. Published

    Grid-enabled probabilistic model checking with PRISM

    David Parker & Marta Kwiatkowska, 1 Jan 2005.

    Research output: Contribution to conference (unpublished)Paper

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

  34. Published
  35. 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 journalArticle

  36. 2006
  37. Published
  38. Published
  39. 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

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

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

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

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

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

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

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

  47. Published
  48. Published
  49. Published
  50. 2007
  51. 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/ReportCommissioned report

  52. 2008
  53. Published

    Probabilistic model checking of complex biological pathways

    John Heath, Marta Kwiatkowska, Gethin Norman, David Parker, 14 Feb 2008, In : Theoretical Computer Science. 391, 3, p. 239-257 19 p.

    Research output: Contribution to journalArticle

  54. 2009
  55. Published

    Abstraction Refinement for Probabilistic Software

    Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman & David Parker, 2009, Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings. Jones, ND. & Muller-Olm, M. (eds.). Springer, p. 182-197 (Lecture Notes in Computer Science ; vol. 5403).

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

  56. 2010
  57. Published

    Assume-Guarantee Verification for Probabilistic Systems

    David Parker, 2010, Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Esparza, J. & Majumdar, R. (eds.). Springer, p. 23-37 (Lecture Notes in Computer Science; vol. 6015).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  58. Published
  59. 2013
  60. Published

    Automatic verification of competitive stochastic systems

    David Parker, 1 Aug 2013, In : Formal Methods in System Design. 43, 1, p. 61-92

    Research output: Contribution to journalArticle

  61. Published

    Probabilistic point-to-point information leakage

    Tom Chothia, Yusuke Kawamoto & David Parker, 9 Oct 2013, Proceedings - 2013 IEEE 26th Computer Security Foundations Symposium, CSF 2013. p. 193-205 13 p. 6595829

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 Next