Javier Cámara

Navedeno

	Vse	Od leta 2020
Navedbe	3640	2043
indeks h	36	27
indeks i10	79	57

540

270

135

405

2006200720082009201020112012201320142015201620172018201920202021202220232024202510 35 55 44 44 73 63 67 73 97 146 228 291 289 335 407 381 316 526 76

Javni dostop

Prikaži vse

49 člankov

1 članek

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

David GarlanProfessor of Computer Science, Carnegie Mellon UniversityPreverjeni e-poštni naslov na cs.cmu.edu
Bradley SchmerlPrinciple Systems Scientist, Carnegie Mellon UniversityPreverjeni e-poštni naslov na andrew.cmu.edu
Gabriel A. MorenoPrincipal Researcher, Carnegie Mellon Software Engineering InstitutePreverjeni e-poštni naslov na sei.cmu.edu
Carlos CanalUniversity of MalagaPreverjeni e-poštni naslov na lcc.uma.es
Radu CalinescuProfessor of Computer Science, University of YorkPreverjeni e-poštni naslov na york.ac.uk
Rogério de LemosUniversity of Kent, UKPreverjeni e-poštni naslov na kent.ac.uk
Gwen SalaünUniversité Grenoble Alpes, LIG, InriaPreverjeni e-poštni naslov na inria.fr
Nelly BencomoAssociate Professor in Computer Science, Durham University, UKPreverjeni e-poštni naslov na durham.ac.uk
Javier CuboUniversidad Internacional de la RiojaPreverjeni e-poštni naslov na unir.net
Holger GieseProfessor of Computer Science, Hasso Plattner Insitute, Potsdam UniversityPreverjeni e-poštni naslov na hpi.uni-potsdam.de
Antonio VallecilloUniversidad de MalagaPreverjeni e-poštni naslov na lcc.uma.es
Danny WeynsKatholieke Universiteit LeuvenPreverjeni e-poštni naslov na kuleuven.be
Rafael VenturaAluno Mestrado em Engenharia Informática, Universidade de CoimbraPreverjeni e-poštni naslov na dei.uc.pt
Ernesto PimentelFull Professor of Computer Science, University of MalagaPreverjeni e-poštni naslov na uma.es
Marco VieiraUniversity of North Carolina at Charlotte, University of CoimbraPreverjeni e-poštni naslov na uncc.edu
Pooyan JamshidiAssistant Professor of Computer Science and Engineering, University of South Carolina, ex-GooglePreverjeni e-poštni naslov na cse.sc.edu
Raffaela MirandolaFull Professor, Karlsruhe Institute of TechnologyPreverjeni e-poštni naslov na kit.edu
Carlo GhezziEmeritus Professor, Politecnico di MilanoPreverjeni e-poštni naslov na polimi.it
Ashutosh PandeyBroadcom Corporation, ClearOne Communications, University of Utah, IT-BHUPreverjeni e-poštni naslov na broadcom.com
Samuel KounevProfessor of Software Engineering, University of WürzburgPreverjeni e-poštni naslov na uni-wuerzburg.de

Spremljaj

Javier Cámara

Associate Professor of Computer Science, University of Málaga

Preverjeni e-poštni naslov na uma.es - Domača stran

Self-Adaptive Systems Stochastic Modelling Software Architecture Verification


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
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	238	2015
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML J Cámara, J Troya, L Burgueño, A Vallecillo Software and Systems Modeling 22 (3), 781-793, 2023	165	2023
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 …, 2018	148	2018
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	147	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	143	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	100	2012
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	99	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	97	2016
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	87	2009
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	81	2019
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	74	2014
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
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	68	2015
Theorem proving for product line model verification M Mannion, J Camara International Workshop on Software Product-Family Engineering, 211-224, 2003	63	2003
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	60	2016
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
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	55	2018
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
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	49	2015
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	49*	2014

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji