Simos Gerasimou

Search results

• 2024

  Bayesian Learning for the Robust Verification of Autonomous Robots

  Zhao, X., Gerasimou, S., Calinescu, R., Imrie, C. C., Robu, V. & Flynn, D., 27 Jan 2024, In: Communications Engineering. 3, 18.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Robust Uncertainty Quantification Using Conformalised Monte Carlo Prediction

  Bethell, D., Gerasimou, S. & Calinescu, R., 25 Feb 2024, Thirty-Eighth AAAI Conference on Artificial Intelligence (AAAI-24). (Thirty-Eighth AAAI Conference on Artificial Intelligence (AAAI-24)).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications

  Predoaia, I., Harbin, J., Gerasimou, S., Vasiliou, C., Kolovos, D. & García-Domínguez, A., 27 Sept 2024, Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems. New York, NY, USA: ACM, p. 80–91 12 p. (MODELS '24).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2023

  Fast Parametric Model Checking with Applications to Software Performability Analysis

  Fang, X., Calinescu, R., Gerasimou, S. & Alhwikem, F., 1 Oct 2023, In: IEEE Transactions on Software Engineering . 49, p. 4707-4730 14 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Probabilistic program performance analysis with confidence intervals

  Stefanakos, I., Calinescu, R. & Gerasimou, S., 1 Apr 2023, In: Information and Software Technology. 156, 18 p., 107143.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Semantic Data Augmentation for Deep Learning Testing using Generative AI

  Missaoui, S. & Gerasimou, S., 15 Sept 2023, 38th IEEE/ACM International Conference on Automated Software Engineering: Proceedings. IEEE, 5 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Towards Memory-Efficient Validation of Large XMI Models

  Jahanbin, S., Kolovos, D. & Gerasimou, S., 22 Dec 2023, Proceedings - 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023. Institute of Electrical and Electronics Engineers Inc., p. 241-250 10 p. (Proceedings - 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2022

  Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies

  Gerasimou, S., Camara Moreno, J., Calinescu, R., Alasmari, N., Alhwikem, F. & Fang, X., 20 Jan 2022, 36th IEEE/ACM International Conference on Automated Software Engineering. IEEE

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Partial Loading of Repository-Based Models through Static Analysis

  Jahanbin, S., Kolovos, D., Gerasimou, S. & Sunyé, G., 1 Dec 2022, Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022). ACM, p. 266–278 13 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2021

  Fast Parametric Model Checking through Model Fragmentation

  Fang, X., Calinescu, R., Gerasimou, S. & Alhwikem, F., 7 May 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE). ACM

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

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

  Harbin, J. R., Gerasimou, S., Matragkas, N., Zolotas, A. & Calinescu, R., 1 Aug 2021, (E-pub ahead of print) MODELS 2021: ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Probabilistic Program Performance Analysis

  Stefanakos, I., Calinescu, R. & Gerasimou, S., 1 Jun 2021, (Accepted/In press) EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2021). IEEE, p. 148-157 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

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

  Stefanakos, I., Gerasimou, S. & Calinescu, R., 20 Dec 2021, Model Driven Engineering Languages and Systems Companion: 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2020

  Automatic generation of UML profile graphical editors for Papyrus

  Wei, R., Zolotas, A., Hoyos Rodriguez, H., Gerasimou, S., Kolovos, D. S. & Paige, R. F., 11 Aug 2020, In: Software and Systems Modeling. 24 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

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

  Dziurzanski, P., Gerasimou, S., Kolovos, D. & Matragkas, N., 20 Mar 2020, (Accepted/In press) IEEE Congress on Evolutionary Computation.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Importance-Driven Deep Learning System Testing

  Gerasimou, S., Eniser, H. F. & Sen, A., 2020, 42nd International Conference on Software Engineering.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Intelligent Run-Time Partitioning of Low-Code System Models

  Jahanbin, S., Kolovos, D. & Gerasimou, S., 2020, Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. New York, NY, USA: ACM, (MODELS '20).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Interval Change-Point Detection for Runtime Probabilistic Model Checking

  Zhao, X., Calinescu, R., Gerasimou, S., Robu, V. & Flynn, D., 24 Dec 2020, 35th IEEE/ACM International Conference on Automated Software Engineering. IEEE

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering

  Gerasimou, S., Wood, S., Matragkas, N., Kolovos, D. & Paige, R. F., 16 Oct 2020, ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20). ACM

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2019

  DeepFault: Fault Localization for Deep Neural Networks

  Gerasimou, S., Eniser, H. F. & Sen, A., 15 Feb 2019, (E-pub ahead of print) 22nd International Conference on Fundamental Approaches to Software Engineering. Springer

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• On Learning in Collective Self-adaptive Systems: State of Practice and a 3D Framework

  Gerasimou, S., D’Angelo, M., Ghahremani, S., Grohmann, J., Nunes, I., Pournaras, E. & Tomforde, S., 22 Mar 2019, (Accepted/In press) 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Towards systematic engineering of collaborative heterogeneous robotic systems

  Gerasimou, S., Matragkas, N. & Calinescu, R., 27 May 2019, 2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering (RoSE). IEEE, p. 25-28 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2018

  Efficient Synthesis of Robust Models for Stochastic Systems

  Calinescu, R. C., Ceska, M., Gerasimou, S., Kwiatkowska, M. & Paoletti, N., Sept 2018, In: Journal of Systems and Software. 143, p. 140-158 19 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

  Calinescu, R. C., Weyns, D., Gerasimou, S., Iftikhar, M. U., Habli, I. & Kelly, T. P., 1 Nov 2018, In: IEEE Transactions on Software Engineering . 44, 11, p. 1039-1069 31 p., 8008800.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• On software modernisation due to library obsolescence

  Gerasimou, S., Kechagia, M., Kolovos, D., Paige, R. & Gousios, G., 2 Jun 2018, Proceedings - 2018 ACM/IEEE 2nd International Workshop on API Usage and Evolution, WAPI 2018. IEEE Computer Society, Vol. Part F138314. p. 6-9 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Synthesis of Probabilistic Models for Quality-of-Service Software Engineering

  Gerasimou, S., Calinescu, R. C. & Tamburrelli, G., 17 May 2018, (E-pub ahead of print) In: Automated Software Engineering. 47 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

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

  Gerasimou, S., Kolovos, D., Paige, R. & Standish, M., 2018, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. Springer, Vol. 10748 LNCS. p. 385-393 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10748 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards automatic generation of UML profile graphical editors for papyrus

  Zolotas, A., Wei, R., Gerasimou, S., Hoyos Rodriguez, H., Kolovos, D. S. & Paige, R. F., 25 Jun 2018, Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. Springer, Vol. 10890 LNCS. p. 12-27 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10890 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2017

  Designing Robust Software Systems through Parametric Markov Chain Synthesis

  Calinescu, R. C., Ceska, M., Gerasimou, S., Kwiatkowska, M. & Paoletti, N., Apr 2017, IEEE International Conference on Software Architecture (ICSA 2017). IEEE, p. 1-10 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

  Calinescu, R., Weyns, D., Gerasimou, S., Iftikhar, M. U., Habli, I. & Kelly, T., 18 Mar 2017.

  Research output: Working paper

  Open Access

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

  Calinescu, R. C., Ceska, M., Gerasimou, S., Kwiatkowska, M. & Paoletti, N., 2017, RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. p. 304-308 5 p. (14th International Conference on Quantitative Evaluation of Systems).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Synthesis and Verification of Self-aware Computing Systems

  Calinescu, R. C., Autili, M., Cámara, J., Di Marco, A., Gerasimou, S., Inverardi, P., Perucci, A., Jansen, N., Katoen, J-P., Kwiatkowska, M., Mengshoel, O. J., Spalazzese, R. & Tivoli, M., 2017, Self-Aware Computing Systems. Springer, p. 337-373 37 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  Open Access

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

  Calinescu, R. C., Gerasimou, S., Shevtsov, S. & Weyns, D., 22 Feb 2017, (Accepted/In press) 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017). IEEE, p. 1-7 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2015

  Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering

  Gerasimou, S., Tamburrelli, G. & Calinescu, R., 2015, 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015). 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Self-Adaptive Software with Decentralised Control Loops

  Calinescu, R., Gerasimou, S. & Banks, A., 2015, 18th International Conference on Fundamental Approaches to Software Engineering (FASE). Springer, Vol. 9033. p. 235-251 15 p. (Lecture Notes in Computer Science; vol. 9033).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Stochastic modeling, analysis and verification of mission-critical systems and processes

  Gerasimou, S., Mason, G. R., Paterson, C. A., Banks, A., Calinescu, R. C., Kudenko, D. & Rowe, S., 2015, 4th IMA Conference on Mathematics in Defence. 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  Open Access

  File
• 2014

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

  Gerasimou, S., Calinescu, R. & Banks, A., 1 Jan 2014, 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014 - Proceedings. ACM, p. 115-124 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution