L2||O2: Operational and Declarative Semantics. - Ernesto Pimentel 001; José M. Troya (ALPUK, 1992)

A Declarative Environment for Distributed Programming. - Manuel Díaz; Ernesto Pimentel 001; José M. Troya (IFIP Congress (1), 1992)

Compositionality Issues of Concurrent Object-Oriented Logic Languages. - Ernesto Pimentel 001; José M. Troya (PARLE, 1993)

L2||O2: A Concurrent Object-oriented Logic Language. - Ernesto Pimentel 001 (ILPS, 1993)

Comunicacion entre objetos mediante la unificacion de canales logicos. - Francisco J. Durán; Ernesto Pimentel 001; José M. Troya (GULP-PRODE (2), 1994)

Eiffel-like Assertions and Private Methods in Smalltalk. - Manuela Carrillo-Castellon; Jesús García Molina; Ernesto Pimentel 001 (TOOLS (13), 1994)

DROL: A Distributed and Real-Time Object-Oriented Logic Environment. - Manuel Díaz; Ernesto Pimentel 001; José M. Troya (Comput. J., 1994)

Objects communication by extending the unification. - Francisco J. Durán; Ernesto Pimentel 001 (UNIF, 1995)

Design by Contract in Smalltalk. - Manuela Carrillo-Castellon; Jesús García Molina; Ernesto Pimentel 001; Israel Repiso (J. Object Oriented Program., 1996)

Semantics for Modules in Functional-Logic Programming. - Juan M. Molina-Bravo; Ernesto Pimentel 001 (APPIA-GULP-PRODE, 1997)

A Lazy Splitting System for Forum. - Pablo López; Ernesto Pimentel 001 (APPIA-GULP-PRODE, 1997)

Applying Distributed Shared Memory Techniques for Implementing Distributed Objects. - Antonio J. Nebro; Ernesto Pimentel 001; José M. Troya (ECOOP Workshops, 1997)

Integrating an Entry Consistency Memory Model and Concurrent Object-Oriented Programming. - Antonio J. Nebro; Ernesto Pimentel 001; José M. Troya (Euro-Par, 1997)

Modularity in Functional-Logic Programming. - Juan M. Molina-Bravo; Ernesto Pimentel 001 (ICLP, 1997)

Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages. - Antonio J. Nebro; Ernesto Pimentel 001; José M. Troya (ISCOPE, 1998)

Hypothetical Reasoning with Substructural Logics. - Pablo López; Ernesto Pimentel 001 (APPIA-GULP-PRODE, 1999)

Coordinación de Componentes Distribuidos: un Enfoque Generativo Basado en Arquitectura del Software. - Carlos Canal; Lidia Fuentes; Ernesto Pimentel 001; José M. Troya (JISBD, 1999)

Resource Management in Linear Logic Search Revisited. - Pablo López; Ernesto Pimentel 001 (LPAR, 1999)

Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems. - José María Álvarez 002; Manuel Díaz; Luis Llopis; Ernesto Pimentel 001; José M. Troya (SDL Forum, 1999)

Synchronizing Java Threads Using Assertions. - Miguel Katrib; Damián Fernández; Ernesto Pimentel 001 (TOOLS (31), 1999)

Specification and Refinement of Dynamic Software Architectures. - Carlos Canal; Ernesto Pimentel 001; José M. Troya (WICSA, 1999)

Una Metodología de Desarrollo Orientada a Objtos para Sistemas Empotrados de Tiempo Real. - José María Álvarez 002; Manuel Díaz; Luis Llopis; Ernesto Pimentel 001; José M. Troya (JISBD, 2000)

SDL and hard real time systems: new design and analyze techniques. - José María Álvarez 002; Manuel Díaz; Luis Llopis; Ernesto Pimentel 001; José M. Troya (SAM, 2000)

Proof-Theoretic Foundation of Hypothetical Reasoning. - Pablo López; Ernesto Pimentel 001 (WFLP, 2000)

Deriving hard real-time embedded systems implementations directly from SDL specifications. - José María Álvarez 002; Manuel Díaz; Luis Llopis; Ernesto Pimentel 001; José M. Troya (CODES, 2001)

An Efficient Software Protection Scheme. - Antonio Mana; Ernesto Pimentel 001 (SEC, 2001)

