Simos Gerasimou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
39
Venues
16
Active years
2012–2026
Best venue rank
A*
Where they publish
Papers
39 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models. | Radu Calinescu, Micah Bassett, Brendan Devlin-Hill, Simos Gerasimou, Sinem Getir Yaman, Kavan Fatehi, Gricel Vzquez |
| 2026 | DATE | Multi-Partner Project: Enhancing Resilience, Efficiency, and Trustworthiness of Edge AI in Safety-Critical Systems (GuardAI). | Antonis D. Savva, Mehmet Demirel, Yeshwanth Kumar Adimoolam, Rafaella Elia, Alexandros Gkillas, Christos Anagnostopoulos, Erion-Vasilis M. Pikoulis, Amalia Damianou, Charmaine Barker, Daniel Bethell, Ahmed Salah Tawfik Ibrahim, Filippo Cugini, Francesco Paolucci, Kyriakos Vlachos, Simos Gerasimou, Antonios Lalas, Konstantinos Votis, Aris S. Lalos, Christos Kyrkou, Theocharis Theocharides |
| 2026 | SAC | Learning to Navigate Under Imperfect Perception: Conformalised Segmentation for Safe Reinforcement Learning. | Daniel Bethell, Simos Gerasimou, Radu Calinescu, Calum Imrie |
| 2026 | SEAMS | Mind the Prompt: Self-adaptive Generation of Task Plan Explanations via LLMs. | Gricel Vzquez, Alexandros Evangelidis, Sepeedeh Shahbeigi, Radu Calinescu, Simos Gerasimou |
| 2026 | SEAMS | Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems. | Gricel Vzquez, Calum Imrie, Sepeedeh Shahbeigi, Nawshin Mannan Proma, Tian Gan, Victoria J. Hodge, John Molloy, Simos Gerasimou |
| 2025 | DATE | Multi-Partner Project: Safe, Secure and Dependable Multi-UAV Systems for Search and Rescue Operations. | Panagiota Nikolaou, Antonis D. Savva, Ioannis Sorokos, Koorosh Aslansefat, Sondess Missaoui, Mohammed Naveed Akram, Daniel Hillen, Marc Lorenz, Martin D. Walker, Manos Papoutsakis, Simos Gerasimou, Panayiotis Kolios, Yiannis Papadopoulos, Jan Reich, Sotiris Ioannidis, Maria K. Michael |
| 2025 | ECAI | Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding. | Daniel Bethell, Simos Gerasimou, Radu Calinescu, Calum Imrie |
| 2025 | MODELS | Integrated Knowledge Centric Engineering: Delivering next-generation aircraft projects at pace. | Lewis Humphries, Gianmaria Bullegas, John Golledge, Campbell Mccausland, Donald Taylor, Dimitrios S. Kolovos, Antonio Garca-Domnguez, Simos Gerasimou |
| 2025 | SEAMS | Adaptive Human-Robot Collaborative Missions using Hybrid Task Planning. | Gricel Vzquez, Alexandros Evangelidis, Sepeedeh Shahbeigi, Simos Gerasimou |
| 2024 | AAAI | Robust Uncertainty Quantification Using Conformalised Monte Carlo Prediction. | Daniel Bethell, Simos Gerasimou, Radu Calinescu |
| 2024 | FM | Code-Level Safety Verification for Automated Driving: A Case Study. | Vladislav Nenchev, Calum Imrie, Simos Gerasimou, Radu Calinescu |
| 2024 | MODELS | 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 Garca-Domnguez |
| 2024 | SEAMS | Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems. | Javier Cmara, Sebastian Hahner, Diego Perez-Palacin, Antonio Vallecillo, Maribel Acosta, Nelly Bencomo, Radu Calinescu, Simos Gerasimou |
| 2023 | DSD | An Ontological Approach for the Dependability Analysis of Automated Systems. | Guillaume Ollier, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha |
| 2023 | MODELS | Towards Memory-Efficient Validation of Large XMI Models. | Sorour Jahanbin, Dimitris S. Kolovos, Simos Gerasimou |
| 2022 | DSD | Skeptical Dynamic Dependability Management for Automated Systems. | Fabio Arnez, Guillaume Ollier, Ansgar Radermacher, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha, Franois Terrier |
| 2022 | EDCC | Using Operational Design Domain in Hazard Identification for Automated Systems. | Guillaume Ollier, Diana Razafindrabe, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha |
| 2022 | SLE | Partial Loading of Repository-Based Models through Static Analysis. | Sorour Jahanbin, Dimitris S. Kolovos, Simos Gerasimou, Gerson Suny |
| 2021 | ICSE | Fast Parametric Model Checking through Model Fragmentation. | Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem |
| 2021 | MODELS | Model-Driven Simulation-Based Analysis for Multi-Robot Systems. | James Harbin, Simos Gerasimou, Nicholas Matragkas, Athanasios Zolotas, Radu Calinescu |
| 2021 | MODELS | Software Performance Engineering with Performance Antipatterns and Code-level Probabilistic Analysis. | Ioannis Stefanakos, Simos Gerasimou, Radu Calinescu |
| 2020 | CEC | Empirical Analysis of 1-edit Degree Patches in Syntax-Based Automatic Program Repair. | Piotr Dziurzanski, Simos Gerasimou, Dimitrios S. Kolovos, Nicholas Matragkas |
| 2020 | ICSE | Importance-driven deep learning system testing. | Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper akan |
| 2020 | ICSE | Importance-driven deep learning system testing. | Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper akan |
| 2020 | MODELS | Intelligent run-time partitioning of low-code system models. | Sorour Jahanbin, Dimitris S. Kolovos, Simos Gerasimou |
| 2020 | MODELS | Supporting robotic software migration using static analysis and model-driven engineering. | Sophie Wood, Nicholas Matragkas, Dimitris S. Kolovos, Richard F. Paige, Simos Gerasimou |
| 2019 | FASE | DeepFault: Fault Localization for Deep Neural Networks. | Hasan Ferit Eniser, Simos Gerasimou, Alper Sen |
| 2019 | ICSA | Architecting Trustworthy Self-Adaptive Systems (Tutorial). | Radu Calinescu, Danny Weyns, Simos Gerasimou, Ibrahim Habli |
| 2019 | ICSE | 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 |
| 2019 | ICSE | Towards systematic engineering of collaborative heterogeneous robotic systems. | Simos Gerasimou, Nicholas Matragkas, Radu Calinescu |
| 2018 | ICSE | ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases. | Radu Calinescu, Danny Weyns, Simos Gerasimou, M. Usman Iftikhar, Ibrahim Habli, Tim Kelly |
| 2018 | ICSE | On Software Modernisation due to Library Obsolescence. | Simos Gerasimou, Maria Kechagia, Dimitris S. Kolovos, Richard F. Paige, Georgios Gousios |
| 2018 | MODELS | On the Transition from Design Time to Runtime Model-Based Assurance Cases. | Ran Wei, Tim Kelly, Jan Reich, Simos Gerasimou |
| 2017 | ICSA | Designing Robust Software Systems through Parametric Markov Chain Synthesis. | Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti |
| 2017 | ICSE | UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles. | Simos Gerasimou, Radu Calinescu, Stepan Shevtsov, Danny Weyns |
| 2015 | FASE | Self-adaptive Software with Decentralised Control Loops. | Radu Calinescu, Simos Gerasimou, Alec Banks |
| 2014 | ICSE | Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration. | Simos Gerasimou, Radu Calinescu, Alec Banks |
| 2013 | MODELS | Continual Verification of Non-Functional Properties in Cloud-Based Systems. | Radu Calinescu, Kenneth Johnson, Yasmin Rafiq, Simos Gerasimou, Gabriel Costa Silva, Stanimir N. Pehlivanov |
| 2012 | ICTAI | A Novel Prototype Tool for Intelligent Software Project Scheduling and Staffing Enhanced with Personality Factors. | Constantinos Stylianou, Simos Gerasimou, Andreas S. Andreou |