Dave Parker

71 - 80 out of 99Page size: 10
Sort by: Type

Publications

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

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

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

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

  6. Article › Research › Peer-reviewed
  7. 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

  8. E-pub ahead of print

    ATEN: And/Or Tree Ensemble for inferring accurate Boolean network topology and dynamics

    David Parker & Shan He, 17 Jul 2019, In: Bioinformatics. 8 p., btz563.

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

  9. Published

    Automatic verification of competitive stochastic systems

    David Parker, 1 Aug 2013, In: Formal Methods in System Design. 43, 1, p. 61-92

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

  10. E-pub ahead of print

    Automatic verification of concurrent stochastic systems

    David Parker, 22 Jan 2021, In: Formal Methods in System Design. 58 p.

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

  11. Published

    Compositional probabilistic verification through multi-objective model checking

    Marta Kwiatkowska, Gethin Norman, David Parker, Nov 2013, In: Information and Computation. 232, p. 38-65

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

  12. Published

    Local abstraction refinement for probabilistic timed programs

    Marta Kwiatkowska, David Parker, 12 Jun 2014, In: Theoretical Computer Science. 538, p. 37-53

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

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