Javier Cámara

Javier Cámara publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Javier Cámara sits on this spectrum.

Javier Cámara D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Javier Cámara sits on this spectrum.

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