Radu Calinescu

Best Publications

• Dynamic QoS Management and Optimization in Service-Based Systems

  R Calinescu;L Grunske;M Kwiatkowska;R Mirandola

  505
  Citations

• Self-adaptive software needs quantitative verification at runtime

  Radu Calinescu;Carlo Ghezzi;Marta Kwiatkowska;Raffaela Mirandola

  354
  Citations

• Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges

  Unknown

  288
  Citations

• Large-scale complex IT systems

  Ian Sommerville;Dave Cliff;Radu Calinescu;Justin Keen

  286
  Citations

• Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

  Radu Calinescu;Danny Weyns;Simos Gerasimou;Muhammad Usman Iftikhar

  188
  Citations

• Using quantitative analysis to implement autonomic IT systems

  Radu Calinescu;Marta Kwiatkowska

  141
  Citations

• Software engineering for self-adaptive systems: research challenges in the provision of assurances

  Rogério de Lemos;David Garlan;Carlo Ghezzi;Holger Giese

  121
  Citations

• Perpetual assurances for self-adaptive systems

  Danny Weyns;Nelly Bencomo;Radu Calinescu;Javier Camara

  115
  Citations

• Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges.

  Unknown

  94
  Citations

• An incremental verification framework for component-based software systems

  Unknown

  90
  Citations

• Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems

  Radu Calinescu;Carlo Ghezzi;Kenneth Johnson;Mauro Pezze

  89
  Citations

• Self-adaptive Software with Decentralised Control Loops

  Unknown

  84
  Citations

• Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration

  Unknown

  76
  Citations

• Tele Assistance: A Self-Adaptive Service-Based System Exemplar

  Unknown

  70
  Citations

• Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering (T)

  Unknown

  68
  Citations

• Adaptive model learning for continual verification of non-functional properties

  Unknown

  65
  Citations

• Uncertainty in Self-Adaptive Systems: A Research Community Perspective.

  Sara Mahdavi-Hezavehi;Danny Weyns;Paris Avgeriou;Radu Calinescu

  63
  Citations

• Synthesis of probabilistic models for quality-of-service software engineering

  Unknown

  57
  Citations

• Understanding Uncertainty in Self-adaptive Systems

  Radu Calinescu;Raffaela Mirandola;Diego Perez-Palacin;Danny Weyns

  53
  Citations

• CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems

  Valérie Issarny;Bernhard Steffen;Bengt Jonsson;Gordon Blair

  38
  Citations