Dave Parker

51 - 60 out of 96Page size: 10

Publications

  1. 2009
  2. 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)

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

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

  7. 2006
  8. 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

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

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

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

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

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

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

Previous 12 3 4 5 6 7 8 9 10 Next