World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
30
Citations
2905
World Ranking
14183
National Ranking
907

Best Publications

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

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

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

    Unknown

  • The Notion of Self-aware Computing

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

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

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

  • Perpetual assurances for self-adaptive systems

    Danny Weyns;Nelly Bencomo;Radu Calinescu;Javier Camara

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

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

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

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

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

    Unknown

  • Formalizing WSBPEL Business Processes Using Process Algebra

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

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

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

  • Theorem Proving for Product Line Model Verification

    Unknown

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

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

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

    Unknown

  • Hybrid Planning for Decision Making in Self-Adaptive Systems

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

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

    Javier Camara;Henry Muccini;Karthik Vaidhyanathan

  • Model-Based Analysis of Microservice Resiliency Patterns

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

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

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

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

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

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

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

  • Assurances for Self-Adaptive Systems

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

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: