Alexandros I. Evangelidis

School of Computer Science · University of Birmingham
Teaching Fellow and Ph.D. candidate (Thesis Awaited Status)
working with Professor David Parker and Dr Rami Bahsoon



Research group: Birmingham Software Engineering Research Group.
Interests: State estimation, performance modelling and probabilistic verification.
Email: a [DOT] evangelidis [AT] cs [DOT] bham [DOT] ac [DOT] uk

Research Interests

State estimation, performance modelling and probabilistic verification.

Birmingham Software Engineering Research Group member


Publications

Quantitative Verification of Numerical Stability for Kalman Filters

Alexandros Evangelidis and David Parker
Proceedings of the 23rd International Symposium on Formal Methods, Springer. (FM).
Original publication link: SpringerLink
FM - 3rd World Congress on Formal Methods - The Next 30 Years
September 2019

Performance modelling and verification of cloud-based auto-scaling policies

Alexandros Evangelidis, David Parker, Rami Bahsoon
Future Generation Computer Systems, Vol. 87, Elsevier. (FGCS).
Original publication link: Elsevier
PDF · DATA
October 2018

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

Alexandros Evangelidis, David Parker, Rami Bahsoon
Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid).
Original publication links: IEEE , ACM
PDF · DATA
May 2017

Projects

PRINCESS project (official link)

(part of the DARPA-funded BRASS programme)

Teaching

MSc/ICY Java Workshop


Awards

December 2016 - December 2017

Contact

Office hours


Wednesdays 11:00 - 13:00
Office: Room 223


Email


a [DOT] evangelidis [AT] cs [DOT] bham [DOT] ac [DOT] uk