Extending CORBA Interfaces with Protocols. - Carlos Canal; Lidia Fuentes; Ernesto Pimentel 001; José M. Troya; Antonio Vallecillo (Comput. J., 2001)

Compatibility and inheritance in software architectures. - Carlos Canal; Ernesto Pimentel 001; José M. Troya (Sci. Comput. Program., 2001)

A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming. - Joshua S. Hodas; Pablo López; Jeffrey Polakow; Lubomira Stoilova; Ernesto Pimentel 001 (CSL, 2002)

Secure Content Distribution for Digital Libraries. - Mariemma Inmaculada Yagüe del Valle; Antonio Mana; Javier López 001; Ernesto Pimentel 001; José M. Troya (ICADL, 2002)

Access Control Infrastructure for Digital Objects. - Javier López 001; Antonio Mana; Ernesto Pimentel 001; José M. Troya; Mariemma Inmaculada Yagüe del Valle (ICICS, 2002)

Componentes Software en Linda, Un caso de estudio. - Ernesto Pimentel 001; Ana M. Roldán (JISBD, 2002)

Refinement of LTL Formulas for Abstract Model Checking. - María-del-Mar Gallardo; Pedro Merino 001; Ernesto Pimentel 001 (SAS, 2002)

alpha SPIN: Extending SPIN with Abstraction. - María-del-Mar Gallardo; Jesús Martínez; Pedro Merino 001; Ernesto Pimentel 001 (SPIN, 2002)

Preface. - Antonio Brogi; Ernesto Pimentel 001 (Formal Methods and Component Interaction @ ICALP, 2002)

Compatibility of Linda-based Component Interfaces. - Antonio Brogi; Ernesto Pimentel 001; Ana M. Roldán (Formal Methods and Component Interaction @ ICALP, 2002)

A Tool for Abstraction in Model Checking. - María-del-Mar Gallardo; Jesús Martínez; Pedro Merino 001; Ernesto Pimentel 001 (FMICS, 2002)

Comparing Under and Over-Approximations of LTL Properties for Model Checking. - María-del-Mar Gallardo; Pedro Merino 001; Ernesto Pimentel 001 (WFLP, 2002)

Isolating Resource Consumption in Linear Logic Proof Search. - Pablo López; Ernesto Pimentel 001; Joshua S. Hodas; Jeffrey Polakow; Lubomira Stoilova (LFM, 2002)

Debugging UML Designs with Model Checking. - María-del-Mar Gallardo; Pedro Merino 001; Ernesto Pimentel 001 (J. Object Technol., 2002)

Abstract Model Checking and Refinement of Temporal Logic in aSPIN. - María-del-Mar Gallardo; Jesús Martínez; Pedro Merino 001; Ernesto Pimentel 001 (ACSD, 2003)

Applying Data Abstraction to XML Formal Designs. - María-del-Mar Gallardo; Jesús Martínez; Pedro Merino 001; Ernesto Pimentel 001 (SNPD, 2003)

An Object-oriented Methodology for Embedded Real-time Systems. - José María Álvarez 002; Manuel Díaz; Luis Llopis; Ernesto Pimentel 001; José M. Troya (Comput. J., 2003)

Soft component adaptation. - Antonio Brogi; Carlos Canal; Ernesto Pimentel 001 (SecCo, 2003)

On the specification of software adaptation. - Antonio Brogi; Carlos Canal; Ernesto Pimentel 001 (FOCLASA, 2003)

Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003. - Antonio Brogi; Jean-Marie Jacquet; Ernesto Pimentel 001 (FOCLASA, 2003)

Safe Composition of Linda-based Components. - Ana M. Roldán; Ernesto Pimentel 001; Antonio Brogi (TACoS, 2003)

A secure solution for commercial digital libraries. - Mariemma Inmaculada Yagüe del Valle; Antonio Maña; Javier López 001; Ernesto Pimentel 001; José M. Troya (Online Inf. Rev., 2003)

Integrating Schedulability Analysis and Design Techniques in SD. - José María Álvarez 002; Manuel Díaz; Luis Llopis; Ernesto Pimentel 001; José M. Troya (Real Time Syst., 2003)

