Dave Parker

51 - 98 out of 98Page size: 50

Publications

  1. 2010
  2. Published

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

    Mark Kattenbelt, Marta Kwiatkowska, Gethin Norman & David Parker, 1 Sep 2010, In: Formal Methods in System Design. 36, 3, p. 246-280

    Research output: Contribution to journal › Article › peer-review

  3. 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 proceeding › Conference contribution

  4. 2009
  5. 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 proceeding › Chapter (peer-reviewed)

  6. 2008
  7. 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 journal › Article › peer-review

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

  10. 2006
  11. Published

    A Formal Analysis of Bluetooth Device Discovery

    Marie Duflot, Marta Kwiatkowska, Gethin Norman & David Parker, 27 Oct 2006, In: International Journal on Software Tools for Technology Transfer. 8, 6, p. 621-632 12 p.

    Research output: Contribution to journal › Article

  12. Published

    Performance Analysis of Probabilistic Timed Automata using Digital Clocks

    Marta Kwiatkowska, Gethin Norman, David Parker, 1 Jul 2006, In: Formal Methods in System Design. 29, 1, p. 33-78 46 p.

    Research output: Contribution to journal › Article

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  29. Published

    Grid-enabled probabilistic model checking with PRISM

    David Parker & Marta Kwiatkowska, 1 Jan 2005.

    Research output: Contribution to conference (unpublished) › Paper

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

  31. 2004
  32. Published

    Controller dependability analysis by probabilistic model checking

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

    Research output: Contribution to conference (unpublished) › Paper

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

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

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

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

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

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

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

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

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

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

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

  45. Published

    Technical Report CSR-03-6: Performance analysis of Probabilistic Timed Automata using Digital Clocks

    Marta Kwiatkowska, Gethin Norman, David Parker & Jeremy Sproston, 1 Jan 2003.

    Research output: Working paper

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

  47. 2002
  48. 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

  49. Published

    Computer Science Technical Reports 2002: A Symbolic Out-of-Core Solution Method for Markov Models

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

    Research output: Working paper

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

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

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

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

  54. 2001
  55. Published

    Computer Science Technical Reports: Faster and Symbolic CTMC Model Checking

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

    Research output: Working paper

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

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

  58. Published

    PRISM: Probabilistic Symbolic Model Checker

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

    Research output: Contribution to conference (unpublished) › Paper

Previous 1 2 Next