Folgen
Javier Cámara
Javier Cámara
Associate Professor of Computer Science, University of Málaga
Bestätigte E-Mail-Adresse bei uma.es - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
2032015
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
1312017
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
1152017
Perpetual assurances for self-adaptive systems
D Weyns, N Bencomo, R Calinescu, J Camara, C Ghezzi, V Grassi, ...
Software Engineering for Self-Adaptive Systems III. Assurances …, 2017
1122017
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
892015
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
872012
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
852009
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
812016
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
732006
Theorem proving for product line model verification
M Mannion, J Camara
Software Product-Family Engineering: 5th International Workshop, PFE 2003 …, 2004
662004
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
652019
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
642014
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
602015
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
562013
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
532014
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
512016
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
432016
Robustness-driven resilience evaluation of self-adaptive software systems
J Cámara, R De Lemos, N Laranjeiro, R Ventura, M Vieira
IEEE Transactions on Dependable and Secure Computing 14 (1), 50-64, 2015
432015
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
43*2014
Synthesis and verification of self-aware computing systems
R Calinescu, M Autili, J Cámara, A Di Marco, S Gerasimou, P Inverardi, ...
Self-Aware Computing Systems, 337-373, 2017
402017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20