Javier Cámara

Citata da

	Tutte	Dal 2018
Citazioni	2785	1774
Indice H	32	24
i10-index	68	50

400

200

100

300

2006200720082009201020112012201320142015201620172018201920202021202220239 35 57 40 54 75 60 66 73 99 145 231 282 296 321 383 370 121

Accesso pubblico

Visualizza tutto

35 articoli

1 articolo

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

David GarlanProfessor of Computer Science, Carnegie Mellon UniversityEmail verificata su cs.cmu.edu
Bradley SchmerlPrinciple Systems Scientist, Carnegie Mellon UniversityEmail verificata su andrew.cmu.edu
Gabriel A. MorenoPrincipal Researcher, Carnegie Mellon Software Engineering InstituteEmail verificata su sei.cmu.edu
Carlos CanalUniversity of MalagaEmail verificata su lcc.uma.es
Rogério de LemosUniversity of Kent, UKEmail verificata su kent.ac.uk
Radu CalinescuProfessor of Computer Science, University of YorkEmail verificata su york.ac.uk
Gwen SalaünUniversité Grenoble Alpes, LIG, InriaEmail verificata su inria.fr
Paola InverardiProfessor of Computer ScienceEmail verificata su univaq.it
Javier CuboUniversidad Internacional de la RiojaEmail verificata su unir.net
Nelly BencomoAssociate Professor in Computer Science, Durham University, UKEmail verificata su durham.ac.uk
Holger GieseProfessor of Computer Science, Hasso Plattner Insitute, Potsdam UniversityEmail verificata su hpi.uni-potsdam.de
Ernesto PimentelFull Professor of Computer Science, University of MalagaEmail verificata su uma.es
Danny WeynsKatholieke Universiteit LeuvenEmail verificata su kuleuven.be
Marco VieiraCISUC, University of CoimbraEmail verificata su dei.uc.pt
Pooyan JamshidiAssistant Professor of Computer Science and Engineering, University of South Carolina, GoogleEmail verificata su cse.sc.edu
Raffaela MirandolaFull Professor, Politecnico di MilanoEmail verificata su polimi.it
Carlo GhezziEmeritus Professor, Politecnico di MilanoEmail verificata su polimi.it
Lukas EsterleAssociate Professor, Aarhus UniversityEmail verificata su ece.au.dk
Samuel KounevProfessor of Computer Science, University of WürzburgEmail verificata su uni-wuerzburg.de
Sam MalekProfessor, University of California, IrvineEmail verificata su uci.edu

Segui

Javier Cámara

Associate Professor of Computer Science, University of Málaga

Email verificata su uma.es - Home page

Self-Adaptive Systems Stochastic Modelling Software Architecture Verification


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
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	204	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	132	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	115	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	112	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	89	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	87	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	81	2016
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
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	67	2019
Theorem proving for product line model verification M Mannion, J Camara Software Product-Family Engineering: 5th International Workshop, PFE 2003 …, 2004	66	2004
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	65	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	60	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	53	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	44*	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	43	2016
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	43	2015
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	40	2017

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori