Javier Cámara

Hivatkozott rá

	Összes	2016 óta
Hivatkozások	1893	1279
h-index	27	20
i10-index	50	36

340

170

255

200620072008200920102011201220132014201520162017201820192020202112 33 56 40 52 74 58 66 71 96 143 233 280 292 322 4

Társszerzők

David GarlanProfessor of Computer Science, Carnegie Mellon UniversityE-mail megerősítve itt: cs.cmu.edu
Bradley SchmerlPrinciple Systems Scientist, Carnegie Mellon UniversityE-mail megerősítve itt: andrew.cmu.edu
Carlos CanalUniversity of MalagaE-mail megerősítve itt: lcc.uma.es
Gabriel A. MorenoSenior Researcher, Carnegie Mellon Software Engineering InstituteE-mail megerősítve itt: sei.cmu.edu
Rogério de LemosUniversity of Kent, UKE-mail megerősítve itt: kent.ac.uk
Gwen SalaünUniversité Grenoble Alpes, LIG, InriaE-mail megerősítve itt: inria.fr
Javier CuboUniversidad Internacional de la RiojaE-mail megerősítve itt: unir.net
Nelly BencomoSenior Lecturer in Computer Science, Aston University, UKE-mail megerősítve itt: aston.ac.uk
Ernesto PimentelFull Professor of Computer Science, University of MalagaE-mail megerősítve itt: uma.es
Radu CalinescuReader, Department of Computer Science, University of YorkE-mail megerősítve itt: york.ac.uk
Holger GieseProfessor of Computer Science, Hasso Plattner Insitute, Potsdam UniversityE-mail megerősítve itt: hpi.uni-potsdam.de
Paola InverardiProfessor of Computer ScienceE-mail megerősítve itt: univaq.it
Marco VieiraCISUC / University of CoimbraE-mail megerősítve itt: dei.uc.pt
Carlo GhezziEmeritus Professor, Politecnico di MilanoE-mail megerősítve itt: polimi.it
José Antonio MartínPhD Student, Universidad de MálagaE-mail megerősítve itt: lcc.uma.es
Antonia LopesDepartamento de Informática and LaSIGE, Faculdade de Ciências, Universidade de LisboaE-mail megerősítve itt: di.fc.ul.pt
Samuel KounevProfessor of Computer Science, University of WürzburgE-mail megerősítve itt: kit.edu
Sam MalekProfessor, University of California, IrvineE-mail megerősítve itt: uci.edu
Danny WeynsKatholieke Universiteit LeuvenE-mail megerősítve itt: kuleuven.be
Meriem OuederniToulouse INP, IRIT, FranceE-mail megerősítve itt: enseeiht.fr

Javier Cámara

Lecturer in Computer Science, University of York

E-mail megerősítve itt: york.ac.uk - Kezdőlap

Self-Adaptive Systems Stochastic Modelling Software Architecture Verification


Cím Rendezés hivatkozások szerint Rendezés év szerint Rendezés cím szerint	Hivatkozott rá Hivatkozott rá	Év
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	139	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
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	76	2017
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	74	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	72	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	67	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	66	2006
Theorem proving for product line model verification M Mannion, J Camara International Workshop on Software Product-Family Engineering, 211-224, 2003	62	2003
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	60	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	58	2016
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	53	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	49	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	48	2013
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
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	39	2014
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	39	2007
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	37	2011
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	36*	2014
Interactive specification and verification of behavioral adaptation contracts J Cámara, G Salaün, C Canal, M Ouederni Information and Software Technology 54 (7), 701-723, 2012	33	2012
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	32	2017

A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.

Cikkek 1–20

Hivatkozások évente

Ismétlődő hivatkozások

Összevont hivatkozások

Társszerzők hozzáadásaTársszerzők

PDF feltöltése

A szerző követése

Hivatkozott rá

Társszerzők