Journal Articles 2017(1 publication) [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 2014(1 publication) [publication]Javier Cámara and Lemos, R.d. and Laranjeiro, N. and Ventura, R.S. and Marco Vieira , "Testing the Robustness of Controllers for Self-Adaptive Systems", Journal of the Brazilian Computer Society (JBCS), 2014 2013(1 publication) [publication]Javier Cámara and Lemos, R.d. and Marco Vieira and Raquel Almeida and Ventura, R.S. , "Architecture-Based Resilience Evaluation for Self-Adaptive Systems", Computing: Special Issue on Software Architecture for Code Testing and Analysis, 2013 2012(2 publications) [publication]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 [publication]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) [publication]Javier Cámara and Kobsa, A. , "Facilitating Controlled Tests of Website Design Changes using Aspect Oriented Programming and Software Product Lines", LNCS Transactions on Large Scale Data and Knowledge Centered Systems, vol. 5740, pp. 116-135, 2009 2008(1 publication) [publication]Javier Cámara and Salaün, G. and Canal, C. , "Composition and Run-time Adaptation of Mismatching Behavioural Interfaces", Journal of Universal Computer Science, vol. 14, pp. 2182-2211, 2008 Conference Articles 2016(1 publication) [publication]Neves, P.C. and Schmerl, B. and Javier Cámara and Jorge Bernardino , "Big data in cloud computing: Features and issues ", in International Conference on Internet of Things and Big Data, IoTBD 2016, 2016 2014(2 publications) [publication]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 [publication]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 2013(2 publications) [publication]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 [publication]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) [publication]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 [citation][year=2013]EM Fredericks, AJ Ramirez, BHC Cheng, Towards run-time testing of dynamic adaptive systems, Proceedings of the 8th …, 2013 [citation][year=2013]J Cámara, R de Lemos, M Vieira, R Almeida, R Ventura, Architecture-based resilience evaluation for self-adaptive systems, Computing, 2013 [citation][year=2013]MP Romay, CE Cuesta, L Fernández-Sanz, On self-adaptation in systems-of-systems, Proceedings of the First …, 2013 [citation][year=2013]EM Fredericks, AJ Ramirez, BHC Cheng, Validating Code-Level Behavior of Dynamic Adaptive Systems in the Face of Uncertainty, Search Based Software …, 2013 [citation][year=2012]D Weyns, MU Iftikhar, DG de la Iglesiaâ?¦, A survey of formal methods in self-adaptive systems, Proceedings of the Fifth …, 2012 [citation][year=2012]N BROGNOLI, A COLOMBO, SAME: un framework per la gestione dell'incertezza nei sistemi software self adaptive, Publication/NA, 2012 [publication]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) [publication]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 [publication]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) [publication]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 [publication]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 [publication]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) [publication]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 [publication]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 [publication]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 [publication]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 [publication]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) [publication]Javier Cámara and Salaün, G. and Canal, C. , "Clint: A Composition Language Interpreter", in Fundamental Approaches to Software Engineering (FASE 2008), 2008 [publication]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 [publication]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) [publication]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 [publication]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 [publication]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 [publication]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 [publication]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) [publication]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 [publication]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 [publication]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 [publication]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 2005(1 publication) [publication]Javier Cámara and Cubo, J. and Canal, C. , "Issues in the formalization of Web Service Orchestrations", in 2nd International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT'05), 2005 2003(1 publication) [publication]Mannion, M. and Javier Cámara , "Theorem Proving for Product Line Model Verification", in Fifth International Workshop on Product Family Engineering (PFE-5), 2003 Edited Books 2013(1 publication) [publication]Javier Cámara and Lemos, R.d. and Ghezzi, C. and Lopes, A. , "Assurances for Self-Adaptive Systems: Principles, Models, and Techniques", vol. 7740, 2013 PhD Theses 2009(1 publication) [publication]Javier Cámara , "Run-time Behavioural Adaptation of Components and Services", 2009 MSc Theses 2006(1 publication) [publication]Javier Cámara , "An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution", 2006 2003(1 publication) [publication]Javier Cámara , "VOSS: A Product Line Model Verification Tool", 2003