Radu Calinescu

Cited by

	All	Since 2016
Citations	4082	2408
h-index	31	26
i10-index	63	45

500

250

125

375

20072008200920102011201220132014201520162017201820192020202129 48 72 97 126 183 269 324 380 387 469 493 496 429 127

Public access

View all

20 articles

4 articles

available

not available

Based on funding mandates

Co-authors

Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Simos GerasimouLecturer in Computer Science, University of YorkVerified email at york.ac.uk
Kenneth JohnsonAuckland University of TechnologyVerified email at aut.ac.nz
Raffaela MirandolaAssociate Professor, Politecnico di MilanoVerified email at elet.polimi.it
Richard F. PaigeProfessor, McMaster University, and Professor of Enterprise Systems, University of YorkVerified email at mcmaster.ca
Danny WeynsKatholieke Universiteit LeuvenVerified email at kuleuven.be
Colin PatersonUniversity of YorkVerified email at york.ac.uk
Carlo GhezziEmeritus Professor, Politecnico di MilanoVerified email at polimi.it
Giordano TamburrelliIKEAVerified email at ingka.ikea.com
Tim KellyProfessor of High Integrity SystemsVerified email at york.ac.uk
Javier CámaraLecturer in Computer Science, University of YorkVerified email at york.ac.uk
John McDermidUniversity of YorkVerified email at york.ac.uk
Lars GrunskeProfessor for Software Engineering, Humboldt-Universität zu Berlin, GermanyVerified email at informatik.hu-berlin.de
Ian SommervilleProfessor of Computer Science, University of St AndrewsVerified email at st-andrews.ac.uk
Dave CliffProfessor of Computer Science, University of BristolVerified email at bcs.org
Paola InverardiProfessor of Computer ScienceVerified email at univaq.it
Jeremy GibbonsProfessor of Computing, University of OxfordVerified email at cs.ox.ac.uk
Jim DaviesUniversity of OxfordVerified email at cs.ox.ac.uk
Ibrahim HabliUniversity of YorkVerified email at york.ac.uk
Nelly BencomoSenior Lecturer in Computer Science, Aston University, UKVerified email at aston.ac.uk

Radu Calinescu

Reader, Department of Computer Science, University of York

Verified email at york.ac.uk - Homepage

Self-adaptive systems Cyber-physical systems Stochastic modelling Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	426	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	421	2010
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	315	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	248	2012
System Providing Methodology for Policy-Based Resource Allocation R Calinescu, J Hill US Patent App. 10/710,322, 2005	217	2005
Scalable SQL: How do large-scale sites and applications remain SQL-based? M Rys Queue 9 (4), 30-37, 2011	179*	2011
System providing methodology for policy-based resource allocation R Calinescu, JMD Hill US Patent App. 12/387,710, 2010	127	2010
Using quantitative analysis to implement autonomic IT systems R Calinescu, M Kwiatkowska 2009 IEEE 31st International Conference on Software Engineering, 100-110, 2009	121	2009
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	92	2017
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	82	2017
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	79	2017
Tele assistance: A self-adaptive service-based system exemplar D Weyns, R Calinescu 2015 IEEE/ACM 10th International Symposium on Software Engineering for …, 2015	71	2015
Self-adaptive software with decentralised control loops R Calinescu, S Gerasimou, A Banks International Conference on Fundamental Approaches To Software Engineering …, 2015	66	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	65	2013
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	62	2014
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	55	2015
Search-based synthesis of probabilistic models for quality-of-service software engineering (t) S Gerasimou, G Tamburrelli, R Calinescu 2015 30th IEEE/ACM International Conference on Automated Software …, 2015	50	2015
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	50	2014
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	45	2009
General-purpose autonomic computing R Calinescu Autonomic Computing and Networking, 3-30, 2009	44	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors