Proactive self-adaptation under uncertainty: a probabilistic model checking approach GA Moreno, J Cámara, D Garlan, B Schmerl Proceedings of the 2015 10th joint meeting on foundations of software …, 2015 | 227 | 2015 |
Software engineering for self-adaptive systems: Research challenges in the provision of assurances R De Lemos, D Garlan, C Ghezzi, H Giese, J Andersson, M Litoiu, ... Software Engineering for Self-Adaptive Systems III. Assurances …, 2017 | 148 | 2017 |
The notion of self-aware computing S Kounev, P Lewis, KL Bellman, N Bencomo, J Camara, A Diaconescu, ... Self-Aware Computing Systems, 3-16, 2017 | 138 | 2017 |
Perpetual assurances for self-adaptive systems D Weyns, N Bencomo, R Calinescu, J Cámara, C Ghezzi, V Grassi, ... Software Engineering for Self-Adaptive Systems III. Assurances …, 2017 | 122 | 2017 |
Evaluation of resilience in self-adaptive systems using probabilistic model-checking J Cámara, R De Lemos 2012 7th International Symposium on Software Engineering for Adaptive and …, 2012 | 94 | 2012 |
Reasoning about human participation in self-adaptive systems J Cámara, G Moreno, D Garlan 2015 IEEE/ACM 10th International Symposium on Software Engineering for …, 2015 | 93 | 2015 |
Efficient decision-making under uncertainty for proactive self-adaptation GA Moreno, J Cámara, D Garlan, B Schmerl 2016 IEEE International Conference on Autonomic Computing (ICAC), 147-156, 2016 | 88 | 2016 |
Itaca: An integrated toolbox for the automatic composition and adaptation of web services J Cámara, JA Martín, G Salaun, J Cubo, M Ouederni, C Canal, E Pimentel 2009 IEEE 31st International Conference on Software Engineering, 627-630, 2009 | 85 | 2009 |
Machine learning meets quantitative planning: Enabling self-adaptation in autonomous robots P Jamshidi, J Cámara, B Schmerl, C Käestner, D Garlan 2019 IEEE/ACM 14th International Symposium on Software Engineering for …, 2019 | 71 | 2019 |
Formalizing wsbpel business processes using process algebra J Cámara, C Canal, J Cubo, A Vallecillo Electronic Notes in Theoretical Computer Science 154 (1), 159-173, 2006 | 71 | 2006 |
Stochastic game analysis and latency awareness for proactive self-adaptation J Cámara, GA Moreno, D Garlan Proceedings of the 9th International Symposium on Software Engineering for …, 2014 | 69 | 2014 |
Theorem proving for product line model verification M Mannion, J Camara International Workshop on Software Product-Family Engineering, 211-224, 2003 | 67 | 2003 |
Optimal planning for architecture-based self-adaptation via model checking of stochastic games J Cámara, D Garlan, B Schmerl, A Pandey Proceedings of the 30th annual ACM symposium on applied computing, 428-435, 2015 | 65 | 2015 |
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML J Cámara, J Troya, L Burgueño, A Vallecillo Software and Systems Modeling 22 (3), 781-793, 2023 | 58 | 2023 |
Architecture-based self-protection: composing and reasoning about denial-of-service mitigations B Schmerl, J Cámara, J Gennari, D Garlan, P Casanova, GA Moreno, ... Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 1-12, 2014 | 58 | 2014 |
Evolving an adaptive industrial software system to use architecture-based self-adaptation J Cámara, P Correia, R De Lemos, D Garlan, P Gomes, B Schmerl, ... Proceedings of the 8th International Symposium on Software Engineering for …, 2013 | 56 | 2013 |
Hybrid planning for decision making in self-adaptive systems A Pandey, GA Moreno, J Cámara, D Garlan 2016 IEEE 10th International Conference on Self-Adaptive and Self-Organizing …, 2016 | 53 | 2016 |
Flexible and efficient decision-making for proactive latency-aware self-adaptation GA Moreno, J Cámara, D Garlan, B Schmerl ACM Transactions on Autonomous and Adaptive Systems (TAAS) 13 (1), 1-36, 2018 | 47 | 2018 |
Testing the robustness of controllers for self-adaptive systems J Cámara, R De Lemos, N Laranjeiro, R Ventura, M Vieira Journal of the Brazilian Computer Society 20, 1-14, 2014 | 47* | 2014 |
Adaptation impact and environment models for architecture-based self-adaptive systems J Cámara, A Lopes, D Garlan, B Schmerl Science of Computer Programming 127, 50-75, 2016 | 45 | 2016 |