| 2023 | ICWE | Digital Avatars: An Application to eHealth. | Rafael Garca-Luque, Ernesto Pimentel, Antonio Bandera |
| 2023 | ICWE | Towards the Integration of Digital Avatars in Urban Digital Twins on the Cloud-to-Thing Continuum. | Lorenzo Toro-Glvez, Rafael Garca-Luque, Javier Troya, Carlos Canal, Ernesto Pimentel |
| 2019 | ICSOC | A Programming Framework for People as a Service. | David Bandera, Alejandro Prez-Vereda, Carlos Canal, Ernesto Pimentel |
| 2019 | ISCC | One Step Towards Dynamically Programmable Things: an Implementation Using Beacons. | David Bandera, Alejandro Prez-Vereda, Carlos Canal, Ernesto Pimentel |
| 2019 | SEFM | A Formal Programming Framework for Digital Avatars. | Alejandro Prez-Vereda, Carlos Canal, Ernesto Pimentel |
| 2017 | CLOSER | Component-wise Application Migration in Bidimensional Cross-cloud Environments. | Jose Carrasco, Francisco Durn, Ernesto Pimentel |
| 2017 | CLOSER | Component Migration in a Trans-cloud Environment. | Jose Carrasco, Francisco Durn, Ernesto Pimentel |
| 2017 | ICSOC | Runtime Migration of Applications in a Trans-Cloud Environment. | Jose Carrasco, Francisco Durn, Ernesto Pimentel |
| 2017 | ICSOC | An Approach to Predictive Analysis of Self-Adaptive Systems in Design Time. | Patrcia Arajo de Oliveira, Francisco Durn, Ernesto Pimentel |
| 2017 | SEFM | Towards the Performance Analysis of Elastic Systems with e-Motions. | Patrcia Arajo de Oliveira, Francisco Durn, Ernesto Pimentel |
| 2016 | CLOSER | Deployment over Heterogeneous Clouds with TOSCA and CAMP. | Jose Carrasco, Javier Cubo, Ernesto Pimentel, Francisco Durn |
| 2016 | ECSA | SeaClouds: An Open Reference Architecture for Multi-cloud Governance. | Antonio Brogi, Jose Carrasco, Javier Cubo, Francesco D'Andria, Elisabetta Di Nitto, Michele Guerriero, Diego Prez, Ernesto Pimentel, Jacopo Soldani |
| 2014 | CLOSER | EU Project SeaClouds - Adaptive Management of Service-based Applications Across Multiple Clouds. | Antonio Brogi, Jos Carrasco, Javier Cubo, Francesco D'Andria, Ahmad Ibrahim, Ernesto Pimentel, Jacopo Soldani |
| 2014 | FASE | Comparator: A Tool for Quantifying Behavioural Compatibility. | Meriem Ouederni, Gwen Salan, Javier Cmara, Ernesto Pimentel |
| 2013 | ICSR | Composition and Self-Adaptation of Service-Based Systems with Feature Models. | Javier Cubo, Nadia Gmez, Lidia Fuentes, Ernesto Pimentel |
| 2013 | MODELSWARD | Automated Throughput Optimization of Cloud Services via Model-driven Adaptation. | Javier Troya, Javier Cubo, Jos Antonio Martn, Ernesto Pimentel, Antonio Vallecillo |
| 2012 | MODELS | A tool for the synthesis of cryptographic orchestrators. | Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Jos Antonio Martn, Ernesto Pimentel |
| 2011 | ECSA | DAMASCo: A Framework for the Automatic Composition of Component-Based and Service-Oriented Architectures. | Javier Cubo, Ernesto Pimentel |
| 2011 | SAC | Measuring the compatibility of service interaction protocols. | Meriem Ouederni, Gwen Salan, Ernesto Pimentel |
| 2010 | ICSOC | Quantifying Service Compatibility: A Step beyond the Boolean Approaches. | Meriem Ouederni, Gwen Salan, Ernesto Pimentel |
| 2010 | ISoLA | A Case Study in Model-Based Adaptation of Web Services. | Javier Cmara, Jos Antonio Martn, Gwen Salan, Carlos Canal, Ernesto Pimentel |
| 2009 | ICSE | ITACA: An integrated toolbox for the automatic composition and adaptation of Web services. | Javier Cmara, Jos Antonio Martn, Gwen Salan, Javier Cubo, Meriem Ouederni, Carlos Canal, Ernesto Pimentel |
| 2008 | Mobiquitous | A formalization of the SMEPP model in Maude. | Francisco Durn, Francisco Gutirrez, Pablo Lpez, Ernesto Pimentel |
| 2007 | Coordination | Context-Based Adaptation of Component Behavioural Interfaces. | Javier Cubo, Gwen Salan, Javier Cmara, Carlos Canal, Ernesto Pimentel |
| 2004 | Coordination | Measuring Component Adaptation. | Antonio Brogi, Carlos Canal, Ernesto Pimentel |
| 2003 | SNPD | Applying Data Abstraction to XML Formal Designs. | Mara-del-Mar Gallardo, Jess Martnez, Pedro Merino, Ernesto Pimentel |
| 2002 | CSL | A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming. | Joshua S. Hodas, Pablo Lpez, Jeffrey Polakow, Lubomira Stoilova, Ernesto Pimentel |
| 2002 | ICICS | Access Control Infrastructure for Digital Objects. | Javier Lpez, Antonio Mana, Ernesto Pimentel, Jos M. Troya, Mariemma Inmaculada Yage del Valle |
| 2002 | SAS | Refinement of LTL Formulas for Abstract Model Checking. | Mara-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel |
| 2001 | SEC | An Efficient Software Protection Scheme. | Antonio Mana, Ernesto Pimentel |
| 1999 | LPAR | Resource Management in Linear Logic Search Revisited. | Pablo Lpez, Ernesto Pimentel |
| 1997 | EuroPar | Integrating an Entry Consistency Memory Model and Concurrent Object-Oriented Programming. | Antonio J. Nebro, Ernesto Pimentel, Jos M. Troya |
| 1997 | ICLP | Modularity in Functional-Logic Programming. | Juan M. Molina-Bravo, Ernesto Pimentel |