@article{cisuc-4274-2017,
author={Javier Cámara and Lemos, R.d. and Laranjeiro, N. and Ventura, R.S. and Marco Vieira },
title={Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems},
editor={IEEE},
journal={IEEE Transactions on Dependable and Secure Computing},
number={n/a},
pages={n/a},
year=2017,
address={n/a},
}
@article{cisuc-3720-2014,
author={Javier Cámara and Lemos, R.d. and Laranjeiro, N. and Ventura, R.S. and Marco Vieira },
title={Testing the Robustness of Controllers for Self-Adaptive Systems},
editor={Maria C. de Oliveira},
journal={Journal of the Brazilian Computer Society (JBCS)},
number={n/a},
pages={n/a},
year=2014,
address={n/a},
}
@article{cisuc-3283-2013,
author={Javier Cámara and Lemos, R.d. and Marco Vieira and Raquel Almeida and Ventura, R.S. },
title={Architecture-Based Resilience Evaluation for Self-Adaptive Systems},
journal={Computing: Special Issue on Software Architecture for Code Testing and Analysis},
number={n/a},
pages={n/a},
year=2013,
address={n/a},
}
@article{cisuc-3023-2012,
author={Javier Cámara and Salaün, G. and Canal, C. and Ouederni, M. },
title={Interactive Specification and Verification of Behavioural Adaptation Contracts},
journal={Information and Software Technology},
volume={54},
number={7},
pages={701--723},
year=2012,
address={n/a},
}
@article{cisuc-3024-2012,
author={Canal, C. and Javier Cámara and Salaün, G. },
title={Structural Reconfiguration of Systems under Behavioral Adaptation},
journal={Science of Computer Programming},
volume={78},
number={1},
pages={46--64},
year=2012,
address={n/a},
}
@article{cisuc-3025-2009,
author={Javier Cámara and Kobsa, A. },
title={Facilitating Controlled Tests of Website Design Changes using Aspect Oriented Programming and Software Product Lines},
journal={LNCS Transactions on Large Scale Data and Knowledge Centered Systems},
volume={5740},
number={1},
pages={116--135},
year=2009,
address={n/a},
}
@article{cisuc-3026-2008,
author={Javier Cámara and Salaün, G. and Canal, C. },
title={Composition and Run-time Adaptation of Mismatching Behavioural Interfaces},
journal={Journal of Universal Computer Science},
volume={14},
number={13},
pages={2182--2211},
year=2008,
address={n/a},
}
@inproceedings{cisuc-5006-2016,
author={Neves, P.C. and Schmerl, B. and Javier Cámara and Jorge Bernardino },
title={Big data in cloud computing: Features and issues },
booktitle={International Conference on Internet of Things and Big Data, IoTBD 2016},
year=2016,
address={n/a},
}
@inproceedings{cisuc-3805-2014,
author={Javier Cámara and Lemos, R.d. and Laranjeiro, N. and Ventura, R.S. and Marco Vieira },
title={Robustness Evaluation of the Rainbow Framework for Self-Adaptation},
booktitle={29th Symposium on Applied Computing (SAC 2014)},
year=2014,
address={n/a},
}
@inproceedings{cisuc-4121-2014,
author={Javier Cámara and Correia, P.G.R. and Lemos, R.d. and Marco Vieira },
title={Empirical resilience evaluation of an architecture-based self-adaptive software system},
booktitle={QoSA '14 Proceedings of the 10th international ACM Sigsoft conference on Quality of software architectures},
year=2014,
address={n/a},
}
@inproceedings{cisuc-3315-2013,
author={Javier Cámara and Lemos, R.d. and Laranjeiro, N. and Ventura, R.S. and Marco Vieira },
title={Robustness Evaluation of Controllers in Self-Adaptive Software Systems},
booktitle={Latin-American Symposium on Dependable Computing (LADC 2013)},
year=2013,
address={n/a},
}
@inproceedings{cisuc-3475-2013,
author={Javier Cámara and Correia, P.G.R. and Lemos, R.d. and Garlan, D. and Schmerl, B. and Ventura, R.S. },
title={Evolving an Adaptive Industrial Software System to Use Architecture-based Self-Adaptation},
booktitle={Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2013)},
year=2013,
address={n/a},
}
@inproceedings{cisuc-3027-2012,
author={Javier Cámara and Lemos, R.d. },
title={Evaluation of Resilience in Self-Adaptive Systems Using Probabilistic Model-Checking},
booktitle={7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012)},
year=2012,
address={n/a},
}
@inproceedings{cisuc-3028-2012,
author={Javier Cámara and Lemos, R.d. },
title={Towards Run-time Evaluation of Resilience in Self-Adaptive Systems},
booktitle={17th Conference on Software Engineering and Databases (JISBD 2012)},
year=2012,
address={n/a},
}
@inproceedings{cisuc-3029-2011,
author={Javier Cámara and Girard, A. and Goessler, G. },
title={Safety Controller Synthesis for Switched Systems using Multi-scale Symbolic Models},
booktitle={50th IEEE Conference on Decision and Control and European Control Conference (IEEE CDC-ECC 2011)},
year=2011,
address={n/a},
}
@inproceedings{cisuc-3030-2011,
author={Javier Cámara and Girard, A. and Goessler, G. },
title={Synthesis of Switching Controllers using Approximately Bisimilar Multiscale Abstractions},
booktitle={14th International Conference on Hybrid Systems: Computation and Control (HSCC 2011)},
year=2011,
address={n/a},
}
@inproceedings{cisuc-3031-2010,
author={Javier Cámara and Martin, J.A. and Salaün, G. and Canal, C. and Pimentel, E. },
title={A Case Study in Model-based Adaptation of Web Services},
booktitle={4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010)},
year=2010,
address={n/a},
}
@inproceedings{cisuc-3042-2010,
author={Javier Cámara and Canal, C. and Vasilev, N. },
title={A Framework for Run-time Behavioural Service Adaptation in Ubiquitous Computing},
booktitle={Workshop on Adaptation in Service Ecosystems and Architectures (AVYTAT)},
year=2010,
address={n/a},
}
@inproceedings{cisuc-3043-2010,
author={Javier Cámara and Martin, J.A. and Salaün, G. and Canal, C. and Pimentel, E. },
title={Semi-automatic Specification of Behavioural Service Adaptation Contracts},
booktitle={7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'10)},
year=2010,
address={n/a},
}
@inproceedings{cisuc-3032-2009,
author={Javier Cámara and Salaün, G. and Canal, C. and Ouederni, M. },
title={Interactive Specification and Verification of Behavioural Adaptation Contracts},
booktitle={9th International Conference on Quality Software (QSIC 2009)},
year=2009,
address={n/a},
}
@inproceedings{cisuc-3033-2009,
author={Javier Cámara and Kobsa, A. },
title={Facilitating Controlled Tests of Website Design Changes: a Systematic Approach},
booktitle={9th International Conference on Web Engineering (ICWE 2009)},
year=2009,
address={n/a},
}
@inproceedings{cisuc-3034-2009,
author={Javier Cámara and Martin, J.A. and Salaün, G. and Cubo, J. and Ouederni, M. and Canal, C. and Pimentel, E. },
title={ITACA: An Integrated Toolbox for the Automatic Composition and Adaptation of Web Services},
booktitle={31st International Conference on Software Engineering (ICSE 2009)},
year=2009,
address={n/a},
}
@inproceedings{cisuc-3044-2009,
author={Javier Cámara and Canal, C. and Salaün, G. },
title={Behavioural Adaptation of Services in Ubiquitous Computing Environments},
booktitle={Software Engineering for Adaptive and Self-Managing Systems (SEAMS'09)},
year=2009,
address={n/a},
}
@inproceedings{cisuc-3053-2009,
author={Javier Cámara and Martin, J.A. and Salaün, G. and Canal, C. and Pimentel, E. },
title={On Behavioural Interfaces and Contracts for Software Adaptation},
booktitle={3rd workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'09)},
year=2009,
address={n/a},
}
@inproceedings{cisuc-3035-2008,
author={Javier Cámara and Salaün, G. and Canal, C. },
title={Clint: A Composition Language Interpreter},
booktitle={Fundamental Approaches to Software Engineering (FASE 2008)},
year=2008,
address={n/a},
}
@inproceedings{cisuc-3045-2008,
author={Javier Cámara and Salaün, G. and Canal, C. },
title={Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems},
booktitle={4th International Workshop on Formal Aspects of Component Software (FACS'07)},
year=2008,
address={n/a},
}
@inproceedings{cisuc-3054-2008,
author={Javier Cámara and Canal, C. and Salaün, G. },
title={Towards Self-Adaptation in Dynamic Service Ecosystems},
booktitle={1st Workshop on Autonomic and Self-Adaptive Systems (WASELF 2008)},
year=2008,
address={n/a},
}
@inproceedings{cisuc-3036-2007,
author={Javier Cámara and Canal, C. and Cubo, J. and Murillo, J.M. },
title={Enabling Adaptivity in User Interfaces},
booktitle={1st European Conference on Software Architectures (ECSA 2007)},
year=2007,
address={n/a},
}
@inproceedings{cisuc-3037-2007,
author={Javier Cámara and Salaün, G. and Canal, C. },
title={Run-time Composition and Adaptation of Mismatching Behavioural Transactions},
booktitle={5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)},
year=2007,
address={n/a},
}
@inproceedings{cisuc-3038-2007,
author={Cubo, J. and Salaün, G. and Javier Cámara and Canal, C. and Pimentel, E. },
title={Context-Based Adaptation of Component Behavioural Interfaces},
booktitle={9th International Conference on Coordination Languages and Models (Coordination 2007)},
year=2007,
address={n/a},
}
@inproceedings{cisuc-3046-2007,
author={Javier Cámara and Salaün, G. and Canal, C. },
title={On Run-time Behavioural Adaptation in Context-Aware Systems},
booktitle={1st Workshop on Model-based Adaptation (M-ADAPT'07)},
year=2007,
address={n/a},
}
@inproceedings{cisuc-3047-2007,
author={Brogi, A. and Javier Cámara and Canal, C. and Cubo, J. and Pimentel, E. },
title={Dynamic Contextual Adaptation},
booktitle={Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006) },
year=2007,
address={n/a},
}
@inproceedings{cisuc-3048-2006,
author={Javier Cámara and Canal, C. and Cubo, J. and Murillo, J.M. },
title={An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution},
booktitle={Workshop on Reflection, AOP, and Meta-Data for Software Evolution (ECOOP RAM-SE 2006)},
year=2006,
address={n/a},
}
@inproceedings{cisuc-3049-2006,
author={Javier Cámara and Canal, C. and Cubo, J. and Pimentel, E. },
title={Dynamic Adaptation Using Contextual Environments},
booktitle={Third International Workshop on Coordination and Adaptation Techniques for Software Entibies (WCAT'06)},
year=2006,
address={n/a},
}
@inproceedings{cisuc-3050-2006,
author={Javier Cámara and Canal, C. and Cubo, J. and Vallecillo, A. },
title={Formalizing WSBPEL Business Processes using Process Algebra},
booktitle={4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005) },
year=2006,
address={n/a},
}
@inproceedings{cisuc-3055-2006,
author={Javier Cámara and Canal, C. and Cubo, J. and Murillo, J.M. },
title={AOP and Dynamic Component Adaptation},
booktitle={Iberian Workshop on Aspect Oriented Software Development (DSOA'06)},
year=2006,
address={n/a},
}
@inproceedings{cisuc-3051-2005,
author={Javier Cámara and Cubo, J. and Canal, C. },
title={Issues in the formalization of Web Service Orchestrations},
booktitle={2nd International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT'05)},
year=2005,
address={n/a},
}
@inproceedings{cisuc-3052-2003,
author={Mannion, M. and Javier Cámara },
title={Theorem Proving for Product Line Model Verification},
booktitle={Fifth International Workshop on Product Family Engineering (PFE-5)},
year=2003,
address={n/a},
}
@proceedings{cisuc-3476-2013,
author={Javier Cámara and Lemos, R.d. and Ghezzi, C. and Lopes, A. },
title={Assurances for Self-Adaptive Systems: Principles, Models, and Techniques},
publisher={Springer},
volume={7740},
edition={1},
year=2013,
address={n/a},
}