People
Carlos Canal
Email
Journal Articles
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
2008
(1 publication) Conference Articles
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
(4 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 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
2005
(1 publication)