An Investigation of Optimal Project Scheduling and Team Staffing in Software Development using Particle Swarm Optimization. - Simos Gerasimou; Constantinos Stylianou; Andreas S. Andreou (ICEIS (2), 2012)

A Novel Prototype Tool for Intelligent Software Project Scheduling and Staffing Enhanced with Personality Factors. - Constantinos Stylianou; Simos Gerasimou; Andreas S. Andreou (ICTAI, 2012)

Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software - Advances, Applications and Research Challenges. - Radu Calinescu; Simos Gerasimou; Kenneth Johnson; Colin Paterson (Software Engineering for Self-Adaptive Systems, 2013)

Continual Verification of Non-Functional Properties in Cloud-Based Systems. - Radu Calinescu; Kenneth Johnson; Yasmin Rafiq; Simos Gerasimou; Gabriel Costa Silva; Stanimir N. Pehlivanov (NiM-ALP@MoDELS, 2013)

Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration. - Simos Gerasimou; Radu Calinescu; Alec Banks (SEAMS, 2014)

Self-adaptive Software with Decentralised Control Loops. - Radu Calinescu; Simos Gerasimou; Alec Banks (FASE, 2015)

Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering (T). - Simos Gerasimou; Giordano Tamburrelli; Radu Calinescu (ASE, 2015)

Runtime quantitative verification of self-adaptive systems. - Simos Gerasimou (2016)

Synthesis and Verification of Self-aware Computing Systems. - Radu Calinescu; Marco Autili; Javier Cámara 001; Antinisca Di Marco; Simos Gerasimou; Paola Inverardi; Alexander Perucci; Nils Jansen 001; Joost-Pieter Katoen; Marta Z. Kwiatkowska; Ole J. Mengshoel; Romina Spalazzese; et al. (Self-Aware Computing Systems, 2017)

Designing Robust Software Systems through Parametric Markov Chain Synthesis. - Radu Calinescu; Milan Ceska 002; Simos Gerasimou; Marta Kwiatkowska; Nicola Paoletti (ICSA, 2017)

UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles. - Simos Gerasimou; Radu Calinescu; Stepan Shevtsov; Danny Weyns (SEAMS@ICSE, 2017)

RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. - Radu Calinescu; Milan Ceska 002; Simos Gerasimou; Marta Kwiatkowska; Nicola Paoletti (QEST, 2017)

Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems. - Simos Gerasimou; Dimitris S. Kolovos; Richard F. Paige; Michael Standish (STAF Workshops, 2017)

UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles (Artifact). - Simos Gerasimou; Radu Calinescu; Stepan Shevtsov; Danny Weyns (Dagstuhl Artifacts Ser., 2017)

Towards Automatic Generation of UML Profile Graphical Editors for Papyrus. - Athanasios Zolotas; Ran Wei; Simos Gerasimou; Horacio Hoyos Rodriguez; Dimitrios S. Kolovos; Richard F. Paige (ECMFA, 2018)

ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases. - Radu Calinescu; Danny Weyns; Simos Gerasimou; M. Usman Iftikhar; Ibrahim Habli; Tim Kelly (ICSE, 2018)

On Software Modernisation due to Library Obsolescence. - Simos Gerasimou; Maria Kechagia; Dimitris S. Kolovos; Richard F. Paige; Georgios Gousios (WAPI@ICSE, 2018)

On the Transition from Design Time to Runtime Model-Based Assurance Cases. - Ran Wei; Tim Kelly; Jan Reich; Simos Gerasimou (MoDELS (Workshops), 2018)

Synthesis of probabilistic models for quality-of-service software engineering. - Simos Gerasimou; Radu Calinescu; Giordano Tamburrelli (Autom. Softw. Eng., 2018)

Efficient synthesis of robust models for stochastic systems. - Radu Calinescu; Milan Ceska 002; Simos Gerasimou; Marta Kwiatkowska; Nicola Paoletti (J. Syst. Softw., 2018)

Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158]. - Radu Calinescu; Milan Ceska 002; Simos Gerasimou; Marta Kwiatkowska; Nicola Paoletti (J. Syst. Softw., 2018)

Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. - Radu Calinescu; Danny Weyns; Simos Gerasimou; Muhammad Usman Iftikhar; Ibrahim Habli; Tim Kelly (IEEE Trans. Software Eng., 2018)

DeepFault: Fault Localization for Deep Neural Networks. - Hasan Ferit Eniser; Simos Gerasimou; Alper Sen 001 (FASE, 2019)