Composing Programs in a Rewriting Logic for Declarative Programming. - Juan M. Molina-Bravo; Ernesto Pimentel 001 (Theory Pract. Log. Program., 2003)

Adding Roles to CORBA Objects. - Carlos Canal; Lidia Fuentes; Ernesto Pimentel 001; José M. Troya; Antonio Vallecillo (IEEE Trans. Software Eng., 2003)

Behavioural Types and Component Adaptation. - Antonio Brogi; Carlos Canal; Ernesto Pimentel 001 (AMAST, 2004)

Measuring Component Adaptation. - Antonio Brogi; Carlos Canal; Ernesto Pimentel 001 (COORDINATION, 2004)

Abstract Model Checking of tccp programs. - María Alpuente; María-del-Mar Gallardo; Ernesto Pimentel 001; Alicia Villanueva (QAPL, 2004)

A Preliminary Comparative Study on the Expressive Power of Reo and Linda. - Silvia Amaro; Ernesto Pimentel 001; Ana M. Roldán (FOCLASA, 2004)

Behavioural Types for Service Integration: Achievements and Challenges. - Antonio Brogi; Carlos Canal; Ernesto Pimentel 001 (FOCLASA, 2004)

Formalizing Web Service Choreographies. - Antonio Brogi; Carlos Canal; Ernesto Pimentel 001; Antonio Vallecillo (WSFM, 2004)

Preface. - Antonio Brogi; Jean-Marie Jacquet; Ernesto Pimentel 001 (FOCLASA, 2004)

A generalized semantics of PROMELA for abstract model checking. - María-del-Mar Gallardo; Pedro Merino 001; Ernesto Pimentel 001 (Formal Aspects Comput., 2004)

A framework for secure execution of software. - Antonio Mana; Javier López 001; Juan J. Ortega; Ernesto Pimentel 001; José M. Troya (Int. J. Inf. Sec., 2004)

aSPIN: A tool for abstract model checking. - María-del-Mar Gallardo; Jesús Martínez; Pedro Merino 001; Ernesto Pimentel 001 (Int. J. Softw. Tools Technol. Transf., 2004)

Adaptación y Reutilización de Componentes Distribuidos. - Miguel Katrib; Jose Luis Pastrana; Ernesto Pimentel 001 (CIbSE, 2005)

Adaptación Automática de Componentes de Software. - Ernesto Pimentel 001 (CIbSE, 2005)

Reo Based Interaction Model. - Silvia Amaro; Ernesto Pimentel 001; Ana M. Roldán (FACS, 2005)

Coordinating Behavioral Descriptions of Components. - Silvia Amaro; Ernesto Pimentel 001; Ana M. Roldán (J. Univers. Comput. Sci., 2005)

Report on the ninth conference on Software Engineering and Databases (JISBD 2004). - Juan Hernández Núñez; Ernesto Pimentel 001; José Ambrosio Toval Álvarez (SIGMOD Rec., 2005)

A semantic framework for the abstract model checking of tccp programs. - María Alpuente; María-del-Mar Gallardo; Ernesto Pimentel 001; Alicia Villanueva (Theor. Comput. Sci., 2005)

Técnicas de Web Semántica para la Adaptación Dinámica de Componentes y Servicios. - Jose Luis Pastrana; Ernesto Pimentel 001; Miguel Katrib (CIbSE, 2006)

PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols. - María-del-Mar Gallardo; Jesús Martínez; Pedro Merino 001; Pablo Núñez; Ernesto Pimentel 001 (MSVVEIS, 2006)

Dynamic Contextual Adaptation. - Antonio Brogi; Javier Cámara 001; Carlos Canal; Javier Cubo; Ernesto Pimentel 001 (FOCLASA, 2006)

On the Evolution of reliability Methods for Critical Software. - María-del-Mar Gallardo; Jesús Martínez; Pedro Merino 001; Ernesto Pimentel 001 (Trans. SDPS, 2006)

Verifying Real-Time Properties of tccp Programs. - María Alpuente; María-del-Mar Gallardo; Ernesto Pimentel 001; Alicia Villanueva (J. Univers. Comput. Sci., 2006)

Component adaptation through flexible subservicing. - Antonio Brogi; Carlos Canal; Ernesto Pimentel 001 (Sci. Comput. Program., 2006)

