Department of Computer Science
University of York
York, YO10 5GH
email: radu.calinescu AT york.ac.uk
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 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.
I am a Principal Investigator on the following on-going projects:
Other projects I have been involved in include:
R. Calinescu, K. Johnson and Y. Rafiq (2013) — Developing Self-Verifying Service-Based Systems. In: 28th IEEE/ACM International Conference on Automated Software Engineering. To appear.
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.