| Distributed System Providing Scalable Methodology for Real-Time Control of Server Pools and Data Centers J Hill, W McColl, R Calinescu, P Scammell, R McPhee US Patent App. 10/605,938, 2004 | 553 | 2004 |
| Dynamic QoS management and optimization in service-based systems R Calinescu, L Grunske, M Kwiatkowska, R Mirandola, G Tamburrelli IEEE Transactions on software engineering 37 (3), 387-409, 2010 | 540 | 2010 |
| Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges R Ashmore, R Calinescu, C Paterson ACM Computing Surveys 54 (5), 2021 | 478 | 2021 |
| Self-adaptive software needs quantitative verification at runtime R Calinescu, C Ghezzi, M Kwiatkowska, R Mirandola Communications of the ACM 55 (9), 69-77, 2012 | 376 | 2012 |
| Large-scale complex IT systems I Sommerville, D Cliff, R Calinescu, J Keen, T Kelly, M Kwiatkowska, ... Communications of the ACM 55 (7), 71-77, 2012 | 313 | 2012 |
| System Providing Methodology for Policy-Based Resource Allocation R Calinescu, J Hill US Patent App. 10/710,322, 2005 | 269 | 2005 |
| 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 44 (11), 1039-1069, 2017 | 241 | 2017 |
| System providing methodology for policy-based resource allocation R Calinescu, JMD Hill US Patent App. 12/387,710, 2010 | 182 | 2010 |
| Guidance on the assurance of machine learning in autonomous systems (AMLAS) R Hawkins, C Paterson, C Picardi, Y Jia, R Calinescu, I Habli arXiv preprint arXiv:2102.01564, 2021 | 169 | 2021 |
| A deep learning-enhanced Digital Twin framework for improving safety and reliability in human–robot collaborative manufacturing S Wang, J Zhang, P Wang, J Law, R Calinescu, L Mihaylova Robotics and computer-integrated manufacturing 85, 102608, 2024 | 166 | 2024 |
| Perpetual assurances for self-adaptive systems D Weyns, N Bencomo, R Calinescu, J Camara, C Ghezzi, V Grassi, ... Software Engineering for Self-Adaptive Systems III. Assurances …, 2018 | 157 | 2018 |
| Software engineering for self-adaptive systems: Research challenges in the provision of assurances R De Lemos, D Garlan, C Ghezzi, H Giese, J Andersson, M Litoiu, ... Software Engineering for Self-Adaptive Systems III. Assurances …, 2018 | 156 | 2018 |
| Using quantitative analysis to implement autonomic IT systems R Calinescu, M Kwiatkowska 2009 IEEE 31st International Conference on Software Engineering, 100-110, 2009 | 145 | 2009 |
| Tele assistance: A self-adaptive service-based system exemplar D Weyns, R Calinescu 2015 IEEE/ACM 10th International Symposium on Software Engineering for …, 2015 | 125 | 2015 |
| Uncertainty in self-adaptive systems: A research community perspective SM Hezavehi, D Weyns, P Avgeriou, R Calinescu, R Mirandola, ... ACM Transactions on Autonomous and Adaptive Systems (TAAS) 15 (4), 1-36, 2021 | 120 | 2021 |
| Formal verification with confidence intervals to establish quality of service properties of software systems R Calinescu, C Ghezzi, K Johnson, M Pezzé, Y Rafiq, G Tamburrelli IEEE transactions on reliability 65 (1), 107-125, 2015 | 102 | 2015 |
| An incremental verification framework for component-based software systems K Johnson, R Calinescu, S Kikuchi Proceedings of the 16th International ACM Sigsoft symposium on Component …, 2013 | 98 | 2013 |
| Self-adaptive software with decentralised control loops R Calinescu, S Gerasimou, A Banks International Conference on Fundamental Approaches To Software Engineering …, 2015 | 95 | 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 | 88 | 2018 |
| Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration S Gerasimou, R Calinescu, A Banks Proceedings of the 9th international symposium on software engineering for …, 2014 | 82 | 2014 |
Simos GerasimouAssociate Professor (Senior Lecturer) in Computer Science, University of YorkVerified email at york.ac.uk
