People
Javier Cámara Moreno
Home Page
http://www.javicamara.comMember
Software and Systems EngineeringResearch interests
self-adaptive systemsapplied formal methods
specification and verification of component-based systems
run-time composition and adaptation of components and services
pervasive computing
cyber-physical systems
Past Projects
ADAAS: Assuring Dependability in Architecture-based Adaptive Systems
Journal Articles
2017
(1 publication)- Javier Cámara and Lemos, R.d. and Laranjeiro, N. and Ventura, R.S. and Marco Vieira , "Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems", IEEE Transactions on Dependable and Secure Computing, 2017 [ DOI ]
2014
(1 publication)2013
(1 publication)2012
(2 publications)- Javier Cámara and Salaün, G. and Canal, C. and Ouederni, M. , "Interactive Specification and Verification of Behavioural Adaptation Contracts", Information and Software Technology, vol. 54, pp. 701-723, 2012
- Canal, C. and Javier Cámara and Salaün, G. , "Structural Reconfiguration of Systems under Behavioral Adaptation", Science of Computer Programming, vol. 78, pp. 46-64, 2012
2009
(1 publication)2008
(1 publication)Conference Articles
2016
(1 publication)2014
(2 publications)- Javier Cámara and Lemos, R.d. and Laranjeiro, N. and Ventura, R.S. and Marco Vieira , "Robustness Evaluation of the Rainbow Framework for Self-Adaptation", in 29th Symposium on Applied Computing (SAC 2014), 2014
- Javier Cámara and Correia, P.G.R. and Lemos, R.d. and Marco Vieira , "Empirical resilience evaluation of an architecture-based self-adaptive software system", in QoSA '14 Proceedings of the 10th international ACM Sigsoft conference on Quality of software architectures, 2014 [ DOI ]
2013
(2 publications)- Javier Cámara and Lemos, R.d. and Laranjeiro, N. and Ventura, R.S. and Marco Vieira , "Robustness Evaluation of Controllers in Self-Adaptive Software Systems", in Latin-American Symposium on Dependable Computing (LADC 2013), 2013
- Javier Cámara and Correia, P.G.R. and Lemos, R.d. and Garlan, D. and Schmerl, B. and Ventura, R.S. , "Evolving an Adaptive Industrial Software System to Use Architecture-based Self-Adaptation", in Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2013), 2013
2012
(2 publications)- Javier Cámara and Lemos, R.d. , "Evaluation of Resilience in Self-Adaptive Systems Using Probabilistic Model-Checking", in 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012), 2012
- Javier Cámara and Lemos, R.d. , "Towards Run-time Evaluation of Resilience in Self-Adaptive Systems", in 17th Conference on Software Engineering and Databases (JISBD 2012), 2012
2011
(2 publications)- Javier Cámara and Girard, A. and Goessler, G. , "Safety Controller Synthesis for Switched Systems using Multi-scale Symbolic Models", in 50th IEEE Conference on Decision and Control and European Control Conference (IEEE CDC-ECC 2011), 2011
- Javier Cámara and Girard, A. and Goessler, G. , "Synthesis of Switching Controllers using Approximately Bisimilar Multiscale Abstractions", in 14th International Conference on Hybrid Systems: Computation and Control (HSCC 2011), 2011
2010
(3 publications)- Javier Cámara and Martin, J.A. and Salaün, G. and Canal, C. and Pimentel, E. , "A Case Study in Model-based Adaptation of Web Services", in 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), 2010
- Javier Cámara and Canal, C. and Vasilev, N. , "A Framework for Run-time Behavioural Service Adaptation in Ubiquitous Computing", in Workshop on Adaptation in Service Ecosystems and Architectures (AVYTAT), 2010
- Javier Cámara and Martin, J.A. and Salaün, G. and Canal, C. and Pimentel, E. , "Semi-automatic Specification of Behavioural Service Adaptation Contracts", in 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'10), 2010
2009
(5 publications)- Javier Cámara and Salaün, G. and Canal, C. and Ouederni, M. , "Interactive Specification and Verification of Behavioural Adaptation Contracts", in 9th International Conference on Quality Software (QSIC 2009), 2009
- Javier Cámara and Kobsa, A. , "Facilitating Controlled Tests of Website Design Changes: a Systematic Approach", in 9th International Conference on Web Engineering (ICWE 2009), 2009
- Javier Cámara and Martin, J.A. and Salaün, G. and Cubo, J. and Ouederni, M. and Canal, C. and Pimentel, E. , "ITACA: An Integrated Toolbox for the Automatic Composition and Adaptation of Web Services", in 31st International Conference on Software Engineering (ICSE 2009), 2009
- Javier Cámara and Canal, C. and Salaün, G. , "Behavioural Adaptation of Services in Ubiquitous Computing Environments", in Software Engineering for Adaptive and Self-Managing Systems (SEAMS'09), 2009
- Javier Cámara and Martin, J.A. and Salaün, G. and Canal, C. and Pimentel, E. , "On Behavioural Interfaces and Contracts for Software Adaptation", in 3rd workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'09), 2009
2008
(3 publications)- Javier Cámara and Salaün, G. and Canal, C. , "Clint: A Composition Language Interpreter", in Fundamental Approaches to Software Engineering (FASE 2008), 2008
- Javier Cámara and Salaün, G. and Canal, C. , "Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems", in 4th International Workshop on Formal Aspects of Component Software (FACS'07), 2008
- Javier Cámara and Canal, C. and Salaün, G. , "Towards Self-Adaptation in Dynamic Service Ecosystems", in 1st Workshop on Autonomic and Self-Adaptive Systems (WASELF 2008), 2008
2007
(5 publications)- Javier Cámara and Canal, C. and Cubo, J. and Murillo, J.M. , "Enabling Adaptivity in User Interfaces", in 1st European Conference on Software Architectures (ECSA 2007), 2007
- Javier Cámara and Salaün, G. and Canal, C. , "Run-time Composition and Adaptation of Mismatching Behavioural Transactions", in 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007
- Cubo, J. and Salaün, G. and Javier Cámara and Canal, C. and Pimentel, E. , "Context-Based Adaptation of Component Behavioural Interfaces", in 9th International Conference on Coordination Languages and Models (Coordination 2007), 2007
- Javier Cámara and Salaün, G. and Canal, C. , "On Run-time Behavioural Adaptation in Context-Aware Systems", in 1st Workshop on Model-based Adaptation (M-ADAPT'07), 2007
- Brogi, A. and Javier Cámara and Canal, C. and Cubo, J. and Pimentel, E. , "Dynamic Contextual Adaptation", in Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006) , 2007
2006
(4 publications)- Javier Cámara and Canal, C. and Cubo, J. and Murillo, J.M. , "An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution", in Workshop on Reflection, AOP, and Meta-Data for Software Evolution (ECOOP RAM-SE 2006), 2006
- Javier Cámara and Canal, C. and Cubo, J. and Pimentel, E. , "Dynamic Adaptation Using Contextual Environments", in Third International Workshop on Coordination and Adaptation Techniques for Software Entibies (WCAT'06), 2006
- Javier Cámara and Canal, C. and Cubo, J. and Vallecillo, A. , "Formalizing WSBPEL Business Processes using Process Algebra", in 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005) , 2006
- Javier Cámara and Canal, C. and Cubo, J. and Murillo, J.M. , "AOP and Dynamic Component Adaptation", in Iberian Workshop on Aspect Oriented Software Development (DSOA'06), 2006