| 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 | 209 | 2017 |
| Importance-driven deep learning system testing S Gerasimou, HF Eniser, A Sen, A Cakan Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 117 | 2020 |
| DeepFault: Fault Localization for Deep Neural Networks HF Eniser, S Gerasimou, A Sen 22nd International Conference on Fundamental Approaches to Software Engineering, 2019 | 92 | 2019 |
| Self-Adaptive Software with Decentralised Control Loops R Calinescu, S Gerasimou, A Banks 18th International Conference on Fundamental Approaches to Software …, 2015 | 86 | 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 | 79 | 2014 |
| 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 | 78 | 2015 |
| Synthesis of probabilistic models for quality-of-service software engineering S Gerasimou, R Calinescu, G Tamburrelli Automated Software Engineering 25 (4), 785-831, 2018 | 77 | 2018 |
| 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 | 67 | 2018 |
| 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 | 62 | 2017 |
| 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 | 59 | 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 | 44 | 2017 |
| 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 | 36 | 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 |
| 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 | 27 | 2021 |
| An investigation of optimal project scheduling and team staffing in software development using particle swarm optimization S Gerasimou, C Stylianou, AS Andreou International Conference on Enterprise Information Systems 2, 168-171, 2012 | 20 | 2012 |
| Interval change-point detection for runtime probabilistic model checking X Zhao, R Calinescu, S Gerasimou, V Robu, D Flynn Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020 | 19 | 2020 |
| SORA Methodology for Multi-UAS Airframe Inspections in an Airport C Martinez, PJ Sanchez-Cuevas, S Gerasimou, A Bera, ... Drones 5 (4), 141, 2021 | 18 | 2021 |
| Using runtime quantitative verification to provide assurance evidence for self-adaptive software: advances, applications and research challenges R Calinescu, S Gerasimou, K Johnson, C Paterson Software Engineering for Self-Adaptive Systems III. Assurances …, 2017 | 18 | 2017 |
| Model-driven simulation-based analysis for multi-robot systems J Harbin, S Gerasimou, N Matragkas, A Zolotas, R Calinescu 2021 ACM/IEEE 24th International Conference on Model Driven Engineering …, 2021 | 17 | 2021 |
| Importance-driven deep learning system testing. In 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) S Gerasimou, HF Eniser, A Sen, A Cakan IEEE, Seoul, Korea (South), 702-713, 2020 | 16 | 2020 |
Radu CalinescuProfessor of Computer Science, University of YorkEmail verificata su york.ac.uk
