| Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases R Calinescu, D Weyns, S Gerasimou, MU Iftikhar, I Habli, T Kelly IEEE Transactions on Software Engineering, 2017 | 164 | 2017 |
| Self-Adaptive Software with Decentralised Control Loops R Calinescu, S Gerasimou, A Banks 18th International Conference on Fundamental Approaches to Software …, 2015 | 78 | 2015 |
| Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering S Gerasimou, G Tamburrelli, R Calinescu 30th IEEE/ACM International Conference on Automated Software Engineering …, 2015 | 69 | 2015 |
| Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration S Gerasimou, R Calinescu, A Banks 9th International Symposium on Software Engineering for Adaptive and Self …, 2014 | 69 | 2014 |
| Synthesis of probabilistic models for quality-of-service software engineering S Gerasimou, R Calinescu, G Tamburrelli Automated Software Engineering 25 (4), 785-831, 2018 | 60 | 2018 |
| Importance-driven deep learning system testing S Gerasimou, HF Eniser, A Sen, A Cakan 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE …, 2020 | 57 | 2020 |
| Efficient synthesis of robust models for stochastic systems R Calinescu, M Češka, S Gerasimou, M Kwiatkowska, N Paoletti Journal of Systems and Software 143, 140-158, 2018 | 46 | 2018 |
| On learning in collective self-adaptive systems: state of practice and a 3D framework M D'Angelo, S Gerasimou, S Ghahremani, J Grohmann, I Nunes, ... 2019 IEEE/ACM 14th International Symposium on Software Engineering for …, 2019 | 44 | 2019 |
| UNDERSEA: an exemplar for engineering self-adaptive unmanned underwater vehicles S Gerasimou, R Calinescu, S Shevtsov, D Weyns 2017 IEEE/ACM 12th International Symposium on Software Engineering for …, 2017 | 43 | 2017 |
| DeepFault: Fault Localization for Deep Neural Networks HF Eniser, S Gerasimou, A Sen 22nd International Conference on Fundamental Approaches to Software Engineering, 2019 | 42 | 2019 |
| Synthesis and verification of self-aware computing systems R Calinescu, M Autili, J Cámara, A Di Marco, S Gerasimou, P Inverardi, ... Self-Aware Computing Systems, 337-373, 2017 | 40 | 2017 |
| A Novel Prototype Tool for Intelligent Software Project Scheduling and Staffing Enhanced with Personality Factors C Stylianou, S Gerasimou, AS Andreou 24th International Conference on Tools with Artificial Intelligence (ICTAI …, 2012 | 30 | 2012 |
| Designing robust software systems through parametric Markov chain synthesis R Calinescu, M Češka, S Gerasimou, M Kwiatkowska, N Paoletti 2017 IEEE International Conference on Software Architecture (ICSA), 131-140, 2017 | 29 | 2017 |
| An Investigation of Optimal Project Scheduling and Team Staffing in Software Development using Particle Swarm Optimization. S Gerasimou, C Stylianou, AS Andreou ICEIS (2), 168-171, 2012 | 19 | 2012 |
| Fast Parametric Model Checking through Model Fragmentation X Fang, R Calinescu, S Gerasimou, F Alhwikem 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021 | 16 | 2021 |
| Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software R Calinescu, S Gerasimou, K Johnson, C Paterson Software Engineering for Self-Adaptive Systems III. Assurances, 223-248, 2017 | 15 | 2017 |
| Interval change-point detection for runtime probabilistic model checking X Zhao, R Calinescu, S Gerasimou, V Robu, D Flynn 2020 35th IEEE/ACM International Conference on Automated Software …, 2020 | 13 | 2020 |
| RODES: A Robust-Design Synthesis Tool for Probabilistic Systems R Calinescu, M Češka, S Gerasimou, M Kwiatkowska, N Paoletti International Conference on Quantitative Evaluation of Systems, 304-308, 2017 | 10 | 2017 |
| Runtime quantitative verification of self-adaptive systems S Gerasimou University of York, 2016 | 10 | 2016 |
| Intelligent run-time partitioning of low-code system models S Jahanbin, D Kolovos, S Gerasimou Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020 | 8 | 2020 |
Radu CalinescuProfessor of Computer Science, University of YorkEmail verificata su york.ac.uk
