Dr:
David
Parker
Organisation-Oriented Coarse Graining and Refinement of Stochastic Reaction Networks

IEEE - ACM Transactions on Computational Biology and Bioinformatics [1545-5963]

Mu, Chunyan | Dittrich, Peter | Parker, David | Rowe, Jonathan

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

Future Generation Computer Systems [0167-739X]

Evangelidis, Alexandros | Parker, David | Bahsoon, Rami

PRISM-games

International Journal on Software Tools for Technology Transfer [1433-2779]

Kwiatkowska, Marta | Parker, David | Wiltsche, Clemens

Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata

In: KiMfest

Kwiatkowska, Marta | Norman, Gethin | Parker, David

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

In: Proceedings of 2017 IEEE/ACM 17th International Symposium on Cluster, Cloud and Grid Computing (CCGrid'17)

Evangelidis, Alexandros | Parker, David | Bahsoon, Rami

Ensuring the Reliability of Your Model Checker:

In: Computer Aided Verification

Baier, Christel | Klein, Joachim | Leuschner, Linda | Parker, David

Verification and control of partially observable probabilistic systems

Real-Time Systems [0922-6443]

Norman, Gethin | Parker, David | Zou, Xueyi

Probabilistic Model Checking:

In: Formal System Verification

Kwiatkowska, Marta | Norman, Gethin | Parker, David

Multi-objective Policy Generation for Mobile Robots under Probabilistic Time-Bounded Guarantees

In: Proceedings of the twenty seventh International Conference on Automated Planning and Scheduling (ICAPS 2017)

Lacerda, Bruno | Parker, David | Hawes, Nicholas

Quantitative Verification and Synthesis of Attack-Defence Scenarios

In: Proceedings 29th IEEE Computer Security Foundations Symposium (CSF'16)

Aslanyan, Zaruhi | Nielson , Flemming | Parker, David