Safety controller synthesis for a mobile manufacturing cobot I Stefanakos, R Calinescu, J Douthwaite, J Aitken, J Law International Conference on Software Engineering and Formal Methods, 271-287, 2022 | 10 | 2022 |
Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles. R Calinescu, V Cortellessa, I Stefanakos, C Trubiani FASE, 357-377, 2020 | 9 | 2020 |
Towards planning and adaptation of assistive-care robot tasks J Hamilton, I Stefanakos, R Calinescu, J Camara Fourth Workshop on Formal Methods for Autonomous Systems, 2022 | 6* | 2022 |
Probabilistic program performance analysis I Stefanakos, R Calinescu, S Gerasimou 2021 47th Euromicro Conference on Software Engineering and Advanced …, 2021 | 4 | 2021 |
Analyzing and Debugging Normative Requirements via Satisfiability Checking N Feng, L Marsso, S Getir Yaman, Y Baatartogtokh, R Ayad, VO De Mello, ... Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024 | 1 | 2024 |
Software performance engineering with performance antipatterns and code-level probabilistic analysis I Stefanakos, S Gerasimou, R Calinescu 2021 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2021 | 1 | 2021 |
Autonomous Emergency Triage Support System W Lyons, I Stefanakos, R Calinescu, I Habli, VJ Hodge, C Picardi, K Plant, ... International Conference on Computational Science and Computational Intelligence, 2023 | | 2023 |
Towards Lifelong Social Robot Navigation in Dynamic Environments Q Zhang, I Stefanakos, J Camara Moreno, R Calinescu Springer, 2023 | | 2023 |
Probabilistic program performance analysis with confidence intervals I Stefanakos, R Calinescu, S Gerasimou Information and Software Technology 156, 107143, 2023 | | 2023 |
Software analysis and refactoring using probabilistic modelling and performance antipatterns I Stefanakos University of York, 2021 | | 2021 |
Towards Integrated Correctness Analysis and Performance Evaluation of Software Systems (Doctoral Forum Paper) I Stefanakos Software Engineering for Resilient Systems: 11th International Workshop …, 2019 | | 2019 |
ISSRE 2023 A Baouya, A Aghasharif, A Bombarda, A Guerriero, A Godinot, B Lyons, ... | | |