Items where authors include "Gerasimou, Simos"

Article

Fang, Xinwei, Calinescu, Radu orcid.org/0000-0002-2678-9260, Gerasimou, Simos et al. (1 more author) (2023) Fast Parametric Model Checking with Applications to Software Performability Analysis. IEEE Transactions on Software Engineering. pp. 4707-4730. ISSN 0098-5589

Stefanakos, Ioannis orcid.org/0000-0003-3741-252X, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Gerasimou, Simos (2023) Probabilistic program performance analysis with confidence intervals. Information and Software Technology. 107143. ISSN 0950-5849

Wei, Ran, Zolotas, Athanasios, Hoyos Rodriguez, Horacio et al. (3 more authors) (2020) Automatic generation of UML profile graphical editors for Papyrus. Software and Systems Modeling. ISSN 1619-1366

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Weyns, Danny, Gerasimou, Simos et al. (3 more authors) (2018) Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. IEEE Transactions on Software Engineering. 8008800. pp. 1039-1069. ISSN 0098-5589

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Ceska, Milan, Gerasimou, Simos et al. (2 more authors) (2018) Efficient Synthesis of Robust Models for Stochastic Systems. Journal of Systems and Software. pp. 140-158. ISSN 0164-1212

Gerasimou, Simos, Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260 and Tamburrelli, Giordano (2018) Synthesis of Probabilistic Models for Quality-of-Service Software Engineering. Automated Software Engineering. ISSN 1573-7535

Book Section

Gerasimou, Simos, Mason, George Rupert, Paterson, Colin Alexander orcid.org/0000-0002-6678-3752 et al. (4 more authors) (2015) Stochastic modeling, analysis and verification of mission-critical systems and processes. In: 4th IMA Conference on Mathematics in Defence. .

Proceedings Paper

Bethell, Daniel, Gerasimou, Simos and Calinescu, Radu orcid.org/0000-0002-2678-9260 (2024) Robust Uncertainty Quantification Using Conformalised Monte Carlo Prediction. In: Thirty-Eighth AAAI Conference on Artificial Intelligence (AAAI-24). UNSPECIFIED. Thirty-Eighth AAAI Conference on Artificial Intelligence (AAAI-24) . .

Jahanbin, Sorour, Kolovos, Dimitris orcid.org/0000-0002-1724-6563 and Gerasimou, Simos (2023) Towards Memory-Efficient Validation of Large XMI Models. In: Proceedings - 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023. 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2023, 01-06 Oct 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. , SWE , pp. 241-250.

Missaoui, Sondess and Gerasimou, Simos (2023) Semantic Data Augmentation for Deep Learning Testing using Generative AI. In: 38th IEEE/ACM International Conference on Automated Software Engineering:Proceedings. the 38th IEEE/ACM International Conference on Automated Software Engineering, 11-15 Sep 2023. IEEE , LUX .

Jahanbin, Sorour, Kolovos, Dimitris orcid.org/0000-0002-1724-6563, Gerasimou, Simos et al. (1 more author) (2022) Partial Loading of Repository-Based Models through Static Analysis. In: Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022). Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022), 06-07 Nov 2022. ACM , NZL , 266–278.

Gerasimou, Simos, Camara Moreno, Javier orcid.org/0000-0001-6717-4775, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (3 more authors) (2022) Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. In: 36th IEEE/ACM International Conference on Automated Software Engineering. UNSPECIFIED. IEEE .

Harbin, James Robert orcid.org/0000-0002-6479-8600, Gerasimou, Simos, Matragkas, Nikolaos orcid.org/0000-0002-8594-1912 et al. (2 more authors) (2021) Model-Driven Simulation-Based Analysis for Multi-Robot Systems. In: MODELS 2021: ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS). UNSPECIFIED. IEEE .

Stefanakos, Ioannis orcid.org/0000-0003-3741-252X, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Gerasimou, Simos (2021) Probabilistic Program Performance Analysis. In: EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2021). UNSPECIFIED. IEEE , pp. 148-157. (In Press)

Fang, Xinwei, Calinescu, Radu orcid.org/0000-0002-2678-9260, Gerasimou, Simos et al. (1 more author) (2021) Fast Parametric Model Checking through Model Fragmentation. In: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE). UNSPECIFIED. ACM .

Zhao, Xingyu, Calinescu, Radu orcid.org/0000-0002-2678-9260, Gerasimou, Simos et al. (2 more authors) (2020) Interval Change-Point Detection for Runtime Probabilistic Model Checking. In: 35th IEEE/ACM International Conference on Automated Software Engineering. UNSPECIFIED. IEEE .

Gerasimou, Simos, Eniser, Hasan Ferit and Sen, Alper (2020) Importance-Driven Deep Learning System Testing. In: 42nd International Conference on Software Engineering. UNSPECIFIED. .

Gerasimou, Simos, D’Angelo, Mirko, Ghahremani, Sona et al. (4 more authors) (2019) On Learning in Collective Self-adaptive Systems: State of Practice and a 3D Framework. In: 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. UNSPECIFIED. . (In Press)

Zolotas, Athanasios, Wei, Ran, Gerasimou, Simos et al. (3 more authors) (2018) Towards automatic generation of UML profile graphical editors for papyrus. In: Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. 14th European Conference on Modelling Foundations and Applications, ECMFA 2018 Held as Part of STAF 2018, 26-28 Jun 2018. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , FRA , pp. 12-27.

Gerasimou, Simos, Kechagia, Maria, Kolovos, Dimitris orcid.org/0000-0002-1724-6563 et al. (2 more authors) (2018) On software modernisation due to library obsolescence. In: Proceedings - 2018 ACM/IEEE 2nd International Workshop on API Usage and Evolution, WAPI 2018. ACM/IEEE 2nd International Workshop on API Usage and Evolution, WAPI 2018, co-located with the 40th International Conference on Software Engineering, ICSE 2018, 02 Jun 2018. IEEE Computer Society , SWE , pp. 6-9.

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Ceska, Milan, Gerasimou, Simos et al. (2 more authors) (2017) Designing Robust Software Systems through Parametric Markov Chain Synthesis. In: IEEE International Conference on Software Architecture (ICSA 2017). UNSPECIFIED. IEEE , pp. 1-10.

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Gerasimou, Simos, Shevtsov, Stepan et al. (1 more author) (2017) UNDERSEA : An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles. In: 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017). UNSPECIFIED. IEEE , pp. 1-7. (In Press)

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Ceska, Milan, Gerasimou, Simos et al. (2 more authors) (2017) RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. In: RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. UNSPECIFIED. 14th International Conference on Quantitative Evaluation of Systems . , pp. 304-308.

Gerasimou, Simos, Tamburrelli, Giordano and Calinescu, Radu orcid.org/0000-0002-2678-9260 (2015) Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering. In: 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015). UNSPECIFIED. .

Calinescu, Radu orcid.org/0000-0002-2678-9260, Gerasimou, Simos and Banks, Alec (2015) Self-Adaptive Software with Decentralised Control Loops. In: 18th International Conference on Fundamental Approaches to Software Engineering (FASE). UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 235-251.