| 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 | 101 | 2017 |
| Self-Adaptive Software with Decentralised Control Loops R Calinescu, S Gerasimou, A Banks 18th International Conference on Fundamental Approaches to Software …, 2015 | 71 | 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 | 64 | 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 | 54 | 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 | 37 | 2018 |
| 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 | 35 | 2017 |
| 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 | 34 | 2017 |
| 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 | 26 | 2018 |
| 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 | 23 | 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 | 22 | 2017 |
| 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 | 20 | 2020 |
| 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 | 20 | 2019 |
| DeepFault: Fault Localization for Deep Neural Networks HF Eniser, S Gerasimou, A Sen 22nd International Conference on Fundamental Approaches to Software Engineering, 2019 | 20 | 2019 |
| 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 | 17 | 2012 |
| 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 | 9 | 2017 |
| 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 | 9 | 2017 |
| Runtime quantitative verification of self-adaptive systems S Gerasimou University of York, 2016 | 8 | 2016 |
| Continual Verification of Non-Functional Properties in Cloud-Based Systems. R Calinescu, K Johnson, Y Rafiq, S Gerasimou, GC Silva, SN Pehlivanov NiM-ALP@ MoDELS, 1-5, 2013 | 6 | 2013 |
| 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 | 4 | 2020 |
| Towards Automatic Generation of UML Profile Graphical Editors for Papyrus A Zolotas, R Wei, S Gerasimou, HH Rodriguez, DS Kolovos, RF Paige European Conference on Modelling Foundations and Applications, 12-27, 2018 | 4 | 2018 |
Radu CalinescuReader, Department of Computer Science, University of YorkEmail verificata su york.ac.uk