Architecting Trustworthy Self-Adaptive Systems (Tutorial). - Radu Calinescu; Danny Weyns; Simos Gerasimou; Ibrahim Habli (ICSA Companion, 2019)

On learning in collective self-adaptive systems: state of practice and a 3D framework. - Mirko D'Angelo; Simos Gerasimou; Sona Ghahremani; Johannes Grohmann; Ingrid Nunes; Evangelos Pournaras; Sven Tomforde (SEAMS@ICSE, 2019)

Towards systematic engineering of collaborative heterogeneous robotic systems. - Simos Gerasimou; Nicholas Matragkas; Radu Calinescu (RoSE@ICSE, 2019)

Software Engineering for Intelligent and Autonomous Systems: Report from the GI Dagstuhl Seminar 18343. - Simos Gerasimou; Thomas Vogel 001; Ada Diaconescu (CoRR, 2019)

Learning to Learn in Collective Adaptive Systems: Mining Design Patterns for Data-driven Reasoning. - Mirko D'Angelo; Sona Ghahremani; Simos Gerasimou; Johannes Grohmann; Ingrid Nunes; Sven Tomforde; Evangelos Pournaras (ACSOS Companion, 2020)

Empirical Analysis of 1-edit Degree Patches in Syntax-Based Automatic Program Repair. - Piotr Dziurzanski; Simos Gerasimou; Dimitrios S. Kolovos; Nicholas Matragkas (CEC, 2020)

Importance-driven deep learning system testing. - Simos Gerasimou; Hasan Ferit Eniser; Alper Sen 001; Alper Çakan (ICSE, 2020)

Interval Change-Point Detection for Runtime Probabilistic Model Checking. - Xingyu Zhao 001; Radu Calinescu; Simos Gerasimou; Valentin Robu; David Flynn (ASE, 2020)

Intelligent run-time partitioning of low-code system models. - Sorour Jahanbin; Dimitris S. Kolovos; Simos Gerasimou (MoDELS (Companion), 2020)

Supporting robotic software migration using static analysis and model-driven engineering. - Sophie Wood; Nicholas Matragkas; Dimitris S. Kolovos; Richard F. Paige; Simos Gerasimou (MoDELS, 2020)

Genetic Improvement @ ICSE 2020. - William B. Langdon; Westley Weimer; Justyna Petke; Erik M. Fredericks; Seongmin Lee 001; Emily Winter 001; Michail Basios; Myra B. Cohen; Aymeric Blot; Markus Wagner 007; Bobby R. Bruce; Shin Yoo; et al. (ACM SIGSOFT Softw. Eng. Notes, 2020)

Automatic generation of UML profile graphical editors for Papyrus. - Ran Wei; Athanasios Zolotas; Horacio Hoyos Rodriguez; Simos Gerasimou; Dimitrios S. Kolovos; Richard F. Paige (Softw. Syst. Model., 2020)

Probabilistic Program Performance Analysis. - Ioannis Stefanakos; Radu Calinescu; Simos Gerasimou (SEAA, 2021)

Fast Parametric Model Checking through Model Fragmentation. - Xinwei Fang; Radu Calinescu; Simos Gerasimou; Faisal Alhwikem (ICSE, 2021)

Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. - Simos Gerasimou; Javier Cámara 001; Radu Calinescu; Naif Alasmari; Faisal Alhwikem; Xinwei Fang (ASE, 2021)

Model-Driven Simulation-Based Analysis for Multi-Robot Systems. - James Harbin; Simos Gerasimou; Nicholas Matragkas; Athanasios Zolotas; Radu Calinescu (MoDELS, 2021)

Software Performance Engineering with Performance Antipatterns and Code-level Probabilistic Analysis. - Ioannis Stefanakos; Simos Gerasimou; Radu Calinescu (MoDELS (Companion), 2021)

Skeptical Dynamic Dependability Management for Automated Systems. - Fabio Arnez; Guillaume Ollier; Ansgar Radermacher; Morayo Adedjouma; Simos Gerasimou; Chokri Mraidha; François Terrier (DSD, 2022)

Using Operational Design Domain in Hazard Identification for Automated Systems. - Guillaume Ollier; Diana Razafindrabe; Morayo Adedjouma; Simos Gerasimou; Chokri Mraidha (EDCC, 2022)

Partial Loading of Repository-Based Models through Static Analysis. - Sorour Jahanbin; Dimitris S. Kolovos; Simos Gerasimou; Gerson Sunyé (SLE, 2022)

Fast Parametric Model Checking. - Xinwei Fang; Radu Calinescu; Simos Gerasimou; Faisal Alhwikem (CoRR, 2022)

