Dave Parker

Publications

  1. Article › Research › Peer-reviewed
  2. Accepted/In press

    Fault diagnosis in labelled Petri nets: A Fourier-Motzkin based approach

    David Parker, 5 Jun 2021, (Accepted/In press) In: Automatica.

    Research output: Contribution to journalArticlepeer-review

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

  4. Published

    Multi-scale stochastic organization-oriented coarse-graining exemplified on the human mitotic checkpoint

    David Parker, Chris Good, Jon Rowe, 7 Mar 2019, In: Scientific Reports. 9, 1, 17 p., 3902.

    Research output: Contribution to journalArticlepeer-review

  5. E-pub ahead of print

    Organisation-Oriented Coarse Graining and Refinement of Stochastic Reaction Networks

    David Parker & Jon Rowe, 9 Feb 2018, (E-pub ahead of print) In: IEEE - ACM Transactions on Computational Biology and Bioinformatics. 14 p.

    Research output: Contribution to journalArticlepeer-review

  6. E-pub ahead of print
  7. 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

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

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

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

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

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

  13. Published

    Synthesizing efficient systems in probabilistic environments

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

    Research output: Contribution to journalArticlepeer-review

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

  15. Working paper › Research
  16. Published
  17. Published
  18. Published
  19. Published
  20. Published
  21. Published
  22. Published