Javier Cámara

Cited by

	All	Since 2018
Citations	2975	1969
h-index	33	26
i10-index	72	54

420

210

105

315

2006200720082009201020112012201320142015201620172018201920202021202220239 35 57 43 51 76 61 65 71 98 145 226 283 294 326 411 368 285

Public access

View all

36 articles

2 articles

available

not available

Based on funding mandates

Co-authors

David GarlanProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Bradley SchmerlPrinciple Systems Scientist, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Gabriel A. MorenoPrincipal Researcher, Carnegie Mellon Software Engineering InstituteVerified email at sei.cmu.edu
Carlos CanalUniversity of MalagaVerified email at lcc.uma.es
Rogério de LemosUniversity of Kent, UKVerified email at kent.ac.uk
Radu CalinescuProfessor of Computer Science, University of YorkVerified email at york.ac.uk
Gwen SalaünUniversité Grenoble Alpes, LIG, InriaVerified email at inria.fr
Nelly BencomoAssociate Professor in Computer Science, Durham University, UKVerified email at durham.ac.uk
Javier CuboUniversidad Internacional de la RiojaVerified email at unir.net
Holger GieseProfessor of Computer Science, Hasso Plattner Insitute, Potsdam UniversityVerified email at hpi.uni-potsdam.de
Rafael VenturaAluno Mestrado em Engenharia Informática, Universidade de CoimbraVerified email at dei.uc.pt
Ernesto PimentelFull Professor of Computer Science, University of MalagaVerified email at uma.es
Danny WeynsKatholieke Universiteit LeuvenVerified email at kuleuven.be
Marco VieiraUniversity of North Carolina at Charlotte, University of CoimbraVerified email at uncc.edu
Pooyan JamshidiAssistant Professor of Computer Science and Engineering, University of South Carolina, GoogleVerified email at cse.sc.edu
Raffaela MirandolaFull Professor, Politecnico di MilanoVerified email at polimi.it
Carlo GhezziEmeritus Professor, Politecnico di MilanoVerified email at polimi.it
Antonio VallecilloUniversidad de MalagaVerified email at lcc.uma.es
Lukas EsterleAssociate Professor, Aarhus UniversityVerified email at ece.au.dk
Ashutosh PandeyBroadcom Corporation, ClearOne Communications, University of Utah, IT-BHUVerified email at broadcom.com

Javier Cámara

Associate Professor of Computer Science, University of Málaga

Verified email at uma.es - Homepage

Self-Adaptive Systems Stochastic Modelling Software Architecture Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	214	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	139	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	123	2017
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	117	2017
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	91	2015
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	89	2012
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
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	83	2016
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	73	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	73	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	67	2014
Theorem proving for product line model verification M Mannion, J Camara International Workshop on Software Product-Family Engineering, 211-224, 2003	65	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	62	2015
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
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	55	2014
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	51	2016
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	46*	2014
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	43	2018
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	43	2017
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	43	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors