Synthesis of secure adaptors JA Martín, F Martinelli, E Pimentel Journal of Logic and Algebraic Programming 2011 Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software E Pimentel, V Valero 2011 Contracts for security adaptation JA Martín, E Pimentel Journal of Logic and Algebraic Programming 80 (3-5), 154-179 2011 Client Update: A Solution for Service Evolution M Ouederni, G Salaün, E Pimentel Services Computing (SCC), 2011 IEEE International Conference on, 394-401 2011 QoS-enabled and self-adaptive connectors for Web Services composition and coordination JL Pastrana, E Pimentel, M Katrib Computer Languages, Systems & Structures 37 (1), 2-23 5 2011 Measuring the compatibility of service interaction protocols M Ouederni, G Salaün, E Pimentel Proceedings of the 2011 ACM Symposium on Applied Computing, 1560-1567 2 2011 Context-Aware Composition and Adaptation based on Model Transformation J Cubo, C Canal, E Pimentel Journal of Universal Computer Science 17 (15), 777-806 1 2011 Model-Based Dependable Composition of Self-Adaptive Systems J Cubo, C Canal, E Pimentel Informatica: An International Journal of Computing and Informatics 35 (1), 51-62 1 2011 DAMASCo: a framework for the automatic composition of component-based and service-oriented architectures J Cubo, E Pimentel Software Architecture, 388-404 2011 Department of Languages and Computer Science University of Malaga M Ouederni, G Salaun, E Pimentel 2010 Semi-Automatic Specification of Behavioural Service Adaptation Contracts J Cámara, JA Martín, G Salaün, C Canal, E Pimentel Electronic Notes in Theoretical Computer Science 264 (1), 19-34 2010 Handling Data-Based Concurrency in Context-Aware Service Protocols J Cubo, E Pimentel, G Salaün, C Canal Arxiv preprint arXiv:1007.5092 2 2010 Compositor: A tool for connectors generation JL Pastrana, E Pimentel, M Katrib Information Systems and Technologies (CISTI), 2010 5th Iberian Conference on ... 2010 Context-Aware Service Discovery and Adaptation Based on Semantic Matchmaking J Cubo, C Canal, E Pimentel Internet and Web Applications and Services (ICIW), 2010 Fifth International ... 3 2010 A case study in model-based adaptation of web services J Cámara, J Martín, G Salaün, C Canal, E Pimentel Leveraging Applications of Formal Methods, Verification, and Validation, 112-126 2010 Quantifying Service Compatibility: A Step Beyond the Boolean Approaches M Ouederni, G Salaün, E Pimentel Service-Oriented Computing, 619-626 3 2010 Software composition with Linda AM Roldan, E Pimentel, A Brogi Computer Languages, Systems & Structures 35 (4), 395-405 2 2009 On Behavioural Interfaces and Contracts for Software Adaptation J Cámara, JA Martın, G Salaün, C Canal, E Pimentel FLACOS’09 Third Workshop on Formal Languages and Analysis of Contract ... 2009 A formal model and composition language for context-aware service protocols J Cubo, C Canal, E Pimentel, G Salaün Proceedings of the first international workshop on Context-aware software ... 3 2009 Dinapter: Automatic Adapter Specification for Software Composition JA Martín, E Pimentel Electronic Notes in Theoretical Computer Science 248, 161-171 2009
