Dave Parker

Publications

  1. Article › Research › Peer-reviewed
  2. E-pub ahead of print

    Performance Modelling and Verification of Cloud-based Auto-Scaling Policies

    Alexandros Evangelidis, David Parker & Rami Bahsoon, 10 Jan 2018, (E-pub ahead of print) In: Future Generation Computer Systems. 21 p.

    Research output: Contribution to journalArticlepeer-review

  3. Published
  4. Published

    Permissive Controller Synthesis for Probabilistic Systems

    David Parker & , 30 Jun 2015, In: Logical Methods in Computer Science. 11, 12, 16.

    Research output: Contribution to journalArticlepeer-review

  5. Published

    Probabilistic model checking of complex biological pathways

    John Heath, Marta Kwiatkowska, Gethin Norman, David Parker & , 14 Feb 2008, In: Theoretical Computer Science. 391, 3, p. 239-257 19 p.

    Research output: Contribution to journalArticlepeer-review

  6. Published

    Probabilistic planning with formal performance guarantees for mobile service robots

    Fatma Faruq, David Parker & , 1 Aug 2019, In: The International Journal of Robotics Research. 38, 9, p. 1098–1123 26 p.

    Research output: Contribution to journalArticlepeer-review

  7. Published
  8. E-pub ahead of print

    Quantitative verification of Kalman filters

    Alexandros Evangelidis & David Parker, 5 Feb 2021, (E-pub ahead of print) In: Formal Aspects of Computing.

    Research output: Contribution to journalArticlepeer-review

  9. Published

    Software adaptation for an unmanned undersea vehicle

    David Parker, & Chris Novakovic, 1 Mar 2019, In: IEEE Software. 36, 2, p. 91-96 6 p., 8648259.

    Research output: Contribution to journalArticlepeer-review

  10. Published

    Synthesizing efficient systems in probabilistic environments

    David Parker & , May 2015, In: Acta Informatica. 237

    Research output: Contribution to journalArticlepeer-review

  11. Published

    Verification and control of partially observable probabilistic systems

    David Parker & , May 2017, In: Real-Time Systems. 53, 3, p. 354–402 49 p.

    Research output: Contribution to journalArticlepeer-review

  12. Working paper › Research
  13. Published
  14. Published
  15. Published
  16. Published
  17. Published
  18. Published
  19. Published
  20. Published
Previous 12 3 4 5 6 Next