Javier Cámara
Javier Cámara
Lecturer in Computer Science, University of York
Verified email at york.ac.uk - Homepage
TitleCited byYear
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
1002015
Itaca: An integrated toolbox for the automatic composition and adaptation of web services
J Cámara, JA Martin, G Salaun, J Cubo, M Ouederni, C Canal, E Pimentel
Proceedings of the 31st International Conference on Software Engineering …, 2009
792009
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
642006
Theorem proving for product line model verification
M Mannion, J Camara
International Workshop on Software Product-Family Engineering, 211-224, 2003
602003
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
552017
Evaluation of resilience in self-adaptive systems using probabilistic model-checking
J Cámara, R de Lemos
Proceedings of the 7th International Symposium on Software Engineering for …, 2012
512012
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
492017
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
422017
Reasoning about human participation in self-adaptive systems
J Cámara, GA Moreno, D Garlan
Proceedings of the 10th International Symposium on Software Engineering for …, 2015
412015
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
402014
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
382013
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
372016
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
372011
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
372007
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
352015
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
332012
Safety controller synthesis for switched systems using multi-scale symbolic models
J Camara, A Girard, G Gössler
2011 50th IEEE Conference on Decision and Control and European Control …, 2011
302011
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, 2014
29*2014
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, 2, 2014
282014
Composition and Run-time Adaptation of Mismatching Behavioural Interfaces.
J Cámara, G Salaün, C Canal
J. UCS 14 (13), 2182-2211, 2008
272008
The system can't perform the operation now. Try again later.
Articles 1–20