Dave Parker

Publications

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

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

  4. Published

    Controller dependability analysis by probabilistic model checking

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

    Research output: Contribution to conference (unpublished)Paper

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

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

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

  10. Published

    Grid-enabled probabilistic model checking with PRISM

    David Parker & Marta Kwiatkowska, 1 Jan 2005.

    Research output: Contribution to conference (unpublished)Paper

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

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