Dave Parker

Publications

  1. Published

    Synthesizing efficient systems in probabilistic environments

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

    Research output: Contribution to journalArticlepeer-review

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

  3. Published

    Grid-enabled probabilistic model checking with PRISM

    David Parker & Marta Kwiatkowska, 1 Jan 2005.

    Research output: Contribution to conference (unpublished)Paper

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

  6. 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, (E-pub ahead of print) In: Bioinformatics. 8 p., btz563.

    Research output: Contribution to journalArticlepeer-review

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

  9. Published

    Optimal Motion Planning for Markov Decision Processes with Co-Safe Linear Temporal Logic Specifications

    David Parker, Bruno Lacerda & Nick Hawes, 18 Feb 2014.

    Research output: Contribution to conference (unpublished)Paperpeer-review

  10. Accepted/In press

    Quantitative Verification of Certificate Transparency Gossip Protocols

    Michael Oxford, David Parker & Mark Ryan, 3 May 2020, (Accepted/In press) Proceedings of 6th International Workshop on Security and Privacy in the Cloud (SPC'20). IEEE Computer Society Press, 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Published

    Automated formal analysis of side-channel attacks on probabilistic systems

    Chris Novakovic & David Parker, 15 Sep 2019, Computer Security – ESORICS 2019: 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I. Sako, K., Schneider, S. & Ryan, P. Y. A. (eds.). Springer, p. 319-337 19 p. (Lecture Notes in Computer Science ; vol. 11735)(Security and Cryptology; vol. 11735).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. Published

    Translating the Probabilistic p-calculus to PRISM, Technical Report CSR-07-2

    Gethin Norman, David Parker, 1 Mar 2007, University of Birmingham.

    Research output: Book/ReportCommissioned report

  13. Published
  14. Published

    Verification and control of partially observable probabilistic real-time systems

    Gethin Norman, David Parker, 22 Aug 2015, Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Sankaranarayanan, S. & Vicario, E. (eds.). Springer, Vol. 9268. p. 240-255 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

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

  16. Published
  17. Published

    Using Probabilistic Model Checking for Dynamic Power Management. Technical Report DSSE-TR-2003-2

    Gethin Norman, David Parker, Marta Kwiatkowska, 1 Jan 2003, p. 202-215. 14 p.

    Research output: Contribution to conference (unpublished)Paper

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

  19. Published
  20. 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

Previous 1 2 3 4 5 Next