Performance modelling and verification of cloud-based auto-scaling policies. - Alexandros Evangelidis; David Parker 001; Rami Bahsoon (Future Gener. Comput. Syst., 2018)

Quantitative Verification of Numerical Stability for Kalman Filters. - Alexandros Evangelidis; David Parker 001 (FM, 2019)

Verified control and estimation for cloud computing. - Alexandros Evangelidis (2020)

Quantitative verification of Kalman filters. - Alexandros Evangelidis; David Parker 001 (Formal Aspects Comput., 2021)

Optimistic and Topological Value Iteration for Simple Stochastic Games. - Muqsit Azeem; Alexandros Evangelidis; Jan Kretínský; Alexander Slivinskiy; Maximilian Weininger (ATVA, 2022)

MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints. - Severin Bals; Alexandros Evangelidis; Kush Grover; Jan Kretínský; Jakob Waibel (CoRR, 2023)

MultiGain 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints. - Severin Bals; Alexandros Evangelidis; Kush Grover; Jan Kretínský; Jakob Waibel (Zenodo, 2023)

MultiGain 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints. - Severin Bals; Alexandros Evangelidis; Kush Grover; Jan Kretínský; Jakob Waibel (Zenodo, 2023)

MultiGain 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints. - Severin Bals; Alexandros Evangelidis; Kush Grover; Jan Kretínský; Jakob Waibel (Zenodo, 2023)

MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱. - Severin Bals; Alexandros Evangelidis; Jan Kretínský; Jakob Waibel (HSCC, 2024)

Poster Abstract: MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱. - Severin Bals; Alexandros Evangelidis; Jan Kretínský; Jakob Waibel (HSCC, 2024)

MultiGain 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints. - Severin Bals; Alexandros Evangelidis; Jan Kretínský; Jakob Waibel (Zenodo, 2024)

Adaptive Human-Robot Collaborative Missions using Hybrid Task Planning. - Gricel Vázquez; Alexandros Evangelidis; Sepeedeh Shahbeigi; Simos Gerasimou (SEAMS@ICSE, 2025)

Efficient Strategy Synthesis for MDPs via Hierarchical Block Decomposition. - Alexandros Evangelidis; Gricel Vázquez; Simos Gerasimou (CoRR, 2025)