On the semantics of software adaptation. - Antonio Brogi; Carlos Canal; Ernesto Pimentel 001 (Sci. Comput. Program., 2006)

Preface. - Antonio Brogi; Jean-Marie Jacquet; Jeff Kramer; Ernesto Pimentel 001 (Sci. Comput. Program., 2006)

Un Perfil UML para la definición de Componentes Inteligentes. - Jose Luis Pastrana; Ernesto Pimentel 001; Miguel Katrib (CIbSE, 2007)

Context-Based Adaptation of Component Behavioural Interfaces. - Javier Cubo; Gwen Salaün; Javier Cámara 001; Carlos Canal; Ernesto Pimentel 001 (COORDINATION, 2007)

An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. - María Alpuente; María-del-Mar Gallardo; Ernesto Pimentel 001; Alicia Villanueva (PROLE, 2007)

A Service-Oriented Model for Embedded Peer-to-Peer Systems. - Antonio Brogi; Razvan Popescu; Francisco Gutiérrez; Pablo López; Ernesto Pimentel 001 (FOCLASA, 2007)

A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. - Javier Cubo; Gwen Salaün; Carlos Canal; Ernesto Pimentel 001; Pascal Poizat (FACS, 2007)

Preface. - Ernesto Pimentel 001 (PROLE, 2007)

Modelado de sistemas P2P con control de excepciones. - Antonio Brogi; Francisco Gutiérrez; Pablo López; Ernesto Pimentel 001; Razvan Popescu (CIbSE, 2008)

A formalization of the SMEPP model in Maude. - Francisco Durán 001; Francisco Gutiérrez; Pablo López; Ernesto Pimentel 001 (MobiQuitous, 2008)

Towards a Model-Based Approach for Context-Aware Composition and Adaptation: A Case Study using WF/.NET. - Javier Cubo; Carlos Canal; Ernesto Pimentel 001 (MOMPES, 2008)

Composition of Self-Adapting Components for Customizable Systems. - Jose Luis Pastrana; Ernesto Pimentel 001; Miguel Katrib (Comput. J., 2008)

Dinapter: Automatic Adapter Specification for Software Composition. - José Antonio Martín; Ernesto Pimentel 001 (PROLE, 2008)

Automatic Generation of Adaptation Contracts. - José Antonio Martín; Ernesto Pimentel 001 (FOCLASA@ICALP, 2008)

Integración de software: métodos formales para coordinar y adaptar componentes y servicios. - Ernesto Pimentel 001 (CIbSE, 2009)

ITACA: An integrated toolbox for the automatic composition and adaptation of Web services. - Javier Cámara 001; José Antonio Martín; Gwen Salaün; Javier Cubo; Meriem Ouederni; Carlos Canal; Ernesto Pimentel 001 (ICSE, 2009)

A formal model and composition language for context-aware service protocols. - Javier Cubo; Carlos Canal; Ernesto Pimentel 001; Gwen Salaün (CASTA@ESEC/SIGSOFT FSE, 2009)

Software composition with Linda. - Ana M. Roldán; Ernesto Pimentel 001; Antonio Brogi (Comput. Lang. Syst. Struct., 2009)

