| Performance modelling and verification of cloud-based auto-scaling policies - extended version A Evangelidis, D Parker, R Bahsoon Future Generation Computer Systems 87, 629-638, 2018 | 75 | 2018 |
| Performance Modelling and Verification of Cloud-based Auto-Scaling Policies A Evangelidis, D Parker, R Bahsoon Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud …, 2017 | 75 | 2017 |
| Optimistic and topological value iteration for simple stochastic games M Azeem, A Evangelidis, J Křetínský, A Slivinskiy, M Weininger Automated Technology for Verification and Analysis: 20th International …, 2022 | 8 | 2022 |
| Optimistic and Topological Value Iteration for Simple Stochastic Games - extended version M Azeem, A Evangelidis, J Křetínský, A Slivinskiy, M Weininger arXiv preprint arXiv:2207.14417, 2022 | 8* | 2022 |
| Quantitative Verification of Numerical Stability for Kalman Filters A Evangelidis, D Parker International Symposium on Formal Methods 11800, 425-441, 2019 | 6 | 2019 |
| Quantitative Verification of Kalman Filters A Evangelidis, D Parker Formal Aspects of Computing, 1-25, 2021 | 5 | 2021 |
| Verified control and estimation for cloud computing A Evangelidis University of Birmingham, 2020 | 1 | 2020 |
| MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints S Bals, A Evangelidis, J Křetínský, J Waibel HSCC '24: Proceedings of the 27th ACM International Conference on Hybrid …, 2024 | | 2024 |
| Poster Abstract: MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints S Bals, A Evangelidis, J Křetínský, J Waibel HSCC '24: Proceedings of the 27th ACM International Conference on Hybrid …, 2024 | | 2024 |
| MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints S Bals, A Evangelidis, J Kretinsky, J Waibel arXiv preprint arXiv:2305.16752, 2024 | | 2024 |
David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
