Simos Gerasimou

ORCID

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 59

Top Venues

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

Daniel Bethell, Simos Gerasimou, Radu Calinescu, Calum Imrie
Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding. CoRR (2024)
Javier Cámara, Sebastian Hahner, Diego Perez-Palacin, Antonio Vallecillo, Maribel Acosta, Nelly Bencomo, Radu Calinescu, Simos Gerasimou
Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems. SEAMS@ICSE (2024)
Kangfeng Ye, Fang Yan, Simos Gerasimou
Quantitative Assurance and Synthesis of Controllers from Activity Diagrams. CoRR (2024)
Daniel Bethell, Simos Gerasimou, Radu Calinescu
Robust Uncertainty Quantification Using Conformalised Monte Carlo Prediction. AAAI (2024)
Ionut Predoaia, James Harbin, Simos Gerasimou, Christina Vasiliou, Dimitris Kolovos, Antonio García-Domínguez
Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications. CoRR (2024)
Sondess Missaoui, Simos Gerasimou, Nikolaos Drivalos Matragkas
DeepKnowledge: Generalisation-Driven Deep Learning Testing. CoRR (2024)
Daniel Bethell, Simos Gerasimou, Radu Calinescu
Robust Uncertainty Quantification using Conformalised Monte Carlo Prediction. CoRR (2023)
Sorour Jahanbin, Dimitris S. Kolovos, Simos Gerasimou
Towards Memory-Efficient Validation of Large XMI Models. MoDELS (Companion) (2023)
Guillaume Ollier, Fabio Arnez, Morayo Adedjouma, Raphaël Lallement, Simos Gerasimou, Chokri Mraidha
Towards an Ontological Methodology for Dynamic Dependability Management of Unmanned Aerial Vehicles. DroneSE/RAPIDO@HiPEAC (2023)
Sondess Missaoui, Simos Gerasimou, Nicholas Matragkas
Semantic Data Augmentation for Deep Learning Testing Using Generative AI. ASE (2023)
Guillaume Ollier, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha
An Ontological Approach for the Dependability Analysis of Automated Systems. DSD (2023)
James Harbin, Simos Gerasimou, Nicholas Drivalos Matragkas, Thanos Zolotas, Radu Calinescu, Misael Alpizar Santana
Model-driven design space exploration for multi-robot systems in simulation. Softw. Syst. Model. 22 (5) (2023)
Ioannis Stefanakos, Radu Calinescu, Simos Gerasimou
Probabilistic program performance analysis with confidence intervals. Inf. Softw. Technol. 156 (2023)
Xingyu Zhao, Simos Gerasimou, Radu Calinescu, Calum Imrie, Valentin Robu, David Flynn
Bayesian Learning for the Robust Verification of Autonomous Robots. CoRR (2023)
Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
Fast Parametric Model Checking With Applications to Software Performability Analysis. IEEE Trans. Software Eng. 49 (10) (2023)
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
Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems. ACM SIGSOFT Softw. Eng. Notes 48 (4) (2023)
Fabio Arnez, Guillaume Ollier, Ansgar Radermacher, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha, François Terrier
Skeptical Dynamic Dependability Management for Automated Systems. DSD (2022)
Sorour Jahanbin, Dimitris S. Kolovos, Simos Gerasimou, Gerson Sunyé
Partial Loading of Repository-Based Models through Static Analysis. SLE (2022)
Guillaume Ollier, Diana Razafindrabe, Morayo Adedjouma, Simos Gerasimou, Chokri Mraidha
Using Operational Design Domain in Hazard Identification for Automated Systems. EDCC (2022)
Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
Fast Parametric Model Checking. CoRR (2022)
Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
Fast Parametric Model Checking through Model Fragmentation. ICSE (2021)
Ioannis Stefanakos, Radu Calinescu, Simos Gerasimou
Probabilistic Program Performance Analysis. SEAA (2021)
Ioannis Stefanakos, Simos Gerasimou, Radu Calinescu
Software Performance Engineering with Performance Antipatterns and Code-level Probabilistic Analysis. MoDELS (Companion) (2021)
James Harbin, Simos Gerasimou, Nicholas Matragkas, Athanasios Zolotas, Radu Calinescu
Model-Driven Simulation-Based Analysis for Multi-Robot Systems. MoDELS (2021)
Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
Fast Parametric Model Checking through Model Fragmentation. CoRR (2021)
Simos Gerasimou, Javier Cámara, Radu Calinescu, Naif Alasmari, Faisal Alhwikem, Xinwei Fang
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. ASE (2021)
Sophie Wood, Nicholas Matragkas, Dimitris S. Kolovos, Richard F. Paige, Simos Gerasimou
Supporting robotic software migration using static analysis and model-driven engineering. MoDELS (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
Genetic Improvement @ ICSE 2020. ACM SIGSOFT Softw. Eng. Notes 45 (4) (2020)
Xingyu Zhao, Radu Calinescu, Simos Gerasimou, Valentin Robu, David Flynn
Interval Change-Point Detection for Runtime Probabilistic Model Checking. ASE (2020)
Sophie Wood, Nicholas Matragkas, Dimitris S. Kolovos, Richard F. Paige, Simos Gerasimou
Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering. CoRR (2020)
Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper Çakan
Importance-Driven Deep Learning System Testing. CoRR (2020)
Mirko D'Angelo, Sona Ghahremani, Simos Gerasimou, Johannes Grohmann, Ingrid Nunes, Sven Tomforde, Evangelos Pournaras
Learning to Learn in Collective Adaptive Systems: Mining Design Patterns for Data-driven Reasoning. ACSOS Companion (2020)
Piotr Dziurzanski, Simos Gerasimou, Dimitrios S. Kolovos, Nicholas Matragkas
Empirical Analysis of 1-edit Degree Patches in Syntax-Based Automatic Program Repair. CEC (2020)
Ran Wei, Athanasios Zolotas, Horacio Hoyos Rodriguez, Simos Gerasimou, Dimitrios S. Kolovos, Richard F. Paige
Automatic generation of UML profile graphical editors for Papyrus. Softw. Syst. Model. 19 (5) (2020)
Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper Çakan
Importance-driven deep learning system testing. ICSE (2020)
Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper Çakan
Importance-driven deep learning system testing. ICSE (Companion Volume) (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
Genetic Improvement @ ICSE 2020. CoRR (2020)
Sorour Jahanbin, Dimitris S. Kolovos, Simos Gerasimou
Intelligent run-time partitioning of low-code system models. MoDELS (Companion) (2020)
Mirko D'Angelo, Sona Ghahremani, Simos Gerasimou, Johannes Grohmann, Ingrid Nunes, Sven Tomforde, Evangelos Pournaras
Learning to Learn in Collective Adaptive Systems: Mining Design Patterns for Data-driven Reasoning. CoRR (2020)
Simos Gerasimou, Nicholas Matragkas, Radu Calinescu
Towards systematic engineering of collaborative heterogeneous robotic systems. RoSE@ICSE (2019)
Mirko D'Angelo, Simos Gerasimou, Sona Ghahremani, Johannes Grohmann, Ingrid Nunes, Evangelos Pournaras, Sven Tomforde
On learning in collective self-adaptive systems: state of practice and a 3D framework. SEAMS@ICSE (2019)
Radu Calinescu, Danny Weyns, Simos Gerasimou, Ibrahim Habli
Architecting Trustworthy Self-Adaptive Systems (Tutorial). ICSA Companion (2019)
Simos Gerasimou, Thomas Vogel, Ada Diaconescu
Software Engineering for Intelligent and Autonomous Systems: Report from the GI Dagstuhl Seminar 18343. CoRR (2019)
Hasan Ferit Eniser, Simos Gerasimou, Alper Sen
DeepFault: Fault Localization for Deep Neural Networks. CoRR (2019)
Hasan Ferit Eniser, Simos Gerasimou, Alper Sen
DeepFault: Fault Localization for Deep Neural Networks. FASE (2019)
Simos Gerasimou, Radu Calinescu, Giordano Tamburrelli
Synthesis of probabilistic models for quality-of-service software engineering. Autom. Softw. Eng. 25 (4) (2018)
Radu Calinescu, Danny Weyns, Simos Gerasimou, M. Usman Iftikhar, Ibrahim Habli, Tim Kelly
ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases. ICSE (2018)
Radu Calinescu, Danny Weyns, Simos Gerasimou, Muhammad Usman Iftikhar, Ibrahim Habli, Tim Kelly
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. IEEE Trans. Software Eng. 44 (11) (2018)
Simos Gerasimou, Maria Kechagia, Dimitris S. Kolovos, Richard F. Paige, Georgios Gousios
On Software Modernisation due to Library Obsolescence. WAPI@ICSE (2018)
Athanasios Zolotas, Ran Wei, Simos Gerasimou, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos, Richard F. Paige
Towards Automatic Generation of UML Profile Graphical Editors for Papyrus. ECMFA (2018)
Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
Efficient synthesis of robust models for stochastic systems. J. Syst. Softw. 143 (2018)
Ran Wei, Tim Kelly, Jan Reich, Simos Gerasimou
On the Transition from Design Time to Runtime Model-Based Assurance Cases. MoDELS (Workshops) (2018)
Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158]. J. Syst. Softw. 145 (2018)
Simos Gerasimou, Radu Calinescu, Stepan Shevtsov, Danny Weyns
UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles (Artifact). Dagstuhl Artifacts Ser. 3 (1) (2017)
Simos Gerasimou, Radu Calinescu, Stepan Shevtsov, Danny Weyns
UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles. SEAMS@ICSE (2017)
Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
Designing Robust Software Systems through Parametric Markov Chain Synthesis. ICSA (2017)
Radu Calinescu, Simos Gerasimou, Ibrahim Habli, M. Usman Iftikhar, Tim Kelly, Danny Weyns
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. CoRR (2017)
Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. QEST (2017)
Simos Gerasimou, Dimitris S. Kolovos, Richard F. Paige, Michael Standish
Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems. STAF Workshops (2017)
Simos Gerasimou, Giordano Tamburrelli, Radu Calinescu
Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering (T). ASE (2015)
Radu Calinescu, Simos Gerasimou, Alec Banks
Self-adaptive Software with Decentralised Control Loops. FASE (2015)
Simos Gerasimou, Radu Calinescu, Alec Banks
Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration. SEAMS (2014)
Radu Calinescu, Kenneth Johnson, Yasmin Rafiq, Simos Gerasimou, Gabriel Costa Silva, Stanimir N. Pehlivanov
Continual Verification of Non-Functional Properties in Cloud-Based Systems. NiM-ALP@MoDELS (2013)
Radu Calinescu, Simos Gerasimou, Kenneth Johnson, Colin Paterson
Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software - Advances, Applications and Research Challenges. Software Engineering for Self-Adaptive Systems (2013)
Constantinos Stylianou, Simos Gerasimou, Andreas S. Andreou
A Novel Prototype Tool for Intelligent Software Project Scheduling and Staffing Enhanced with Personality Factors. ICTAI (2012)
Simos Gerasimou, Constantinos Stylianou, Andreas S. Andreou
An Investigation of Optimal Project Scheduling and Team Staffing in Software Development using Particle Swarm Optimization. ICEIS (2) (2012)

Simos Gerasimou.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Simos Gerasimou