Dave Parker

1 - 10 out of 98Page size: 10

Publications

  1. 2001
  2. Published

    Computer Science Technical Reports: Faster and Symbolic CTMC Model Checking

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

    Research output: Working paper

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

  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

    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

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

  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

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