Simos Gerasimou

85 papers A* 8A 7B 7C 2Misc 1Journal 35Unranked 22

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Adaptive Human-Robot Collaborative Missions using Hybrid Task Planning. SEAMS@ICSE Gricel Vázquez, Alexandros Evangelidis, Sepeedeh Shahbeigi, Simos Gerasimou
2025	J	`jnl`	Adaptive Human-Robot Collaborative Missions using Hybrid Task Planning. CoRR Gricel Vázquez, Alexandros Evangelidis, Sepeedeh Shahbeigi, Simos Gerasimou
2025	J	`jnl`	Compositional code-level safety verification for automated driving controllers. J. Syst. Softw. Vladislav Nenchev, Calum Imrie, Simos Gerasimou, Radu Calinescu
2025	J	`jnl`	Efficient Strategy Synthesis for MDPs via Hierarchical Block Decomposition. CoRR Alexandros Evangelidis, Gricel Vázquez, Simos Gerasimou
2025	J	`jnl`	Guided Uncertainty Learning Using a Post-Hoc Evidential Meta-Model. CoRR Charmaine Barker, Daniel Bethell, Simos Gerasimou
2025	—	`conf`	Integrated Knowledge Centric Engineering: Delivering next-generation aircraft projects at pace. MODELS-C Lewis Humphries, Gianmaria Bullegas, John Golledge, Campbell McCausland, Donald Taylor, Dimitrios S. Kolovos, Antonio García-Domínguez, Simos Gerasimou
2025	J	`jnl`	Learning to Navigate Under Imperfect Perception: Conformalised Segmentation for Safe Reinforcement Learning. CoRR Daniel Bethell, Simos Gerasimou, Radu Calinescu, Calum Imrie
2025	A	`conf`	Multi-Partner Project: Safe, Secure and Dependable Multi-UAV Systems for Search and Rescue Operations. DATE 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	J	`jnl`	Quantifying Adversarial Uncertainty in Evidential Deep Learning using Conflict Resolution. CoRR Charmaine Barker, Daniel Bethell, Simos Gerasimou
2025	J	`jnl`	Safe But Not Sorry: Reducing Over-Conservatism in Safety Critics via Uncertainty-Aware Modulation. CoRR Daniel Bethell, Simos Gerasimou, Radu Calinescu, Calum Imrie
2025	A	`conf`	Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding. ECAI Daniel Bethell, Simos Gerasimou, Radu Calinescu, Calum Imrie
2025	J	`jnl`	Uncertainty Quantification for Deep Regression using Contextualised Normalizing Flows. CoRR Adriel Sosa Marco, John Daniel Kirwan, Alexia Toumpa, Simos Gerasimou
2025	J	`jnl`	Verification and External Parameter Inference for Stochastic World Models. CoRR Radu Calinescu, Sinem Getir Yaman, Simos Gerasimou, Gricel Vázquez, Micah Bassett
2024	—	`conf`	Code-Level Safety Verification for Automated Driving: A Case Study. FM (2) Vladislav Nenchev, Calum Imrie, Simos Gerasimou, Radu Calinescu
2024	J	`jnl`	DeepKnowledge: Generalisation-Driven Deep Learning Testing. CoRR Sondess Missaoui, Simos Gerasimou, Nikolaos Drivalos Matragkas
2024	J	`jnl`	Quantitative Assurance and Synthesis of Controllers from Activity Diagrams. CoRR Kangfeng Ye, Fang Yan, Simos Gerasimou
2024	—	`conf`	REBA: Robotic Emotional-Based Awareness. ACSOS Pandelis Kriadis, Simos Gerasimou
2024	A*	`conf`	Robust Uncertainty Quantification Using Conformalised Monte Carlo Prediction. AAAI Daniel Bethell, Simos Gerasimou, Radu Calinescu
2024	J	`jnl`	Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding. CoRR Daniel Bethell, Simos Gerasimou, Radu Calinescu, Calum Imrie
2024	A	`conf`	Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications. MODELS Ionut Predoaia, James Harbin, Simos Gerasimou, Christina Vasiliou, Dimitris S. Kolovos, Antonio García-Domínguez
2024	J	`jnl`	Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications. CoRR Ionut Predoaia, James Harbin, Simos Gerasimou, Christina Vasiliou, Dimitris S. Kolovos, Antonio García-Domínguez
2024	—	`conf`	Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems. SEAMS@ICSE Javier Cámara, Sebastian Hahner, Diego Perez-Palacin, Antonio Vallecillo, Maribel Acosta, Nelly Bencomo, Radu Calinescu, Simos Gerasimou
2023	C	`conf`	An Ontological Approach for the Dependability Analysis of Automated Systems. DSD Guillaume Ollier, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha
2023	J	`jnl`	Bayesian Learning for the Robust Verification of Autonomous Robots. CoRR Xingyu Zhao, Simos Gerasimou, Radu Calinescu, Calum Imrie, Valentin Robu, David Flynn
2023	J	`jnl`	Fast Parametric Model Checking With Applications to Software Performability Analysis. IEEE Trans. Software Eng. Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
2023	J	`jnl`	Model-driven design space exploration for multi-robot systems in simulation. Softw. Syst. Model. James Harbin, Simos Gerasimou, Nicholas Drivalos Matragkas, Thanos Zolotas, Radu Calinescu, Misael Alpizar Santana
2023	J	`jnl`	Probabilistic program performance analysis with confidence intervals. Inf. Softw. Technol. Ioannis Stefanakos, Radu Calinescu, Simos Gerasimou
2023	J	`jnl`	Robust Uncertainty Quantification using Conformalised Monte Carlo Prediction. CoRR Daniel Bethell, Simos Gerasimou, Radu Calinescu
2023	A*	`conf`	Semantic Data Augmentation for Deep Learning Testing Using Generative AI. ASE Sondess Missaoui, Simos Gerasimou, Nicholas Matragkas
2023	—	`conf`	Towards Memory-Efficient Validation of Large XMI Models. MoDELS (Companion) Sorour Jahanbin, Dimitris S. Kolovos, Simos Gerasimou
2023	J	`jnl`	Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems. ACM SIGSOFT Softw. Eng. Notes 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
2023	—	`conf`	Towards an Ontological Methodology for Dynamic Dependability Management of Unmanned Aerial Vehicles. DroneSE/RAPIDO@HiPEAC Guillaume Ollier, Fabio Arnez, Morayo Adedjouma, Raphaël Lallement, Simos Gerasimou, Chokri Mraidha
2022	J	`jnl`	Fast Parametric Model Checking. CoRR Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
2022	B	`conf`	Partial Loading of Repository-Based Models through Static Analysis. SLE Sorour Jahanbin, Dimitris S. Kolovos, Simos Gerasimou, Gerson Sunyé
2022	C	`conf`	Skeptical Dynamic Dependability Management for Automated Systems. DSD Fabio Arnez, Guillaume Ollier, Ansgar Radermacher, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha, François Terrier
2022	Misc	`conf`	Using Operational Design Domain in Hazard Identification for Automated Systems. EDCC Guillaume Ollier, Diana Razafindrabe, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha
2021	—	`ed.`	Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops - DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings SAFECOMP Workshops Ibrahim Habli, Mark Sujan, Simos Gerasimou, Erwin Schoitsch, Friedemann Bitsch
2021	A*	`conf`	Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. ASE Simos Gerasimou, Javier Cámara, Radu Calinescu, Naif Alasmari, Faisal Alhwikem, Xinwei Fang
2021	A*	`conf`	Fast Parametric Model Checking through Model Fragmentation. ICSE Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
2021	J	`jnl`	Fast Parametric Model Checking through Model Fragmentation. CoRR Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
2021	A	`conf`	Model-Driven Simulation-Based Analysis for Multi-Robot Systems. MoDELS James Harbin, Simos Gerasimou, Nicholas Matragkas, Athanasios Zolotas, Radu Calinescu
2021	B	`conf`	Probabilistic Program Performance Analysis. SEAA Ioannis Stefanakos, Radu Calinescu, Simos Gerasimou
2021	—	`conf`	Software Performance Engineering with Performance Antipatterns and Code-level Probabilistic Analysis. MoDELS (Companion) Ioannis Stefanakos, Simos Gerasimou, Radu Calinescu
2020	J	`jnl`	Automatic generation of UML profile graphical editors for Papyrus. Softw. Syst. Model. Ran Wei, Athanasios Zolotas, Horacio Hoyos Rodriguez, Simos Gerasimou, Dimitrios S. Kolovos, Richard F. Paige
2020	B	`conf`	Empirical Analysis of 1-edit Degree Patches in Syntax-Based Automatic Program Repair. CEC Piotr Dziurzanski, Simos Gerasimou, Dimitrios S. Kolovos, Nicholas Matragkas
2020	J	`jnl`	Genetic Improvement @ ICSE 2020. CoRR 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
2020	J	`jnl`	Genetic Improvement @ ICSE 2020. ACM SIGSOFT Softw. Eng. Notes 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
2020	J	`jnl`	Importance-Driven Deep Learning System Testing. CoRR Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper Çakan
2020	A*	`conf`	Importance-driven deep learning system testing. ICSE Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper Çakan
2020	—	`conf`	Importance-driven deep learning system testing. ICSE (Companion Volume) Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper Çakan
2020	—	`conf`	Intelligent run-time partitioning of low-code system models. MoDELS (Companion) Sorour Jahanbin, Dimitris S. Kolovos, Simos Gerasimou
2020	A*	`conf`	Interval Change-Point Detection for Runtime Probabilistic Model Checking. ASE Xingyu Zhao, Radu Calinescu, Simos Gerasimou, Valentin Robu, David Flynn
2020	—	`conf`	Learning to Learn in Collective Adaptive Systems: Mining Design Patterns for Data-driven Reasoning. ACSOS Companion Mirko D'Angelo, Sona Ghahremani, Simos Gerasimou, Johannes Grohmann, Ingrid Nunes, Sven Tomforde, Evangelos Pournaras
2020	J	`jnl`	Learning to Learn in Collective Adaptive Systems: Mining Design Patterns for Data-driven Reasoning. CoRR Mirko D'Angelo, Sona Ghahremani, Simos Gerasimou, Johannes Grohmann, Ingrid Nunes, Sven Tomforde, Evangelos Pournaras
2020	J	`jnl`	Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering. CoRR Sophie Wood, Nicholas Matragkas, Dimitris S. Kolovos, Richard F. Paige, Simos Gerasimou
2020	A	`conf`	Supporting robotic software migration using static analysis and model-driven engineering. MoDELS Sophie Wood, Nicholas Matragkas, Dimitris S. Kolovos, Richard F. Paige, Simos Gerasimou
2019	—	`conf`	Architecting Trustworthy Self-Adaptive Systems (Tutorial). ICSA Companion Radu Calinescu, Danny Weyns, Simos Gerasimou, Ibrahim Habli
2019	B	`conf`	DeepFault: Fault Localization for Deep Neural Networks. FASE Hasan Ferit Eniser, Simos Gerasimou, Alper Sen
2019	J	`jnl`	DeepFault: Fault Localization for Deep Neural Networks. CoRR Hasan Ferit Eniser, Simos Gerasimou, Alper Sen
2019	—	`conf`	On learning in collective self-adaptive systems: state of practice and a 3D framework. SEAMS@ICSE Mirko D'Angelo, Simos Gerasimou, Sona Ghahremani, Johannes Grohmann, Ingrid Nunes, Evangelos Pournaras, Sven Tomforde
2019	J	`jnl`	Software Engineering for Intelligent and Autonomous Systems: Report from the GI Dagstuhl Seminar 18343. CoRR Simos Gerasimou, Thomas Vogel, Ada Diaconescu
2019	—	`conf`	Towards systematic engineering of collaborative heterogeneous robotic systems. RoSE@ICSE Simos Gerasimou, Nicholas Matragkas, Radu Calinescu
2018	A*	`conf`	ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases. ICSE Radu Calinescu, Danny Weyns, Simos Gerasimou, M. Usman Iftikhar, Ibrahim Habli, Tim Kelly
2018	J	`jnl`	Efficient synthesis of robust models for stochastic systems. J. Syst. Softw. Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
2018	J	`jnl`	Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. IEEE Trans. Software Eng. Radu Calinescu, Danny Weyns, Simos Gerasimou, Muhammad Usman Iftikhar, Ibrahim Habli, Tim Kelly
2018	J	`jnl`	Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158]. J. Syst. Softw. Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
2018	—	`conf`	On Software Modernisation due to Library Obsolescence. WAPI@ICSE Simos Gerasimou, Maria Kechagia, Dimitris S. Kolovos, Richard F. Paige, Georgios Gousios
2018	—	`conf`	On the Transition from Design Time to Runtime Model-Based Assurance Cases. MoDELS (Workshops) Ran Wei, Tim Kelly, Jan Reich, Simos Gerasimou
2018	J	`jnl`	Synthesis of probabilistic models for quality-of-service software engineering. Autom. Softw. Eng. Simos Gerasimou, Radu Calinescu, Giordano Tamburrelli
2018	B	`conf`	Towards Automatic Generation of UML Profile Graphical Editors for Papyrus. ECMFA Athanasios Zolotas, Ran Wei, Simos Gerasimou, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos, Richard F. Paige
2017	A	`conf`	Designing Robust Software Systems through Parametric Markov Chain Synthesis. ICSA Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
2017	J	`jnl`	Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. CoRR Radu Calinescu, Simos Gerasimou, Ibrahim Habli, M. Usman Iftikhar, Tim Kelly, Danny Weyns
2017	—	`conf`	RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. QEST Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
2017	—	`ch.`	Synthesis and Verification of Self-aware Computing Systems. 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
2017	—	`conf`	Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems. STAF Workshops Simos Gerasimou, Dimitris S. Kolovos, Richard F. Paige, Michael Standish
2017	J	`jnl`	UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles (Artifact). Dagstuhl Artifacts Ser. Simos Gerasimou, Radu Calinescu, Stepan Shevtsov, Danny Weyns
2017	—	`conf`	UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles. SEAMS@ICSE Simos Gerasimou, Radu Calinescu, Stepan Shevtsov, Danny Weyns
2016	—	`—`	Runtime quantitative verification of self-adaptive systems. Simos Gerasimou
2015	A*	`conf`	Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering (T). ASE Simos Gerasimou, Giordano Tamburrelli, Radu Calinescu
2015	B	`conf`	Self-adaptive Software with Decentralised Control Loops. FASE Radu Calinescu, Simos Gerasimou, Alec Banks
2014	A	`conf`	Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration. SEAMS Simos Gerasimou, Radu Calinescu, Alec Banks
2013	—	`conf`	Continual Verification of Non-Functional Properties in Cloud-Based Systems. NiM-ALP@MoDELS Radu Calinescu, Kenneth Johnson, Yasmin Rafiq, Simos Gerasimou, Gabriel Costa Silva, Stanimir N. Pehlivanov
2013	—	`conf`	Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software - Advances, Applications and Research Challenges. Software Engineering for Self-Adaptive Systems Radu Calinescu, Simos Gerasimou, Kenneth Johnson, Colin Paterson
2012	B	`conf`	A Novel Prototype Tool for Intelligent Software Project Scheduling and Staffing Enhanced with Personality Factors. ICTAI Constantinos Stylianou, Simos Gerasimou, Andreas S. Andreou
2012	—	`conf`	An Investigation of Optimal Project Scheduling and Team Staffing in Software Development using Particle Swarm Optimization. ICEIS (2) Simos Gerasimou, Constantinos Stylianou, Andreas S. Andreou