Summary
My broad area of research interest is the application of mathematical modelling techniques to real life systems. Specific areas of interest include, but are not limited to, modelling and optimisation in parallel queueing systems (especially split-merge and fork-join systems), modelling of storage systems, stochastic modelling of sport, stochastic modelling of healthcare systems, resource allocation and control in cloud-computing environments, numerical solution of (semi-)Markov models and specification techniques for SLA specification, compliance prediction and monitoring.
Publications
Journals
Wu H, Knottenbelt W, Wolter K, 2019, An efficient application partitioning algorithm in mobile environments, Ieee Transactions on Parallel and Distributed Systems, ISSN:1045-9219
Stewart I, Ilie D, Zamyatin A, et al., 2018, Committing to quantum resistance: a slow defence for Bitcoin against a fast quantum computing attack, Royal Society Open Science, Vol:5, ISSN:2054-5703
Harz D, Knottenbelt WJ, 2018, Towards Safer Smart Contracts: A Survey of Languages and Verification Methods., Corr, Vol:abs/1809.09805
Conference
Werner S, Pritz P, Zamyatin A, et al., Uncle Traps: Harvesting Rewards in a Queue-based EthereumMining Pool, 12th EAI International Conference on Performance Evaluation Methodologies and Tools