Towards Integrated Correctness Analysis and Performance Evaluation of Software Systems (Doctoral Forum Paper). - Ioannis Stefanakos (SERENE, 2019)

Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles. - Radu Calinescu; Vittorio Cortellessa; Ioannis Stefanakos; Catia Trubiani (FASE, 2020)

Probabilistic Program Performance Analysis. - Ioannis Stefanakos; Radu Calinescu; Simos Gerasimou (SEAA, 2021)

Software Performance Engineering with Performance Antipatterns and Code-level Probabilistic Analysis. - Ioannis Stefanakos; Simos Gerasimou; Radu Calinescu (MoDELS (Companion), 2021)

Safety Controller Synthesis for a Mobile Manufacturing Cobot. - Ioannis Stefanakos; Radu Calinescu; James A. Douthwaite; Jonathan M. Aitken; James Law (SEFM, 2022)

Towards Adaptive Planning of Assistive-care Robot Tasks. - Jordan Hamilton; Ioannis Stefanakos; Radu Calinescu; Javier Cámara 001 (FMAS/ASYDE@SEFM, 2022)

Probabilistic program performance analysis with confidence intervals. - Ioannis Stefanakos; Radu Calinescu; Simos Gerasimou (Inf. Softw. Technol., 2023)

Safety-Aware Adaptive Reinforcement Learning for Mobile Assistive-Care Robots. - Qi Zhang; Ioannis Stefanakos; Javier Cámara 001; Radu Calinescu (ACSOS-C, 2024)

Analyzing and Debugging Normative Requirements via Satisfiability Checking. - Nick Feng; Lina Marsso; Sinem Getir Yaman; Yesugen Baatartogtokh; Reem Ayad; Victória Oldemburgo de Mello; Beverley A. Townsend; Isobel Standen; Ioannis Stefanakos; Calum Imrie; Genaína Nunes Rodrigues; Ana Cavalcanti 001; et al. (ICSE, 2024)

Weather Impact on DER Long-term Performance: A Formal Verification Approach. - Misael Alpizar Santana; Ioannis Stefanakos; Xinwei Fang; Ankita Garg; Hongjian Sun; Ashraf Osman (ISGT Asia, 2024)

A Dynamic Assurance Framework for an Autonomous Survey Drone. - Philippa Ryan; Sepeedeh Shahbeigi; Jie Zou; Ioannis Stefanakos; John Molloy (SAFECOMP, 2024)

Assuring the Safety of Reinforcement Learning Components: AMLAS-RL. - Calum C. Imrie; Ioannis Stefanakos; Sepeedeh Shahbeigi; Richard Hawkins; Simon Burton 001 (CoRR, 2025)