People
Gwen Salaün
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
(2 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 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
(3 publications) - 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