Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDRadu Calinescu
Radu C. Calinescu
Person information
- affiliation: University of York, Department of Computer Science, UK
- affiliation: Aston University, Birmingham, Departent of Computer Science, UK
- affiliation: University of Oxford, Computing Laboratory, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j26]Premathas Somasekaram
, Radu Calinescu, Rajkumar Buyya:
High-availability clusters: A taxonomy, survey, and future directions. J. Syst. Softw. 187: 111208 (2022)- [j25]Naif Alasmari, Radu Calinescu, Colin Paterson, Raffaela Mirandola:
Quantitative verification with adaptive uncertainty reduction. J. Syst. Softw. 188: 111275 (2022) - [j24]Mario Gleirscher, Radu Calinescu, James A. Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan M. Aitken, Rob Alexander, James Law:
Verified synthesis of optimal safety controllers for human-robot collaboration. Sci. Comput. Program. 218: 102809 (2022) - [c89]Abdullah Albalawi, Vassilios G. Vassilakis, Radu Calinescu:
Protecting Shared Virtualized Environments against Cache Side-channel Attacks. ICISSP 2022: 507-514 - [c88]Abdullah Albalawi, Vassilios G. Vassilakis, Radu Calinescu:
Side-channel Attacks and Countermeasures in Cloud Services and Infrastructures. NOMS 2022: 1-4 - [c87]Xinwei Fang, Radu Calinescu, Colin Paterson, Julie Wilson:
PRESTO: Predicting System-level Disruptions through Parametric Model Checking. SEAMS 2022: 91-97 - [i20]Radu Calinescu, Calum Imrie, Ravi Mangal, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez:
Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components. CoRR abs/2202.03360 (2022) - [i19]Xinwei Fang, Radu Calinescu, Colin Paterson, Julie Wilson:
PRESTO: Predicting System-level Disruptions through Parametric Model Checking. CoRR abs/2205.03628 (2022) - 2021
- [j23]Radu Calinescu, Felicita Di Giandomenico:
Special issue on resilient software and software-controlled systems. Computing 103(4): 533-534 (2021) - [j22]Rob Ashmore, Radu Calinescu, Colin Paterson:
Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges. ACM Comput. Surv. 54(5): 111:1-111:39 (2021) - [j21]Mario Gleirscher, Radu Calinescu, Jim Woodcock:
RiskStructures: A design algebra for risk-aware machines. Formal Aspects Comput. 33(4-5): 763-802 (2021) - [j20]James A. Douthwaite, Benjamin Lesage, Mario Gleirscher, Radu Calinescu, Jonathan M. Aitken, Rob Alexander, James Law:
A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics. Frontiers Robotics AI 8: 758099 (2021) - [j19]Tomás Bures, Radu Calinescu, Danny Weyns:
Special Issue on software engineering for trustworthy cyber-physical systems. J. Syst. Softw. 178: 110972 (2021) - [j18]Radu Calinescu, Colin Paterson, Kenneth Johnson:
Efficient Parametric Model Checking Using Domain Knowledge. IEEE Trans. Software Eng. 47(6): 1114-1133 (2021) - [c86]Abdullah Albalawi, Vassilios G. Vassilakis, Radu Calinescu:
Memory Deduplication as a Protective Factor in Virtualized Systems. ACNS Workshops 2021: 301-317 - [c85]Danny Weyns, Tomás Bures, Radu Calinescu, Barnaby Craggs, John S. Fitzgerald, David Garlan, Bashar Nuseibeh, Liliana Pasquale, Awais Rashid, Ivan Ruchkin, Bradley R. Schmerl:
Six Software Engineering Principles for Smarter Cyber-Physical Systems. ACSOS-C 2021: 198-203 - [c84]Colin Paterson, Radu Calinescu, Chiara Picardi:
Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers. AITest 2021: 9-16 - [c83]Ioannis Stefanakos, Radu Calinescu, Simos Gerasimou:
Probabilistic Program Performance Analysis. SEAA 2021: 148-157 - [c82]Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks:
Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies. ICAART (2) 2021: 237-245 - [c81]Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem:
Fast Parametric Model Checking through Model Fragmentation. ICSE 2021: 835-846 - [c80]Simos Gerasimou, Javier Cámara, Radu Calinescu, Naif Alasmari, Faisal Alhwikem, Xinwei Fang:
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. ASE 2021: 842-853 - [c79]Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks:
Utilising Assured Multi-Agent Reinforcement Learning within Safety-Critical Scenarios. KES 2021: 1061-1070 - [c78]Ioannis Stefanakos, Simos Gerasimou, Radu Calinescu:
Software Performance Engineering with Performance Antipatterns and Code-level Probabilistic Analysis. MoDELS (Companion) 2021: 249-253 - [c77]James Harbin, Simos Gerasimou, Nicholas Matragkas, Athanasios Zolotas, Radu Calinescu:
Model-Driven Simulation-Based Analysis for Multi-Robot Systems. MoDELS 2021: 331-341 - [c76]Colin Paterson, Haoze Wu, John Grese, Radu Calinescu, Corina S. Pasareanu, Clark W. Barrett:
DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers. SAFECOMP 2021: 3-17 - [c75]Radu Calinescu, Naif Alasmari, Mario Gleirscher:
Maintaining driver attentiveness in shared-control autonomous driving. SEAMS@ICSE 2021: 90-96 - [c74]Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, Sergio García, Ricardo Caldas, Tim J. von Oertzen, Manuel Wimmer, Luca Berardinelli, Matteo Rossi, Marcello M. Bersani, Gabriel S. Rodrigues:
RoboMAX: Robotic Mission Adaptation eXemplars. SEAMS@ICSE 2021: 245-251 - [c73]Gricel Vázquez, Radu Calinescu, Javier Cámara:
Scheduling Multi-robot Missions with Joint Tasks and Heterogeneous Robot Teams. TAROS 2021: 354-359 - [c72]Premathas Somasekaram, Radu Calinescu:
Towards a Bayesian prognostic framework for high-availability clusters. UCC Companion 2021: 17:1-17:8 - [e9]Radu Calinescu, Corina S. Pasareanu:
Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings. Lecture Notes in Computer Science 13085, Springer 2021, ISBN 978-3-030-92123-1 [contents] - [i18]Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem:
Fast Parametric Model Checking through Model Fragmentation. CoRR abs/2102.01490 (2021) - [i17]Richard Hawkins, Colin Paterson, Chiara Picardi, Yan Jia, Radu Calinescu, Ibrahim Habli:
Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS). CoRR abs/2102.01564 (2021) - [i16]Radu Calinescu, Naif Alasmari, Mario Gleirscher:
Maintaining driver attentiveness in shared-control autonomous driving. CoRR abs/2102.03298 (2021) - [i15]Colin Paterson, Haoze Wu, John Grese, Radu Calinescu, Corina S. Pasareanu, Clark W. Barrett:
DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers. CoRR abs/2103.01629 (2021) - [i14]Sara Mahdavi-Hezavehi, Danny Weyns, Paris Avgeriou, Radu Calinescu, Raffaela Mirandola, Diego Perez-Palacin:
Uncertainty in Self-Adaptive Systems: A Research Community Perspective. CoRR abs/2103.02717 (2021) - [i13]Mario Gleirscher, Radu Calinescu, James A. Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan M. Aitken, Rob Alexander, James Law:
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration. CoRR abs/2106.06604 (2021) - [i12]Naif Alasmari, Radu Calinescu, Colin Paterson, Raffaela Mirandola:
Quantitative Verification with Adaptive Uncertainty Reduction. CoRR abs/2109.02984 (2021) - [i11]Premathas Somasekaram, Radu Calinescu, Rajkumar Buyya:
High-Availability Clusters A Taxonomy, Review, and Future Directions. CoRR abs/2109.15139 (2021) - 2020
- [j17]Sara Mahdavi-Hezavehi, Danny Weyns, Paris Avgeriou, Radu Calinescu, Raffaela Mirandola, Diego Perez-Palacin:
Uncertainty in Self-adaptive Systems: A Research Community Perspective. ACM Trans. Auton. Adapt. Syst. 15(4): 10:1-10:36 (2020) - [j16]Colin Paterson, Radu Calinescu:
Observation-Enhanced QoS Analysis of Component-Based Systems. IEEE Trans. Software Eng. 46(5): 526-548 (2020) - [c71]Chiara Picardi, Colin Paterson, Richard Hawkins, Radu Calinescu, Ibrahim Habli:
Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems. SafeAI@AAAI 2020: 23-30 - [c70]Radu Calinescu, Raffaela Mirandola, Diego Perez-Palacin, Danny Weyns:
Understanding Uncertainty in Self-adaptive Systems. ACSOS 2020: 242-251 - [c69]Radu Calinescu, Vittorio Cortellessa, Ioannis Stefanakos, Catia Trubiani:
Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles. FASE 2020: 357-377 - [c68]Mario Gleirscher, Radu Calinescu:
Safety Controller Synthesis for Collaborative Robots. ICECCS 2020: 83-92 - [c67]Simon Foster, Mario Gleirscher, Radu Calinescu:
Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles. ICECCS 2020: 113-118 - [c66]Xingyu Zhao, Radu Calinescu, Simos Gerasimou, Valentin Robu, David Flynn:
Interval Change-Point Detection for Runtime Probabilistic Model Checking. ASE 2020: 163-174 - [e8]Shinichi Honiden, Elisabetta Di Nitto, Radu Calinescu:
SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June - 3 July, 2020. ACM 2020, ISBN 978-1-4503-7962-5 [contents] - [i10]Simon Foster, Mario Gleirscher, Radu Calinescu:
Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles. CoRR abs/2006.09233 (2020) - [i9]Mario Gleirscher, Radu Calinescu:
Safety Controller Synthesis for Collaborative Robots. CoRR abs/2007.03340 (2020) - [i8]Mario Gleirscher, Nikita Johnson, Panayiotis Karachristou, Radu Calinescu, James Law, John A. Clark:
Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots. CoRR abs/2007.11099 (2020)
2010 – 2019
- 2019
- [c65]Radu Calinescu, Danny Weyns, Simos Gerasimou, Ibrahim Habli:
Architecting Trustworthy Self-Adaptive Systems (Tutorial). ICSA Companion 2019: 3-4 - [c64]Radu Calinescu, Javier Cámara, Colin Paterson:
Socio-cyber-physical systems: models, opportunities, open challenges. SEsCPS@ICSE 2019: 2-6 - [c63]Simos Gerasimou, Nicholas Matragkas, Radu Calinescu:
Towards systematic engineering of collaborative heterogeneous robotic systems. RoSE@ICSE 2019: 25-28 - [c62]Colin Paterson, Radu Calinescu, Di Wang, Suresh Manandhar:
Using unstructured data to improve the continuous planning of critical processes involving humans. SEAMS@ICSE 2019: 25-31 - [c61]Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel A. Moreno, Hausi A. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao:
Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE 2019: 70-76 - [c60]Radu Calinescu:
Taming Service Uncertainty through Probabilistic Model Learning, Analysis and Synthesis. UCC Companion 2019: 163 - [e7]Radu Calinescu, Felicita Di Giandomenico:
Software Engineering for Resilient Systems - 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings. Lecture Notes in Computer Science 11732, Springer 2019, ISBN 978-3-030-30855-1 [contents] - [i7]Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Giordano Tamburrelli:
Perpetual Assurances for Self-Adaptive Systems. CoRR abs/1903.04771 (2019) - [i6]Rob Ashmore, Radu Calinescu, Colin Paterson:
Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges. CoRR abs/1905.04223 (2019) - [i5]Colin Paterson, Radu Calinescu:
Detection and Mitigation of Rare Subclasses in Neural Network Classifiers. CoRR abs/1911.12780 (2019) - 2018
- [j15]Simos Gerasimou, Radu Calinescu, Giordano Tamburrelli:
Synthesis of probabilistic models for quality-of-service software engineering. Autom. Softw. Eng. 25(4): 785-831 (2018) - [j14]Martyn Ellison, Radu Calinescu, Richard F. Paige:
Evaluating cloud database migration options using workload models. J. Cloud Comput. 7: 6 (2018) - [j13]Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti:
Efficient synthesis of robust models for stochastic systems. J. Syst. Softw. 143: 140-158 (2018) - [j12]Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti:
Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158]. J. Syst. Softw. 145: 195 (2018) - [j11]Radu Calinescu, Danny Weyns, Simos Gerasimou, Muhammad Usman Iftikhar, Ibrahim Habli, Tim Kelly:
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. IEEE Trans. Software Eng. 44(11): 1039-1069 (2018) - [c59]Naif Alasmari, Radu Calinescu:
Towards Multi-Objective Optimisation of Hadoop 2.x Application Deployment on Public Clouds. ES 2018: 134-137 - [c58]Radu Calinescu, Kenneth Johnson, Colin Paterson:
Efficient parametric model checking using domain-specific modelling patterns. ICSE (NIER) 2018: 61-64 - [c57]Radu Calinescu, Danny Weyns, Simos Gerasimou, M. Usman Iftikhar, Ibrahim Habli, Tim Kelly:
ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases. ICSE 2018: 495 - [c56]Saud Yonbawi, Radu Calinescu:
Towards Self-Adaptive Systems with Hierarchical Decentralised Control. FAS*W@SASO/ICAC 2018: 14-16 - [i4]Colin Paterson, Radu Calinescu:
Observation-Enhanced QoS Analysis of Component-Based Systems. CoRR abs/1805.09614 (2018) - [i3]Radu Calinescu, Colin Paterson, Kenneth Johnson:
Efficient Parametric Model Checking Using Domain Knowledge. CoRR abs/1812.09952 (2018) - 2017
- [d1]Simos Gerasimou, Radu Calinescu, Stepan Shevtsov, Danny Weyns:
UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles (Artifact). Dagstuhl Artifacts Ser. 3(1): 03:1-03:2 (2017) - [c55]George Mason, Radu Calinescu, Daniel Kudenko, Alec Banks:
Assured Reinforcement Learning with Formally Verified Abstract Policies. ICAART (2) 2017: 105-117 - [c54]Colin Paterson, Radu Calinescu:
Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement. ICSA 2017: 121-130 - [c53]Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti:
Designing Robust Software Systems through Parametric Markov Chain Synthesis. ICSA 2017: 131-140 - [c52]Radu Calinescu:
Software Quality Analysis with Observation-Enhanced Quantitative Verification (Tutorial). ICSA Workshops 2017: 192-195 - [c51]Simos Gerasimou, Radu Calinescu, Stepan Shevtsov, Danny Weyns:
UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles. SEAMS@ICSE 2017: 83-89 - [c50]Carlos Eduardo da Silva, Jose Diego Saraiva da Silva, Colin Paterson, Radu Calinescu:
Self-Adaptive Role-Based Access Control for Business Processes. SEAMS@ICSE 2017: 193-203 - [c49]Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti:
RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. QEST 2017: 304-308 - [p4]Radu Calinescu, Marco Autili, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Z. Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese, Massimo Tivoli:
Synthesis and Verification of Self-aware Computing Systems. Self-Aware Computing Systems 2017: 337-373 - [i2]Radu Calinescu, Simos Gerasimou, Ibrahim Habli, M. Usman Iftikhar, Tim Kelly, Danny Weyns:
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. CoRR abs/1703.06350 (2017) - 2016
- [j10]Andrew R. Gallimore, A. Radu Aricescu, Michisuke Yuzaki, Radu Calinescu:
A Computational Model for the AMPA Receptor Phosphorylation Master Switch Regulating Cerebellar Long-Term Depression. PLoS Comput. Biol. 12(1) (2016) - [j9]Radu Calinescu, Carlo Ghezzi, Kenneth Johnson, Mauro Pezzè, Yasmin Rafiq, Giordano Tamburrelli:
Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems. IEEE Trans. Reliab. 65(1): 107-125 (2016) - [c48]Martyn Ellison, Radu Calinescu, Richard F. Paige:
Towards Platform Independent Database Modelling in Enterprise Systems. STAF Workshops 2016: 42-50 - [c47]Radu Calinescu, Kenneth Johnson, Colin Paterson:
FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals. TACAS 2016: 540-546 - 2015
- [c46]Kenneth Johnson, Roopak Sinha, Radu Calinescu, Ji Ruan:
A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures. EUROMICRO-SEAA 2015: 159-166 - [c45]Radu Calinescu, Simos Gerasimou, Alec Banks:
Self-adaptive Software with Decentralised Control Loops. FASE 2015: 235-251 - [c44]Danny Weyns, Radu Calinescu:
Tele Assistance: A Self-Adaptive Service-Based System Exemplar. SEAMS@ICSE 2015: 88-92 - [c43]Simos Gerasimou, Giordano Tamburrelli, Radu Calinescu:
Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering (T). ASE 2015: 319-330 - [e6]Radu Calinescu, Bernhard Rumpe:
Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Lecture Notes in Computer Science 9276, Springer 2015, ISBN 978-3-319-22968-3 [contents] - [e5]Domenico Bianculli, Radu Calinescu, Bernhard Rumpe:
Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9509, Springer 2015, ISBN 978-3-662-49223-9 [contents] - 2014
- [c42]Roopak Sinha, Kenneth Johnson, Radu Calinescu:
A scalable approach for re-configuring evolving industrial control systems. ETFA 2014: 1-8 - [c41]Diego Perez-Palacin, Raffaela Mirandola, Radu Calinescu:
Synthesis of Adaptation Plans for Cloud Infrastructure with Hybrid Cost Models. EUROMICRO-SEAA 2014: 443-450 - [c40]Simos Gerasimou, Radu Calinescu, Alec Banks:
Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration. SEAMS 2014: 115-124 - [c39]Gabriel Costa Silva, Louis M. Rose, Radu Calinescu:
A Qualitative Study of Model Transformation Development Approaches: Supporting Novice Developers. MD2P2@MoDELS 2014: 18-27 - [c38]Gabriel Costa Silva, Louis M. Rose, Radu Calinescu:
Cloud DSL: A Language for Supporting Cloud Portability by Describing Cloud Entities. CloudMDE@MoDELS 2014: 36-45 - [c37]Kenneth Johnson, Radu Calinescu:
Efficient re-resolution of SMT specifications for evolving software architectures. QoSA 2014: 93-102 - [c36]Martyn Ellison, Radu Calinescu, Richard F. Paige:
Re-engineering the Database Layer of Legacy Applications for Scalable Cloud Deployment. UCC 2014: 976-979 - [c35]Radu Calinescu, Yasmin Rafiq, Kenneth Johnson, Mehmet Emin Bakir:
Adaptive model learning for continual verification of non-functional properties. ICPE 2014: 87-98 - 2013
- [j8]Radu Calinescu, Robert B. France, Carlo Ghezzi:
Editorial. Computing 95(3): 165-166 (2013) - [c34]Kenneth Johnson, Radu Calinescu, Shinji Kikuchi:
An incremental verification framework for component-based software systems. CBSE 2013: 33-42 - [c33]Kenneth Johnson, Yuanzhi Wang, Radu Calinescu, Ian Sommerville, Gordon D. Baxter, John V. Tucker:
Services2Cloud: A Framework for Revenue Analysis of Software-as-a-Service Provisioning. CloudCom (2) 2013: 144-151 - [c32]Gabriel Costa Silva, Louis M. Rose, Radu Calinescu:
A Systematic Review of Cloud Lock-In Solutions. CloudCom (2) 2013: 363-368 - [c31]Gabriel Costa Silva, Louis M. Rose, Radu Calinescu:
Towards a Model-Driven Solution to the Vendor Lock-In Problem in Cloud Computing. CloudCom (1) 2013: 711-716 - [c30]Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Danny Weyns, Luciano Baresi, Nelly Bencomo, Yuriy Brun, Javier Cámara, Radu Calinescu, Myra B. Cohen, Alessandra Gorla, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Hausi A. Müller, Romain Rouvoy, Cecília M. F. Rubira, Éric Rutten, Mary Shaw, Giordano Tamburrelli, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Franco Zambonelli:
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Software Engineering for Self-Adaptive Systems 2013: 3-30 - [c29]Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Giordano Tamburrelli:
Perpetual Assurances for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems 2013: 31-63 - [c28]Radu Calinescu, Simos Gerasimou, Kenneth Johnson, Colin Paterson:
Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software - Advances, Applications and Research Challenges. Software Engineering for Self-Adaptive Systems 2013: 223-248 - [c27]Thar Baker, Omer F. Rana, Radu Calinescu, Rafael Tolosana-Calasanz, José Ángel Bañares:
Towards Autonomic Cloud Services Engineering via Intention Workflow Model. GECON 2013: 212-227 - [c26]Radu Calinescu, Kenneth Johnson, Yasmin Rafiq:
Developing self-verifying service-based systems. ASE 2013: 734-737 - [c25]Radu Calinescu, Kenneth Johnson, Yasmin Rafiq, Simos Gerasimou, Gabriel Costa Silva, Stanimir N. Pehlivanov:
Continual Verification of Non-Functional Properties in Cloud-Based Systems. NiM-ALP@MoDELS 2013: 1-5 - [c24]Richard F. Paige, Radu Calinescu, Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Dave Cliff:
Multimodel-Driven Software Engineering for Evolving Enterprise Systems. GEMOC+AMINO@MoDELS 2013: 23-32 - [c23]Diego Perez-Palacin, Radu Calinescu, José Merseguer:
log2cloud: log-based prediction of cost-performance trade-offs for cloud deployments. SAC 2013: 397-404 - [c22]Radu Calinescu, Yasmin Rafiq:
Using Intelligent Proxies to Develop Self-Adaptive Service-Based Systems. TASE 2013: 131-134 - [p3]Radu Calinescu:
Emerging Techniques for the Engineering of Self-Adaptive High-Integrity Software. Assurances for Self-Adaptive Systems 2013: 297-310 - 2012
- [j7]Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John Alexander McDermid, Richard F. Paige:
Large-scale complex IT systems. Commun. ACM 55(7): 71-77 (2012) - [j6]Radu Calinescu, Carlo Ghezzi, Marta Z. Kwiatkowska, Raffaela Mirandola:
Self-adaptive software needs quantitative verification at runtime. Commun. ACM 55(9): 69-77 (2012) - [c21]Radu Calinescu, Shinji Kikuchi, Kenneth Johnson:
Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems. Monterey Workshop 2012: 303-329 - [e4]Radu Calinescu, David Garlan:
Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7539, Springer 2012, ISBN 978-3-642-34058-1 [contents] - 2011
- [j5]Tianyi Zang, Radu Calinescu, Marta Z. Kwiatkowska:
Metamodel-driven SOA for collaborative e-science application. Comput. Syst. Sci. Eng. 26(3) (2011) - [j4]Radu Calinescu, Lars Grunske,