"I have no special talents. I am only passionately curious." - A. Einstein


Simos Gerasimou

PhD student, Department of Computer Science, University of York

Runtime Quantitative Verification of Self-Adaptive AI Systems

Who am I?

I am a PhD student at the department of Computer Science at the University of York and member of the Enterprise Systems research group.

My PhD researches the application of Runtime Quantitative Verification in Self-Adaptive Artificial Intelligence Systems. It is funded by DSTL, and is under the supervision of Dr. Radu Calinescu. We aim to combine and integrate techniques from the AI research area (autonomous behavior and self-adaptation) with formal specification, modelling, analysis and verification techniques so as to develop a novel approach for the engineering of autonomous AI systems in which the compliance of adaptation decisions with system requirements will be verified formally, at runtime.

Before starting my PhD in October 2012, I worked for a year as a Research Associate at the Software Engineering and Intelligent Information Systems research lab, hosted at the Department of Electrical Engineering / Computer Engineering and Informatics of the Cyprus University of Technology.

Research Interests

My main research interests include, but are not limited to:
  • Self-Adaptive and Autonomous Systems
  • Runtime Quantitative Verification
  • Search-based Software Engineering
  • Robotics

Professional Services

Recent Activities
Additional Reviewer
  • International Conference on Automated Software Engineering - ASE 2015
  • International Symposium on Software Engineering for Adaptive and Self-Managing Systems - SEAMS 2015
  • International Symposium on Modeling, Analysis and Simulation of Computer and Telec. Systems - MASCOTS 2015
  • International Conference on Performance Engineering - ICPE 2014
  • International Conference on Self-Adaptive and Self-Organizing Systems - SASO 2014
  • Euromicro Conference on Software Engineering and Advanced Applications - SEAA 2014, SEAA 2015
  • International Conference on Engineering of Complex Computer Systems - ICECCS 2015, ICECCS 2014
  • International Workshop on Formal Methods Integration - FMi 2014


  • Simos Gerasimou, Giordano Tamburrelli, Radu Calinescu — Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering. ASE 2015: to appear. [INFO]
  • Radu Calinescu, Simos Gerasimou, Alec Banks — Self-adaptive software with decentralised control loops. FASE 2015: p. 235-251. (Acceptance rate 28%). Nominated for best paper award [INFO]
  • Simos Gerasimou, Radu Calinescu, Alec Banks — Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration. SEAMS 2014: p.115-124 (Acceptance rate 22.8%). [DOI] [INFO]
  • Radu Calinescu, Kenneth Johnson, Yasmin Rafiq, Simos Gerasimou, Gabriel Costa Silva, Stanimir N. Pehlivanov — Continual Verification of Non-Functional Properties in Cloud-Based Systems. NiM-ALP@MoDELS 2013: p.1-5. [DOI]
  • Simos Gerasimou, Constantinos Stylianou, Andreas S. Andreou — An Investigation of Optimal Project Scheduling and Team Staffing in Software Development using Particle Swarm Optimization. ICEIS 2012: p.168-171. [DOI]
  • Constantinos Stylianou, Simos Gerasimou, Andreas S. Andreou — A Novel Prototype Tool for Intelligent Software Project Scheduling and Staffing Enhanced with Personality Factors. ICTAI 2012: p.277-284. [DOI]