An Ontological Approach for the Dependability Analysis of Automated Systems. - Guillaume Ollier; Morayo Adedjouma; Simos Gerasimou; Chokri Mraidha (DSD, 2023)

Towards an Ontological Methodology for Dynamic Dependability Management of Unmanned Aerial Vehicles. - Guillaume Ollier; Fabio Arnez; Morayo Adedjouma; Raphaël Lallement; Simos Gerasimou; Chokri Mraidha (DroneSE/RAPIDO@HiPEAC, 2023)

Semantic Data Augmentation for Deep Learning Testing Using Generative AI. - Sondess Missaoui; Simos Gerasimou; Nicholas Matragkas (ASE, 2023)

Towards Memory-Efficient Validation of Large XMI Models. - Sorour Jahanbin; Dimitris S. Kolovos; Simos Gerasimou (MoDELS (Companion), 2023)

Bayesian Learning for the Robust Verification of Autonomous Robots. - Xingyu Zhao 001; Simos Gerasimou; Radu Calinescu; Calum Imrie; Valentin Robu; David Flynn (CoRR, 2023)

Probabilistic program performance analysis with confidence intervals. - Ioannis Stefanakos; Radu Calinescu; Simos Gerasimou (Inf. Softw. Technol., 2023)

Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems. - Danny Weyns; Radu Calinescu; Raffaela Mirandola; Kenji Tei; Maribel Acosta; Amel Bennaceur; Nicolas Boltz; Tomás Bures; Javier Cámara 001; Ada Diaconescu; Gregor Engels; Simos Gerasimou; et al. (ACM SIGSOFT Softw. Eng. Notes, 2023)

Model-driven design space exploration for multi-robot systems in simulation. - James Harbin; Simos Gerasimou; Nicholas Drivalos Matragkas; Thanos Zolotas; Radu Calinescu; Misael Alpizar Santana (Softw. Syst. Model., 2023)

Fast Parametric Model Checking With Applications to Software Performability Analysis. - Xinwei Fang; Radu Calinescu; Simos Gerasimou; Faisal Alhwikem (IEEE Trans. Software Eng., 2023)

Robust Uncertainty Quantification Using Conformalised Monte Carlo Prediction. - Daniel Bethell; Simos Gerasimou; Radu Calinescu (AAAI, 2024)

REBA: Robotic Emotional-Based Awareness. - Pandelis Kriadis; Simos Gerasimou (ACSOS, 2024)

Code-Level Safety Verification for Automated Driving: A Case Study. - Vladislav Nenchev; Calum Imrie; Simos Gerasimou; Radu Calinescu (FM (2), 2024)

Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications. - Ionut Predoaia; James Harbin; Simos Gerasimou; Christina Vasiliou; Dimitris S. Kolovos; Antonio García-Domínguez (MODELS, 2024)

Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems. - Javier Cámara 001; Sebastian Hahner; Diego Perez-Palacin; Antonio Vallecillo; Maribel Acosta; Nelly Bencomo; Radu Calinescu; Simos Gerasimou (SEAMS@ICSE, 2024)

Quantitative Assurance and Synthesis of Controllers from Activity Diagrams. - Kangfeng Ye; Fang Yan; Simos Gerasimou (CoRR, 2024)

DeepKnowledge: Generalisation-Driven Deep Learning Testing. - Sondess Missaoui; Simos Gerasimou; Nikolaos Drivalos Matragkas (CoRR, 2024)

Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding. - Daniel Bethell; Simos Gerasimou; Radu Calinescu; Calum Imrie (CoRR, 2024)

Multi-Partner Project: Safe, Secure and Dependable Multi-UAV Systems for Search and Rescue Operations. - Panagiota Nikolaou; Antonis Savva; Ioannis Sorokos; Koorosh Aslansefat; Sondess Missaoui; Mohammed Naveed Akram; Daniel Hillen; Marc Lorenz; Martin D. Walker; Manos Papoutsakis; Simos Gerasimou; Panayiotis Kolios; et al. (DATE, 2025)

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

Compositional code-level safety verification for automated driving controllers. - Vladislav Nenchev; Calum Imrie; Simos Gerasimou; Radu Calinescu (J. Syst. Softw., 2025)

Verification and External Parameter Inference for Stochastic World Models. - Radu Calinescu; Sinem Getir Yaman; Simos Gerasimou; Gricel Vázquez; Micah Bassett (CoRR, 2025)

Quantifying Adversarial Uncertainty in Evidential Deep Learning using Conflict Resolution. - Charmaine Barker; Daniel Bethell; Simos Gerasimou (CoRR, 2025)

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