Radu Calinescu
Radu Calinescu
Reader, Department of Computer Science, University of York
Verified email at york.ac.uk - Homepage
TitleCited byYear
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
4172004
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
3512010
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
2572012
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
2092012
System Providing Methodology for Policy-Based Resource Allocation
R Calinescu, J Hill
US Patent App. 10/710,322, 2005
2072005
scalable SQL
M Rys
Communications of the ACM 54 (6), 48-53, 2011
160*2011
Using quantitative analysis to implement autonomic IT systems
R Calinescu, M Kwiatkowska
2009 IEEE 31st International Conference on Software Engineering, 100-110, 2009
1102009
System providing methodology for policy-based resource allocation
R Calinescu, JMD Hill
US Patent App. 12/387,710, 2010
1062010
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, 31-63, 2017
552017
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
542013
Tele assistance: a self-adaptive service-based system examplar
D Weyns, R Calinescu
Proceedings of the 10th International Symposium on Software Engineering for …, 2015
522015
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, 3-30, 2017
492017
Self-adaptive software with decentralised control loops
R Calinescu, S Gerasimou, A Banks
International Conference on Fundamental Approaches To Software Engineering …, 2015
472015
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
462017
Connect challenges: Towards emergent connectors for eternal networked systems
V Issarny, B Steffen, B Jonsson, G Blair, P Grace, M Kwiatkowska, ...
2009 14th IEEE International Conference on Engineering of Complex Computer …, 2009
442009
General-purpose autonomic computing
R Calinescu
Autonomic Computing and Networking, 3-30, 2009
442009
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
422014
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
402015
Adaptive model learning for continual verification of non-functional properties
R Calinescu, Y Rafiq, K Johnson, ME Bakır
Proceedings of the 5th ACM/SPEC international conference on Performance …, 2014
392014
Using observation ageing to improve Markovian model learning in QoS engineering
R Calinescu, K Johnson, Y Rafiq
Proceedings of the 2nd ACM/SPEC International Conference on Performance …, 2011
392011
The system can't perform the operation now. Try again later.
Articles 1–20