Dave Parker

61 - 70 out of 99Page size: 10
Sort by: Type

Publications

  1. Paper › Research › Not peer-reviewed
  2. 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

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

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

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

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

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

  8. Paper › Research › Peer-reviewed
  9. 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 › peer-review

  10. Article › Research › Not peer-reviewed
  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

    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

  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

Previous 1...3 4 5 6 7 8 9 10 Next