Dave Parker

Publications

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

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

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

  9. Published
  10. 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 journalArticle

  11. Published
  12. E-pub ahead of print