Radu Calinescu

Radu Calinescu

Department of Computer Science
University of York
Deramore Lane
York, YO10 5GH

email: radu.calinescu AT york.ac.uk


I am a Senior Lecturer in Large-Scale Complex IT Systems within the Department of Computer Science and a member of the Enterprise Systems group at the University of York.

Prior to joining the University of York in 2012, I was a Lecturer in Computer Science at Aston University (2009 - 2012); a Senior Researcher on the Verification and Software Engineering research themes at the University of Oxford (2008 - 2009); a part-time Lecturer on the Software Engineering Programme at the University of Oxford (2005-2009); an Oxford University researcher on UK's CancerGrid research initiative (2005 - 2007); and the Technical Architect and Senior Development Manager of Sychron Ltd, an Oxford software company specialising in the development of autonomic datacentre management solutions (1999-2005).

My University of Oxford DPhil thesis on Autonomic-Independent Loop Parallelisation received a British Computer Society Distinguished Dissertation Award, and is available as a Springer-Verlag book.

Research interests

My main research interests are in

and the application of the theories, approaches and techniques specific to the above research areas to adaptive systems and systems of systems, cloud computing and health informatics.

I am an active promoter of using formal methods at runtime to improve the integrity and predictability of adaptive IT systems. The principled development methods and generic software tools devised as a result of my research in this area form the components of the freely available, open source General-Purpose Autonomic Computing (GPAC) framework.

Research projects

I am a Principal Investigator on the following on-going projects:

Other projects I have been involved in include:

Current PhD/EngD students


Selected recent publications

R. Calinescu, Y. Rafiq, K. Johnson and M.E. Bakir (2014) — Adaptive Model Learning for Continual Verification of Non-Functional Properties. In: 5th ACM/SPEC International Conference on Performance Engineering. To appear.

S. Gerasimou, R. Calinescu and A. Banks (2014) — Efficient Runtime Quantitative Verification Using Caching, Lookahead and Nearly-Optimal Reconfiguration. In: 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. To appear.

R. Calinescu, K. Johnson and Y. Rafiq (2013) — Developing Self-Verifying Service-Based Systems. In: 28th IEEE/ACM International Conference on Automated Software Engineering, 734-737.

K. Johnson, R. Calinescu and S. Kikuchi (2013) — An Incremental Verification Framework for Component-Based Software Systems. In: 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, 33-42.

R. Calinescu and Y. Rafiq (2013) — Using Intelligent Proxies to Develop Self-Adaptive Service-Based Systems. In: 7th IEEE International Symposium on Theoretical Aspects of Computer Science, 131-134.

J. Keen, R. Calinescu, R. Paige and J. Rooksby (2013) — Big data + politics = open data: The case of health care data in England. In: Policy & Internet, 5(2):228-243.

D. Perez-Palacin, R. Calinescu, J. Merseguer (2013) — log2cloud: Log-based prediction of cost-performance trade-offs for cloud deployments. In: S.Y. Shin, J.C. Maldonado (Eds.), Proceedings of the 28th Annual ACM Symposium on Applied Computing, 397-404.

R. Calinescu, C. Ghezzi, M. M. Kwiatkowska, R. Mirandola (2012) — Self-adaptive software needs quantitative verification at runtime, Communications of the ACM. 55(9):69-77.

I. Sommerville, D. Cliff, R. Calinescu, J. Keen, T. Kelly, M. Kwiatkowska, J. McDermid and R. Paige (2012) — Large-scale Complex IT Systems, Communications of the ACM 55(7):71-77.

R. Calinescu, L. Grunske, M. Kwiatkowska, R. Mirandola and G. Tamburrelli (2011) — Dynamic QoS Management and Optimisation in Service-Based Systems. In: IEEE Transactions on Software Engineering, 37(3):387-409.

R. Calinescu, S. Kikuchi (2011) — Formal Methods @ Runtime. In: Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, Lecture Notes in Computer Science, vol. 6662, 122-135, Springer.

R. Calinescu, S. Kikuchi and M. Kwiatkowska (2011) — Formal Methods for the Development and Verification of Autonomic IT Systems. In Cong-Vinh, P. (ed.), Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification, 1-37, IGI Global.

R. Calinescu (2011) — When the Requirements for Adaptation and High Integrity Meet. Invited paper at the 2011 ESEC/FSE Workshop on Assurances for Self-Adaptive Systems, 1-4, ACM, New York.

K. Johnson, S. Reed and R. Calinescu (2012) — Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns. In: K. Eder, J. Lourenco and O. Shehory (eds.), Proceedings of the 7th Haifa Verification Conference, Lecture Notes in Computer Science, vol. 7261, 145-159, Springer.

J. Davies, J. Gibbons, R. Calinescu, C. Crichton, S. Harris and A. Tsui (2012) — Form Follows Function: Model-Driven Engineering for Clinical Trials. In: Proceedings of the 2011 International Symposium on Foundations of Health Information Engineering and Systems, Lecture Notes in Computer Science, vol. 6028, 21-38, Springer.

R. Calinescu, K. Johnson and Y. Rafiq (2011) — Using observation ageing to improve Markovian model learning in QoS engineering. In: Proceedings of the 2nd ACM/SPEC International Conference on Performance Engineering, 505-510.

R. Calinescu and M. Kwiatkowska (2010) — Software engineering techniques for the development of systems of systems. In: Foundations of Computer Software: Future Trends and Techniques for Development. Lecture Notes in Computer Science, vol. 6028, Springer.

R. Calinescu (2009) — General-purpose autonomic computing. In: M.K. Denko, L.T. Yang and Y. Zhang (eds), Autonomic Computing and Networking, Springer.

Issarny, Valerie; Steffen, Bernhard; Jonsson, Bengt; Blair, Gordon; Grace, Paul; Kwiatowska, Marta; Calinescu, Radu; Inverardi, Paola; Tivoli, Massimo; Bertolino, Antonia and Sabetta, Antonino (2009). CONNECT challenges: towards emergent connectors for eternal networked systems. In: 2009 14th IEEE International Conference on Engineering of Complex Computer Systems. Postdam, Germany: IEEE Computer Society.

Calinescu, Radu (2009) — Reconfigurable service-oriented architecture for autonomic computing. International Journal on Advances in Intelligent Systems, 2(1):38-57.

Calinescu, Radu and Kwiatkowska, Marta (2009) — Using quantitative analysis to implement autonomic IT systems. In: IEEE 31st International Conference on Software Engineering, ICSE 2009. Institute of Electrical and Electronics Engineers (IEEE).

Calinescu, Radu (2009) — Run-Time Connector Synthesis for Autonomic Systems of Systems. International Journal on Advances in Intelligent Systems, 2(2-3):376-386.

Calinescu, Radu and Kwiatkowska, Marta (2009)— CADS*: Computer-Aided Development of self-* systems. IN: Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science (5503). Berlin (DE): Springer.

Click here for a detailed list of recent publications or here for a list of selected older publications.

Editorial boards

Recent research seminars/invited presentations

Professional memberships

Program committees