Javier Cámara

Cited by

	All	Since 2016
Citations	2021	1405
h-index	28	21
i10-index	54	41

320

160

240

200620072008200920102011201220132014201520162017201820192020202112 33 56 41 52 74 58 67 71 96 143 234 280 292 315 136

Public access

View all

24 articles

0 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
Carlos CanalUniversity of MalagaVerified email at lcc.uma.es
Gabriel A. MorenoSenior Researcher, Carnegie Mellon Software Engineering InstituteVerified email at sei.cmu.edu
Rogério de LemosUniversity of Kent, UKVerified email at kent.ac.uk
Gwen SalaünUniversité Grenoble Alpes, LIG, InriaVerified email at inria.fr
Javier CuboUniversidad Internacional de la RiojaVerified email at unir.net
Nelly BencomoSenior Lecturer in Computer Science, Aston University, UKVerified email at aston.ac.uk
Ernesto PimentelFull Professor of Computer Science, University of MalagaVerified email at uma.es
Radu CalinescuReader, Department of Computer Science, University of YorkVerified email at york.ac.uk
Holger GieseProfessor of Computer Science, Hasso Plattner Insitute, Potsdam UniversityVerified email at hpi.uni-potsdam.de
Paola InverardiProfessor of Computer ScienceVerified email at univaq.it
Marco VieiraCISUC / University of CoimbraVerified email at dei.uc.pt
Carlo GhezziEmeritus Professor, Politecnico di MilanoVerified email at polimi.it
José Antonio MartínPhD Student, Universidad de MálagaVerified email at lcc.uma.es
Antonia LopesDepartamento de Informática and LaSIGE, Faculdade de Ciências, Universidade de LisboaVerified email at di.fc.ul.pt
Samuel KounevProfessor of Computer Science, University of WürzburgVerified email at kit.edu
Sam MalekProfessor, University of California, IrvineVerified email at uci.edu
Danny WeynsKatholieke Universiteit LeuvenVerified email at kuleuven.be
Meriem OuederniToulouse INP, IRIT, FranceVerified email at enseeiht.fr

Javier Cámara

Lecturer in Computer Science, University of York

Verified email at york.ac.uk - 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	151	2015
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
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, 3-30, 2017	83	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, 31-63, 2017	79	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	74	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	71	2012
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	69	2006
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	66	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	63	2016
Theorem proving for product line model verification M Mannion, J Camara International Workshop on Software Product-Family Engineering, 211-224, 2003	63	2003
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	55	2014
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	53	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	49	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	43	2014
Context-based adaptation of component behavioural interfaces J Cubo, G Salaün, J Cámara, C Canal, E Pimentel International Conference on Coordination Languages and Models, 305-323, 2007	42*	2007
An aspect-oriented adaptation framework for dynamic component evolution J Camara, C Canal, J Cubo, JM Murillo Electronic Notes in Theoretical Computer Science 189, 21-34, 2007	40	2007
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), 1-14, 2014	38*	2014
Synthesis of switching controllers using approximately bisimilar multiscale abstractions J Cámara, A Girard, G Gössler Proceedings of the 14th international conference on Hybrid systems …, 2011	38	2011
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	35	2016
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	34	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

Upload PDF

Follow this author

Cited by

Co-authors