Javier Cámara

Best Publications

• Proactive self-adaptation under uncertainty: a probabilistic model checking approach

  Gabriel A. Moreno;Javier Cámara;David Garlan;Bradley Schmerl

  217
  Citations

• On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML

  Unknown

  163
  Citations

• The Notion of Self-aware Computing

  Samuel Kounev;Peter R. Lewis;Kirstie L. Bellman;Nelly Bencomo

  121
  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

• Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation

  Gabriel A. Moreno;Javier Camara;David Garlan;Bradley Schmerl

  89
  Citations

• ITACA: An integrated toolbox for the automatic composition and adaptation of Web services

  Javier Camara;Jose Antonio Martin;Gwen Salaun;Javier Cubo

  88
  Citations

• Evaluation of resilience in self-adaptive systems using probabilistic model-checking

  Unknown

  79
  Citations

• Formalizing WSBPEL Business Processes Using Process Algebra

  Javier Cámara;Carlos Canal;Javier Cubo;Antonio Vallecillo

  76
  Citations

• Stochastic game analysis and latency awareness for proactive self-adaptation

  Javier Cámara;Gabriel A. Moreno;David Garlan

  69
  Citations

• Theorem Proving for Product Line Model Verification

  Unknown

  66
  Citations

• Optimal planning for architecture-based self-adaptation via model checking of stochastic games

  Javier Cámara;David Garlan;Bradley Schmerl;Ashutosh Pandey

  64
  Citations

• Evaluation of resilience in self-adaptive systems using probabilistic model-checking

  Unknown

  53
  Citations

• Hybrid Planning for Decision Making in Self-Adaptive Systems

  Ashutosh Pandey;Gabriel A. Moreno;Javier Camara;David Garlan

  42
  Citations

• Quantitative Verification-Aided Machine Learning: A Tandem Approach for Architecting Self-Adaptive IoT Systems

  Javier Camara;Henry Muccini;Karthik Vaidhyanathan

  40
  Citations

• Model-Based Analysis of Microservice Resiliency Patterns

  Nabor Mendonca;Carlos Mendes Aderaldo;Javier Camara;David Garlan

  40
  Citations

• Flexible and Efficient Decision-Making for Proactive Latency-Aware Self-Adaptation

  Gabriel A. Moreno;Javier Cámara;David Garlan;Bradley Schmerl

  39
  Citations

• Architecture-based self-protection: composing and reasoning about denial-of-service mitigations

  Bradley Schmerl;Javier Cámara;Jeffrey Gennari;David Garlan

  39
  Citations

• Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and Simulations

  Javier Cámara;Gabriel A. Moreno;David Garlan;Bradley Schmerl

  39
  Citations

• Assurances for Self-Adaptive Systems

  Javier Cámara;Rogério de Lemos;Carlo Ghezzi;Antónia Lopes

  22
  Citations