Special issue on the 5th international workshop on foundations of coordination languages and software architectures (FOCLASA'06). - Ernesto Pimentel 001; Jean-Marie Jacquet (Sci. Comput. Program., 2009)

Quantifying Service Compatibility: A Step beyond the Boolean Approaches. - Meriem Ouederni; Gwen Salaün; Ernesto Pimentel 001 (ICSOC, 2010)

A Case Study in Model-Based Adaptation of Web Services. - Javier Cámara 001; José Antonio Martín; Gwen Salaün; Carlos Canal; Ernesto Pimentel 001 (ISoLA (2), 2010)

Handling Data-Based Concurrency in Context-Aware Service Protocols - Javier Cubo; Ernesto Pimentel 001; Gwen Salaün; Carlos Canal (FOCLASA, 2010)

Semi-Automatic Specification of Behavioural Service Adaptation Contracts. - Javier Cámara 001; José Antonio Martín; Gwen Salaün; Carlos Canal; Ernesto Pimentel 001 (FESCA@ETAPS, 2010)

Client Update: A Solution for Service Evolution. - Meriem Ouederni; Gwen Salaün; Ernesto Pimentel 001 (IEEE SCC, 2011)

On the Formal Analysis of P2P Algorithms with aSMoL and Maude. - Francisco Durán 001; Francisco Gutiérrez; Pablo López; Ernesto Pimentel 001 (CIbSE, 2011)

DAMASCo: A Framework for the Automatic Composition of Component-Based and Service-Oriented Architectures. - Javier Cubo; Ernesto Pimentel 001 (ECSA, 2011)

Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation. - José Antonio Martín; Antonio Brogi; Ernesto Pimentel 001 (FACS, 2011)

Measuring the compatibility of service interaction protocols. - Meriem Ouederni; Gwen Salaün; Ernesto Pimentel 001 (SAC, 2011)

QoS-enabled and self-adaptive connectors for Web Services composition and coordination. - Jose Luis Pastrana; Ernesto Pimentel 001; Miguel Katrib (Comput. Lang. Syst. Struct., 2011)

Model-Based Dependable Composition of Self-Adaptive Systems. - Javier Cubo; Carlos Canal; Ernesto Pimentel 001 (Informatica (Slovenia), 2011)

Contracts for security adaptation. - José Antonio Martín; Ernesto Pimentel 001 (J. Log. Algebraic Methods Program., 2011)

Context-Aware Composition and Adaptation based on Model Transformation. - Javier Cubo; Carlos Canal; Ernesto Pimentel 001 (J. Univers. Comput. Sci., 2011)

On the Service Discovery Using Context-Awareness, Semantic Matching and Behavioural Compatibility. - Javier Cubo; Ernesto Pimentel 001 (CSE, 2012)

Towards behaviour-aware compositions of things in the future internet. - Javier Cubo; Antonio Brogi; Ernesto Pimentel 001 (WAS4FI-Mashups, 2012)

Behaviour-Aware Compositions of Things. - Javier Cubo; Antonio Brogi; Ernesto Pimentel 001 (GreenCom, 2012)

A tool for the synthesis of cryptographic orchestrators. - Vincenzo Ciancia; Fabio Martinelli; Ilaria Matteucci; Marinella Petrocchi; José Antonio Martín; Ernesto Pimentel 001 (MDsec@MoDELS, 2012)

Synthesis of secure adaptors. - José Antonio Martín; Fabio Martinelli; Ernesto Pimentel 001 (J. Log. Algebraic Methods Program., 2012)

Configuring a Context-Aware Middleware for Wireless Sensor Networks. - Nadia Gámez; Javier Cubo; Lidia Fuentes; Ernesto Pimentel 001 (Sensors, 2012)

Automated Synthesis and Ranking of Secure BPMN Orchestrators. - Vincenzo Ciancia; Fabio Martinelli; Ilaria Matteucci; Marinella Petrocchi; José Antonio Martín; Ernesto Pimentel 001 (ARES, 2013)

Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things. - Laura González 001; Javier Cubo; Antonio Brogi; Ernesto Pimentel 001; Raúl Ruggia (ESOCC Workshops, 2013)

Composition and Self-Adaptation of Service-Based Systems with Feature Models. - Javier Cubo; Nadia Gámez; Lidia Fuentes; Ernesto Pimentel 001 (ICSR, 2013)

Automated Throughput Optimization of Cloud Services via Model-driven Adaptation. - Javier Troya; Javier Cubo; José Antonio Martín; Ernesto Pimentel 001; Antonio Vallecillo (MODELSWARD, 2013)

Guest Editors' Foreword. - Ernesto Pimentel 001; Valentín Valero (J. Log. Algebraic Methods Program., 2013)

SeaClouds: Seamless adaptive multi-cloud management of service-based applications. - Antonio Brogi; José Carrasco 001; Javier Cubo; Francesco D'Andria; Ahmad Ibrahim 001; Ernesto Pimentel 001; Jacopo Soldani (CIbSE, 2014)

EU Project SeaClouds - Adaptive Management of Service-based Applications Across Multiple Clouds. - Antonio Brogi; José Carrasco 001; Javier Cubo; Francesco D'Andria; Ahmad Ibrahim 001; Ernesto Pimentel 001; Jacopo Soldani (CLOSER, 2014)

Workshop on Seamless Adaptive Multi-cloud Management of Service-Based Applications (SeaCloudS): Preface. - Antonio Brogi; Ernesto Pimentel 001 (ESOCC Workshops, 2014)

Towards a Flexible Deployment of Multi-cloud Applications Based on TOSCA and CAMP. - Jose Carrasco 001; Javier Cubo; Ernesto Pimentel 001 (ESOCC Workshops, 2014)

Comparator: A Tool for Quantifying Behavioural Compatibility. - Meriem Ouederni; Gwen Salaün; Javier Cámara 001; Ernesto Pimentel 001 (FASE, 2014)

Dynamic Verification of Mashups of Service-Oriented Things through a Mediation Platform. - Antonio Brogi; Javier Cubo; Laura González 001; Ernesto Pimentel 001; Raúl Ruggia (J. Univers. Comput. Sci., 2014)

A Cloud-Based Internet of Things Platform for Ambient Assisted Living. - Javier Cubo; Adrián Nieto; Ernesto Pimentel 001 (Sensors, 2014)

SeaClouds: a European project on seamless management of multi-cloud applications. - Antonio Brogi; Ahmad Ibrahim 001; Jacopo Soldani; José Carrasco 001; Javier Cubo; Ernesto Pimentel 001; Francesco D'Andria (ACM SIGSOFT Softw. Eng. Notes, 2014)

Introduction to the special issue from the European conference on service-oriented and cloud computing. - Flavio De Paoli; Ernesto Pimentel 001 (Serv. Oriented Comput. Appl., 2014)

On the Synthesis of Secure Services Composition. - José Antonio Martín; Fabio Martinelli; Ilaria Matteucci; Ernesto Pimentel 001; Mathieu Turuani (Engineering Secure Future Internet Services and Systems, 2014)

Reconfiguration of Service Failures in DAMASCo Using Dynamic Software Product Lines. - Javier Cubo; Nadia Gámez; Ernesto Pimentel 001; Lidia Fuentes (SCC, 2015)

SeaClouds: Agile management of complex applications across multiple heterogeneous clouds. - Dionysis Athanasopoulos; Miguel Barrientos; Leonardo Bartoloni; Antonio Brogi; Mattia Buccarella; Jose Carrasco 001; Javier Cubo; Francesco D'Andria; Elisabetta Di Nitto; Adrián Nieto; Marc Oriol; Ernesto Pimentel 001; et al. (STAF Projects Showcase, 2015)

Adaptive management of applications across multiple clouds: The SeaClouds Approach. - Antonio Brogi; Jose Carrasco 001; Javier Cubo; Elisabetta Di Nitto; Francisco Durán 001; Michela Fazzolari; Ahmad Ibrahim 001; Ernesto Pimentel 001; Jacopo Soldani; Pengwei Wang 001; Francesco D'Andria (CLEI Electron. J., 2015)

Bidimensional Cross-Cloud Management with TOSCA and Brooklyn. - Jose Carrasco 001; Javier Cubo; Francisco Durán 001; Ernesto Pimentel 001 (CLOUD, 2016)

Deployment over Heterogeneous Clouds with TOSCA and CAMP. - Jose Carrasco 001; Javier Cubo; Ernesto Pimentel 001; Francisco Durán 001 (CLOSER (1), 2016)

SeaClouds: An Open Reference Architecture for Multi-cloud Governance. - Antonio Brogi; Jose Carrasco 001; Javier Cubo; Francesco D'Andria; Elisabetta Di Nitto; Michele Guerriero; Diego Pérez; Ernesto Pimentel 001; Jacopo Soldani (ECSA, 2016)

Towards a Unified Management of Applications on Heterogeneous Clouds. - Jose Carrasco 001; Francisco Durán 001; Ernesto Pimentel 001 (ESOCC Workshops, 2016)

Towards the Predictive Analysis of Cloud Systems with e-Motions. - Patrícia Araújo de Oliveira; Antonio Moreno-Delgado; Francisco Durán 001; Ernesto Pimentel 001 (CIbSE, 2017)

Component-wise Application Migration in Bidimensional Cross-cloud Environments. - Jose Carrasco 001; Francisco Durán 001; Ernesto Pimentel 001 (CLOSER, 2017)

Component Migration in a Trans-cloud Environment. - Jose Carrasco 001; Francisco Durán 001; Ernesto Pimentel 001 (CLOSER (Selected Papers), 2017)

Runtime Migration of Applications in a Trans-Cloud Environment. - Jose Carrasco 001; Francisco Durán 001; Ernesto Pimentel 001 (ICSOC Workshops, 2017)

An Approach to Predictive Analysis of Self-Adaptive Systems in Design Time. - Patrícia Araújo de Oliveira; Francisco Durán 001; Ernesto Pimentel 001 (ICSOC Workshops, 2017)

Towards the Performance Analysis of Elastic Systems with e-Motions. - Patrícia Araújo de Oliveira; Francisco Durán 001; Ernesto Pimentel 001 (SEFM Workshops, 2017)

SMART-FI: Exploiting Open IoT Data from Smart Cities in the Future Internet Society. - Stefan Nastic; Javier Cubo; Malena Donato; Schahram Dustdar; Örjan Guthu. Mats Jonsson; Ömer Özdemir; Ernesto Pimentel 001; M. Serdar Yümlü (Internet of Everything, 2018)

Trans-cloud: CAMP/TOSCA-based bidimensional cross-cloud. - Jose Carrasco 001; Francisco Durán 001; Ernesto Pimentel 001 (Comput. Stand. Interfaces, 2018)

Robust Management of Trans-Cloud Applications. - Antonio Brogi; Jose Carrasco 001; Francisco Durán 001; Ernesto Pimentel 001; Jacopo Soldani (CLOUD, 2019)

A Programming Framework for People as a Service. - David Bandera; Alejandro Pérez-Vereda; Carlos Canal; Ernesto Pimentel 001 (ICSOC Workshops, 2019)

One Step Towards Dynamically Programmable Things: an Implementation Using Beacons. - David Bandera; Alejandro Pérez-Vereda; Carlos Canal; Ernesto Pimentel 001 (ISCC, 2019)

A Formal Programming Framework for Digital Avatars. - Alejandro Pérez-Vereda; Carlos Canal; Ernesto Pimentel 001 (SEFM Workshops, 2019)

Live migration of trans-cloud applications. - Jose Carrasco 001; Francisco Durán 001; Ernesto Pimentel 001 (Comput. Stand. Interfaces, 2020)

Modelling digital avatars: A tuple space approach. - Alejandro Pérez-Vereda; Carlos Canal; Ernesto Pimentel 001 (Sci. Comput. Program., 2021)

Preface to the Special Issue on Coordination and Self-Adaptiveness of Software Applications. - Ernesto Pimentel 001; Jacopo Soldani (Sci. Comput. Program., 2021)

A procedural and flexible approach for specification, modeling, definition, and analysis for self-adaptive systems. - Patrícia Araújo de Oliveira; Francisco Durán 001; Ernesto Pimentel 001 (Softw. Pract. Exp., 2021)

Self-healing trans-cloud applications. - Antonio Brogi; Jose Carrasco 001; Francisco Durán 001; Ernesto Pimentel 001; Jacopo Soldani (Computing, 2022)

Digital Avatars: An Application to eHealth. - Rafael García-Luque; Ernesto Pimentel 001; Antonio Bandera (ICWE Workshops, 2023)

Towards the Integration of Digital Avatars in Urban Digital Twins on the Cloud-to-Thing Continuum. - Lorenzo Toro-Gálvez; Rafael García-Luque; Javier Troya; Carlos Canal; Ernesto Pimentel 001 (ICWE Workshops, 2023)

Integrating Citizens' Avatars in Urban Digital Twins. - Rafael García-Luque; Lorenzo Toro-Gálvez; Nathalie Moreno; Javier Troya; Carlos Canal; Ernesto Pimentel 001 (J. Web Eng., 2023)

Location-aware scalable service composition. - Nicolás Pozas; Francisco Durán 001; Katia Moreno Berrocal; Ernesto Pimentel 001 (Softw. Pract. Exp., 2023)

Continuous QoS-compliant orchestration in the Cloud-Edge continuum. - Giuseppe Bisicchia; Stefano Forti 002; Ernesto Pimentel 001; Antonio Brogi (Softw. Pract. Exp., 2024)