Simos Gerasimou

According to our database, Simos Gerasimou authored at least 61 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding.

Daniel Bethell, Simos Gerasimou, Radu Calinescu, Calum Imrie

CoRR, 2024

DeepKnowledge: Generalisation-Driven Deep Learning Testing.

Sondess Missaoui, Simos Gerasimou, Nikolaos Drivalos Matragkas

CoRR, 2024

Quantitative Assurance and Synthesis of Controllers from Activity Diagrams.

Kangfeng Ye, Fang Yan, Simos Gerasimou

CoRR, 2024

Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems.

Javier Cámara, Sebastian Hahner, Diego Perez-Palacin, Antonio Vallecillo, Maribel Acosta, Nelly Bencomo, Radu Calinescu, Simos Gerasimou

Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 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

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

Code-Level Safety Verification for Automated Driving: A Case Study.

Vladislav Nenchev, Calum Imrie, Simos Gerasimou, Radu Calinescu

Proceedings of the Formal Methods - 26th International Symposium, 2024

REBA: Robotic Emotional-Based Awareness.

Pandelis Kriadis, Simos Gerasimou

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2024

Robust Uncertainty Quantification Using Conformalised Monte Carlo Prediction.

Daniel Bethell, Simos Gerasimou, Radu Calinescu

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Fast Parametric Model Checking With Applications to Software Performability Analysis.

Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem

IEEE Trans. Software Eng., October, 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., October, 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, Ada Diaconescu, Gregor Engels, Simos Gerasimou, Ilias Gerostathopoulos, Sinem Getir Yaman, Vincenzo Grassi, Sebastian Hahner, Emmanuel Letier, Marin Litoiu, Lina Marsso, Angelika Musil, Juergen Musil, Genaína Nunes Rodrigues, Diego Perez-Palacin, Federico Quin, Patrizia Scandurra, Antonio Vallecillo, Andrea Zisman

ACM SIGSOFT Softw. Eng. Notes, October, 2023

Probabilistic program performance analysis with confidence intervals.

Ioannis Stefanakos, Radu Calinescu, Simos Gerasimou

Inf. Softw. Technol., April, 2023

Bayesian Learning for the Robust Verification of Autonomous Robots.

Xingyu Zhao, Simos Gerasimou, Radu Calinescu, Calum Imrie, Valentin Robu, David Flynn

CoRR, 2023

Towards Memory-Efficient Validation of Large XMI Models.

Sorour Jahanbin, Dimitris S. Kolovos, Simos Gerasimou

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Semantic Data Augmentation for Deep Learning Testing Using Generative AI.

Sondess Missaoui, Simos Gerasimou, Nicholas Matragkas

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 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

Proceedings of the DroneSE and RAPIDO: System Engineering for constrained embedded systems, 2023

An Ontological Approach for the Dependability Analysis of Automated Systems.

Guillaume Ollier, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha

Proceedings of the 26th Euromicro Conference on Digital System Design, 2023

2022

Fast Parametric Model Checking.

Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem

CoRR, 2022

Partial Loading of Repository-Based Models through Static Analysis.

Sorour Jahanbin, Dimitris S. Kolovos, Simos Gerasimou, Gerson Sunyé

Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, 2022

Using Operational Design Domain in Hazard Identification for Automated Systems.

Guillaume Ollier, Diana Razafindrabe, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha

Proceedings of the 18th European Dependable Computing Conference, 2022

Skeptical Dynamic Dependability Management for Automated Systems.

Fabio Arnez, Guillaume Ollier, Ansgar Radermacher, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha, François Terrier

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

2021

Software Performance Engineering with Performance Antipatterns and Code-level Probabilistic Analysis.

Ioannis Stefanakos, Simos Gerasimou, Radu Calinescu

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Model-Driven Simulation-Based Analysis for Multi-Robot Systems.

James Harbin, Simos Gerasimou, Nicholas Matragkas, Athanasios Zolotas, Radu Calinescu

Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies.

Simos Gerasimou, Javier Cámara, Radu Calinescu, Naif Alasmari, Faisal Alhwikem, Xinwei Fang

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Fast Parametric Model Checking through Model Fragmentation.

Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Probabilistic Program Performance Analysis.

Ioannis Stefanakos, Radu Calinescu, Simos Gerasimou

Proceedings of the 47th Euromicro Conference on Software Engineering and Advanced Applications, 2021

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

Genetic Improvement @ ICSE 2020.

William B. Langdon, Westley Weimer, Justyna Petke, Erik M. Fredericks, Seongmin Lee, Emily Winter, Michail Basios, Myra B. Cohen, Aymeric Blot, Markus Wagner, Bobby R. Bruce, Shin Yoo, Simos Gerasimou, Oliver Krauss, Yu Huang, Michael C. Gerten

ACM SIGSOFT Softw. Eng. Notes, 2020

Supporting robotic software migration using static analysis and model-driven engineering.

Sophie Wood, Nicholas Matragkas, Dimitris S. Kolovos, Richard F. Paige, Simos Gerasimou

Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Intelligent run-time partitioning of low-code system models.

Sorour Jahanbin, Dimitris S. Kolovos, Simos Gerasimou

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Interval Change-Point Detection for Runtime Probabilistic Model Checking.

Xingyu Zhao, Radu Calinescu, Simos Gerasimou, Valentin Robu, David Flynn

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Importance-driven deep learning system testing.

Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper Çakan

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Empirical Analysis of 1-edit Degree Patches in Syntax-Based Automatic Program Repair.

Piotr Dziurzanski, Simos Gerasimou, Dimitrios S. Kolovos, Nicholas Matragkas

Proceedings of the IEEE Congress on Evolutionary Computation, 2020

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

Proceedings of the 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020

2019

Software Engineering for Intelligent and Autonomous Systems: Report from the GI Dagstuhl Seminar 18343.

Simos Gerasimou, Thomas Vogel, Ada Diaconescu

CoRR, 2019

Towards systematic engineering of collaborative heterogeneous robotic systems.

Simos Gerasimou, Nicholas Matragkas, Radu Calinescu

Proceedings of the 2nd International Workshop on Robotics Software Engineering, 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

Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

Architecting Trustworthy Self-Adaptive Systems (Tutorial).

Radu Calinescu, Danny Weyns, Simos Gerasimou, Ibrahim Habli

Proceedings of the IEEE International Conference on Software Architecture Companion, 2019

DeepFault: Fault Localization for Deep Neural Networks.

Hasan Ferit Eniser, Simos Gerasimou, Alper Sen

Proceedings of the Fundamental Approaches to Software Engineering, 2019

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

Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158].

Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti

J. Syst. Softw., 2018

Efficient synthesis of robust models for stochastic systems.

Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti

J. Syst. Softw., 2018

Synthesis of probabilistic models for quality-of-service software engineering.

Simos Gerasimou, Radu Calinescu, Giordano Tamburrelli

Autom. Softw. Eng., 2018

On the Transition from Design Time to Runtime Model-Based Assurance Cases.

Ran Wei, Tim Kelly, Jan Reich, Simos Gerasimou

Proceedings of MODELS 2018 Workshops: ModComp, 2018

On Software Modernisation due to Library Obsolescence.

Simos Gerasimou, Maria Kechagia, Dimitris S. Kolovos, Richard F. Paige, Georgios Gousios

Proceedings of the 2nd IEEE/ACM International Workshop on API Usage and Evolution, 2018

ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases.

Radu Calinescu, Danny Weyns, Simos Gerasimou, M. Usman Iftikhar, Ibrahim Habli, Tim Kelly

Proceedings of the 40th International Conference on Software Engineering, 2018

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

Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018

2017

UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles (Artifact).

Simos Gerasimou, Radu Calinescu, Stepan Shevtsov, Danny Weyns

Dagstuhl Artifacts Ser., 2017

Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems.

Simos Gerasimou, Dimitris S. Kolovos, Richard F. Paige, Michael Standish

Proceedings of the Software Technologies: Applications and Foundations, 2017

RODES: A Robust-Design Synthesis Tool for Probabilistic Systems.

Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles.

Simos Gerasimou, Radu Calinescu, Stepan Shevtsov, Danny Weyns

Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017

Designing Robust Software Systems through Parametric Markov Chain Synthesis.

Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti

Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

Synthesis and Verification of Self-aware Computing Systems.

Radu Calinescu, Marco Autili, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Z. Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese, Massimo Tivoli

Proceedings of the Self-Aware Computing Systems., 2017

2016

Runtime quantitative verification of self-adaptive systems.

Simos Gerasimou

PhD thesis, 2016

2015

Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering (T).

Simos Gerasimou, Giordano Tamburrelli, Radu Calinescu

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Self-adaptive Software with Decentralised Control Loops.

Radu Calinescu, Simos Gerasimou, Alec Banks

Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014

Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration.

Simos Gerasimou, Radu Calinescu, Alec Banks

Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2014

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

Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, 2013

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

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

2012

A Novel Prototype Tool for Intelligent Software Project Scheduling and Staffing Enhanced with Personality Factors.

Constantinos Stylianou, Simos Gerasimou, Andreas S. Andreou

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

An Investigation of Optimal Project Scheduling and Team Staffing in Software Development using Particle Swarm Optimization.

Simos Gerasimou, Constantinos Stylianou, Andreas S. Andreou

Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012