Simos Gerasimou

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

Who?
Simos Gerasimou

What?
Research Associate, Dept. of Computer Science, University of York

Current Research Project?
Assurance and safety cases for autonomous systems

Who am I?

I am a Research Associate at the High-Integrity Systems Engineering research group within the Department of Computer Science at the University of York, UK. I received a BSc in Computer Science from the University of Cyprus, CY, in 2010, and MSc in Software Engineering and PhD in Computer Science from the University of York, UK, in 2011 and 2017, respectively.

Sept'17-Present: Assurance and safety cases for autonomous systems

I am a Research Associate on a project funded by Jaguar-Land Rover project that investigates the application of safety cases in the automotive domain.

Oct'16-Aug'17: Software Obsolescence in Safety-Related Software Systems

I was a Research Associate on a DSTL-funded project that investigated technical obsolescence in safety-related software for airborne systems. The project explored the challenges for software modernisation due to functional, technological or logistical obsolescence, evaluated mitigation strategies, and developed proof-of-concept demonstrators using code-based transformation techniques to facilitate software modernisation.

Oct'12-Sept'16: Runtime Quantitative Verification of Self-Adaptive AI Systems

My PhD investigates the application of runtime quantitative verification in self-adaptive systems. It was funded by DSTL, and was under the supervision of Dr. Radu Calinescu. We introduced variants of runtime quantitative verification that improve its efficiency and scalability, and extend its applicability to larger and more complex self-adaptive software systems.

Oct'11-Sept'12: Runtime Quantitative Verification of Self-Adaptive AI Systems

Before starting my PhD, I was 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. My research focused on software project management, project scheduling and team staffing using artificial intelligence such as swarm intelligence and genetic algorithms. I also worked on the composition of research proposals for national and European funding schemes.

Research Interests

My research interests lie in the area of self-adaptive and autonomous systems with a focus on methods that enable dependable system adaptation. Other research interests include runtime quantitative verification, search-based software engineering, model-driven engineering, robotics and artificial intelligence.

Professional Services

PC of IEEE Workshop on Quality Assurance for Self-adaptive, Self-organising Systems - QA4SASO'17
OC of International Conference on Software Engineering and Formal Methods - SEFM 2015
General Co-chair of York Doctoral Symposium - YDS 2013
OC of International Space Apps Challenge - ISAC York 2014, 2015, 2016
PC of York Doctoral Symposium - YDS 2014, YDS 2015, YDS 2016, YDS 2017

Other Activities

Attended the GI-Dagstuhl seminar on Software Engineering for Self-Adaptive Systems (Oct. 2014)
Attended Summer School Marktoberdorf 2014 on Dependable Software Systems Engineering (Aug. 2014)

Additional Reviewer

Publications

R. Calinescu, D. Weyns, S. Gerasimou, M. Iftikhar, I. Habli, T. Kelly Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. TSE 2018: in print. [INFO]
S. Gerasimou, R. Calinescu, S. Shevtsov, D. Weyns UNDERSEA: an exemplar for engineering self-adaptive unmanned underwater vehicles. SEAMS 2017: p. 83-89. [INFO]
R. Calinescu, M. Ceska, S. Gerasimou, M. Kwiatkowska, N. Paoletti. RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. QEST 2017: p. 304-308. [INFO]
R. Calinescu, M. Ceska, S. Gerasimou, M. Kwiatkowska, N. Paoletti. Designing Robust Software Systems through Parametric Markov Chain Synthesis. ICSA 2017: p. 131-140. [INFO]
R. Calinescu, M. Autili, J. Camara, A. Di Marco, S. Gerasimou, P. Inverardi, A. Perucci, N. Jansen, J. P. Katoen, M. Kwiatkowska, O. J. Mengshoel, R. Spalazzese, M. Tivoli — Synthesis and Verification of Self-aware Computing Systems. Self-Aware Computing Systems: p. 319-330.
S. Gerasimou — Runtime quantitative verification of self-adaptive systems. PhD Thesis 2016. [INFO]
S. Gerasimou, G. Tamburrelli, R. Calinescu — Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering. ASE 2015: p. 319-330. [INFO]
R. Calinescu, S. Gerasimou, A. Banks — Self-adaptive software with decentralised control loops. FASE 2015: p. 235-251. (Acceptance rate 28%). Nominated for best paper award [INFO]
S. Gerasimou, R. Calinescu, A. Banks — Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration. SEAMS 2014: p.115-124 (Acceptance rate 22.8%). [INFO]
R. Calinescu, K. Johnson, Y. Rafiq, S. Gerasimou, G. C. Silva, S. N. Pehlivanov — Continual Verification of Non-Functional Properties in Cloud-Based Systems. NiM-ALP@MoDELS 2013: p.1-5. /li>
S. Gerasimou, C. Stylianou, A. S. Andreou — An Investigation of Optimal Project Scheduling and Team Staffing in Software Development using Particle Swarm Optimization. ICEIS 2012: p.168-171.
C. Stylianou, S. Gerasimou, A. S. Andreou — A Novel Prototype Tool for Intelligent Software Project Scheduling and Staffing Enhanced with Personality Factors. ICTAI 2012: p.277-284.