دنبال کردن
Radu Calinescu
Radu Calinescu
Professor of Computer Science, University of York
ایمیل تأیید شده در york.ac.uk - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
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‏
5462004
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‏
5172010
Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges‏
R Ashmore, R Calinescu, C Paterson‏
ACM Computing Surveys 54 (5), 2021‏
3852021
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‏
3702012
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‏
3042012
System Providing Methodology for Policy-Based Resource Allocation‏
R Calinescu, J Hill‏
US Patent App. 10/710,322, 2005‏
2652005
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‏
2142017
System providing methodology for policy-based resource allocation‏
R Calinescu, JMD Hill‏
US Patent App. 12/387,710, 2010‏
1792010
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‏
1482018
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 …, 2017‏
1432017
Using quantitative analysis to implement autonomic IT systems‏
R Calinescu, M Kwiatkowska‏
2009 IEEE 31st International Conference on Software Engineering, 100-110, 2009‏
1432009
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‏
1252021
Tele assistance: A self-adaptive service-based system exemplar‏
D Weyns, R Calinescu‏
2015 IEEE/ACM 10th International Symposium on Software Engineering for …, 2015‏
1222015
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‏
982015
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‏
932013
Self-adaptive software with decentralised control loops‏
R Calinescu, S Gerasimou, A Banks‏
International Conference on Fundamental Approaches To Software Engineering …, 2015‏
892015
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‏
882021
Synthesis of probabilistic models for quality-of-service software engineering‏
S Gerasimou, R Calinescu, G Tamburrelli‏
Automated Software Engineering 25 (4), 785-831, 2018‏
812018
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‏
802024
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‏
802014
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20