People
Ernesto Pimentel
Email
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
(2 publications) - 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 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
2007
(2 publications) - 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
- 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
(1 publication)