Ernesto Pimentel

ORCID

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 25

Top Venues

Publications

Nicolás Pozas, Francisco Durán, Katia Moreno Berrocal, Ernesto Pimentel
Location-aware scalable service composition. Softw. Pract. Exp. 53 (12) (2023)
Giuseppe Bisicchia, Stefano Forti, Ernesto Pimentel, Antonio Brogi
Continuous QoS-compliant Orchestration in the Cloud-Edge Continuum. CoRR (2023)
Lorenzo Toro-Gálvez, Rafael García-Luque, Javier Troya, Carlos Canal, Ernesto Pimentel
Towards the Integration of Digital Avatars in Urban Digital Twins on the Cloud-to-Thing Continuum. ICWE Workshops (2023)
Rafael García-Luque, Lorenzo Toro-Gálvez, Nathalie Moreno, Javier Troya, Carlos Canal, Ernesto Pimentel
Integrating Citizens' Avatars in Urban Digital Twins. J. Web Eng. 22 (6) (2023)
Rafael García-Luque, Ernesto Pimentel, Antonio Bandera
Digital Avatars: An Application to eHealth. ICWE Workshops (2023)
Antonio Brogi, Jose Carrasco, Francisco Durán, Ernesto Pimentel, Jacopo Soldani
Self-healing trans-cloud applications. Computing 104 (4) (2022)
Ernesto Pimentel, Jacopo Soldani
Preface to the Special Issue on Coordination and Self-Adaptiveness of Software Applications. Sci. Comput. Program. 204 (2021)
Patrícia Araújo de Oliveira, Francisco Durán, Ernesto Pimentel
A procedural and flexible approach for specification, modeling, definition, and analysis for self-adaptive systems. Softw. Pract. Exp. 51 (6) (2021)
Alejandro Pérez-Vereda, Carlos Canal, Ernesto Pimentel
Modelling digital avatars: A tuple space approach. Sci. Comput. Program. 203 (2021)
José Carrasco, Francisco Durán, Ernesto Pimentel
Live migration of trans-cloud applications. Comput. Stand. Interfaces 69 (2020)
David Bandera, Alejandro Pérez-Vereda, Carlos Canal, Ernesto Pimentel
A Programming Framework for People as a Service. ICSOC Workshops (2019)
David Bandera, Alejandro Pérez-Vereda, Carlos Canal, Ernesto Pimentel
One Step Towards Dynamically Programmable Things: an Implementation Using Beacons. ISCC (2019)
Alejandro Pérez-Vereda, Carlos Canal, Ernesto Pimentel
A Formal Programming Framework for Digital Avatars. SEFM Workshops (2019)
Antonio Brogi, José Carrasco, Francisco Durán, Ernesto Pimentel, Jacopo Soldani
Robust Management of Trans-Cloud Applications. CLOUD (2019)
José Carrasco, Francisco Durán, Ernesto Pimentel
Trans-cloud: CAMP/TOSCA-based bidimensional cross-cloud. Comput. Stand. Interfaces 58 (2018)
José Carrasco, Francisco Durán, Ernesto Pimentel
Component-wise Application Migration in Bidimensional Cross-cloud Environments. CLOSER (2017)
José Carrasco, Francisco Durán, Ernesto Pimentel
Component Migration in a Trans-cloud Environment. CLOSER (Selected Papers) (2017)
José Carrasco, Francisco Durán, Ernesto Pimentel
Runtime Migration of Applications in a Trans-Cloud Environment. ICSOC Workshops (2017)
Patrícia Araújo de Oliveira, Antonio Moreno-Delgado, Francisco Durán, Ernesto Pimentel
Towards the Predictive Analysis of Cloud Systems with e-Motions. CIbSE (2017)
Patrícia Araújo de Oliveira, Francisco Durán, Ernesto Pimentel
An Approach to Predictive Analysis of Self-Adaptive Systems in Design Time. ICSOC Workshops (2017)
Patrícia Araújo de Oliveira, Francisco Durán, Ernesto Pimentel
Towards the Performance Analysis of Elastic Systems with e-Motions. SEFM Workshops (2017)
José Carrasco, Francisco Durán, Ernesto Pimentel
Towards a Unified Management of Applications on Heterogeneous Clouds. ESOCC Workshops (2016)
José Carrasco, Javier Cubo, Ernesto Pimentel, Francisco Durán
Deployment over Heterogeneous Clouds with TOSCA and CAMP. CLOSER (1) (2016)
José Carrasco, Javier Cubo, Francisco Durán, Ernesto Pimentel
Bidimensional Cross-Cloud Management with TOSCA and Brooklyn. CLOUD (2016)
Antonio Brogi, José Carrasco, Javier Cubo, Francesco D'Andria, Elisabetta Di Nitto, Michele Guerriero, Diego Pérez, Ernesto Pimentel, Jacopo Soldani
SeaClouds: An Open Reference Architecture for Multi-cloud Governance. ECSA (2016)
Javier Cubo, Nadia Gámez, Ernesto Pimentel, Lidia Fuentes
Reconfiguration of Service Failures in DAMASCo Using Dynamic Software Product Lines. SCC (2015)
Dionysis Athanasopoulos, Miguel Barrientos, Leonardo Bartoloni, Antonio Brogi, Mattia Buccarella, José Carrasco, Javier Cubo, Francesco D'Andria, Elisabetta Di Nitto, Adrián Nieto, Marc Oriol, Ernesto Pimentel, Simone Zenzaro
SeaClouds: Agile management of complex applications across multiple heterogeneous clouds. STAF Projects Showcase (2015)
Antonio Brogi, José Carrasco, Javier Cubo, Elisabetta Di Nitto, Francisco Durán, Michela Fazzolari, Ahmad Ibrahim, Ernesto Pimentel, Jacopo Soldani, PengWei Wang, Francesco D'Andria
Adaptive management of applications across multiple clouds: The SeaClouds Approach. CLEI Electron. J. 18 (1) (2015)
Antonio Brogi, José Carrasco, Javier Cubo, Francesco D'Andria, Ahmad Ibrahim, Ernesto Pimentel, Jacopo Soldani
SeaClouds: Seamless adaptive multi-cloud management of service-based applications. CIbSE (2014)
Antonio Brogi, Ahmad Ibrahim, Jacopo Soldani, José Carrasco, Javier Cubo, Ernesto Pimentel, Francesco D'Andria
SeaClouds: a European project on seamless management of multi-cloud applications. ACM SIGSOFT Softw. Eng. Notes 39 (1) (2014)
Javier Cubo, Adrián Nieto, Ernesto Pimentel
A Cloud-Based Internet of Things Platform for Ambient Assisted Living. Sensors 14 (8) (2014)
Antonio Brogi, Javier Cubo, Laura González, Ernesto Pimentel, Raúl Ruggia
Dynamic Verification of Mashups of Service-Oriented Things through a Mediation Platform. J. Univers. Comput. Sci. 20 (8) (2014)
Vincenzo Ciancia, José Antonio Martín, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Ernesto Pimentel
Automated Synthesis and Ranking of Secure BPMN Orchestrators. Int. J. Secur. Softw. Eng. 5 (2) (2014)
Antonio Brogi, Ernesto Pimentel
Workshop on Seamless Adaptive Multi-cloud Management of Service-Based Applications (SeaCloudS): Preface. ESOCC Workshops (2014)
José Carrasco, Javier Cubo, Ernesto Pimentel
Towards a Flexible Deployment of Multi-cloud Applications Based on TOSCA and CAMP. ESOCC Workshops (2014)
Meriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel
Comparator: A Tool for Quantifying Behavioural Compatibility. FASE (2014)
Flavio De Paoli, Ernesto Pimentel
Introduction to the special issue from the European conference on service-oriented and cloud computing. Serv. Oriented Comput. Appl. 8 (4) (2014)
Antonio Brogi, José Carrasco, Javier Cubo, Francesco D'Andria, Ahmad Ibrahim, Ernesto Pimentel, Jacopo Soldani
EU Project SeaClouds - Adaptive Management of Service-based Applications Across Multiple Clouds. CLOSER (2014)
Javier Cubo, Nadia Gámez, Lidia Fuentes, Ernesto Pimentel
Composition and Self-Adaptation of Service-Based Systems with Feature Models. ICSR (2013)
Laura González, Javier Cubo, Antonio Brogi, Ernesto Pimentel, Raúl Ruggia
Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things. ESOCC Workshops (2013)
Ernesto Pimentel, Valentín Valero
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 82 (5-7) (2013)
Javier Troya, Javier Cubo, José Antonio Martín, Ernesto Pimentel, Antonio Vallecillo
Automated Throughput Optimization of Cloud Services via Model-driven Adaptation. MODELSWARD (2013)
Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, José Antonio Martín, Ernesto Pimentel
Automated Synthesis and Ranking of Secure BPMN Orchestrators. ARES (2013)
Javier Cubo, Ernesto Pimentel
On the Service Discovery Using Context-Awareness, Semantic Matching and Behavioural Compatibility. CSE (2012)
Nadia Gámez, Javier Cubo, Lidia Fuentes, Ernesto Pimentel
Configuring a Context-Aware Middleware for Wireless Sensor Networks. Sensors 12 (7) (2012)
Javier Cubo, Antonio Brogi, Ernesto Pimentel
Towards behaviour-aware compositions of things in the future internet. WAS4FI-Mashups (2012)
Javier Cubo, Antonio Brogi, Ernesto Pimentel
Behaviour-Aware Compositions of Things. GreenCom (2012)
Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, José Antonio Martín, Ernesto Pimentel
A tool for the synthesis of cryptographic orchestrators. MDsec@MoDELS (2012)
José Antonio Martín, Fabio Martinelli, Ernesto Pimentel
Synthesis of secure adaptors. J. Log. Algebraic Methods Program. 81 (2) (2012)
Meriem Ouederni, Gwen Salaün, Ernesto Pimentel
Measuring the compatibility of service interaction protocols. SAC (2011)
José Antonio Martín, Ernesto Pimentel
Contracts for security adaptation. J. Log. Algebraic Methods Program. 80 (3-5) (2011)
Javier Cubo, Carlos Canal, Ernesto Pimentel
Model-Based Dependable Composition of Self-Adaptive Systems. Informatica (Slovenia) 35 (1) (2011)
Javier Cubo, Carlos Canal, Ernesto Pimentel
Context-Aware Composition and Adaptation based on Model Transformation. J. Univers. Comput. Sci. 17 (5) (2011)
Jose Luis Pastrana, Ernesto Pimentel, Miguel Katrib
QoS-enabled and self-adaptive connectors for Web Services composition and coordination. Comput. Lang. Syst. Struct. 37 (1) (2011)
Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel
On the Formal Analysis of P2P Algorithms with aSMoL and Maude. CIbSE (2011)
Javier Cubo, Ernesto Pimentel
DAMASCo: A Framework for the Automatic Composition of Component-Based and Service-Oriented Architectures. ECSA (2011)
José Antonio Martín, Antonio Brogi, Ernesto Pimentel
Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation. FACS (2011)
Meriem Ouederni, Gwen Salaün, Ernesto Pimentel
Client Update: A Solution for Service Evolution. IEEE SCC (2011)
Javier Cubo, Ernesto Pimentel, Gwen Salaün, Carlos Canal
Handling Data-Based Concurrency in Context-Aware Service Protocols FOCLASA (2010)
Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel
A Case Study in Model-Based Adaptation of Web Services. ISoLA (2) (2010)
Meriem Ouederni, Gwen Salaün, Ernesto Pimentel
Quantifying Service Compatibility: A Step beyond the Boolean Approaches. ICSOC (2010)
Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel
Semi-Automatic Specification of Behavioural Service Adaptation Contracts. Electron. Notes Theor. Comput. Sci. 264 (1) (2010)
Ernesto Pimentel, Jean-Marie Jacquet
Special issue on the 5th international workshop on foundations of coordination languages and software architectures (FOCLASA'06). Sci. Comput. Program. 74 (9) (2009)
Javier Cubo, Carlos Canal, Ernesto Pimentel, Gwen Salaün
A formal model and composition language for context-aware service protocols. CASTA@ESEC/SIGSOFT FSE (2009)
Javier Cámara, José Antonio Martín, Gwen Salaün, Javier Cubo, Meriem Ouederni, Carlos Canal, Ernesto Pimentel
ITACA: An integrated toolbox for the automatic composition and adaptation of Web services. ICSE (2009)
José Antonio Martín, Ernesto Pimentel
Dinapter: Automatic Adapter Specification for Software Composition. Electron. Notes Theor. Comput. Sci. 248 (2009)
Ernesto Pimentel
Integración de software: métodos formales para coordinar y adaptar componentes y servicios. CIbSE (2009)
Ana M. Roldán, Ernesto Pimentel, Antonio Brogi
Software composition with Linda. Comput. Lang. Syst. Struct. 35 (4) (2009)
José Antonio Martín, Ernesto Pimentel
Automatic Generation of Adaptation Contracts. Electron. Notes Theor. Comput. Sci. 229 (2) (2009)
Antonio Brogi, Razvan Popescu, Francisco Gutiérrez, Pablo López, Ernesto Pimentel
A Service-Oriented Model for Embedded Peer-to-Peer Systems. Electron. Notes Theor. Comput. Sci. 194 (4) (2008)
Ernesto Pimentel
Preface. Electron. Notes Theor. Comput. Sci. 206 (2008)
Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel
A formalization of the SMEPP model in Maude. MobiQuitous (2008)
Jose Luis Pastrana, Ernesto Pimentel, Miguel Katrib
Composition of Self-Adapting Components for Customizable Systems. Comput. J. 51 (4) (2008)
Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. Electron. Notes Theor. Comput. Sci. 215 (2008)
Javier Cubo, Carlos Canal, Ernesto Pimentel
Towards a Model-Based Approach for Context-Aware Composition and Adaptation: A Case Study using WF/.NET. MOMPES (2008)
Antonio Brogi, Francisco Gutiérrez, Pablo López, Ernesto Pimentel, Razvan Popescu
Modelado de sistemas P2P con control de excepciones. CIbSE (2008)
María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. Electron. Notes Theor. Comput. Sci. 206 (2008)
Silvia Amaro, Ernesto Pimentel, Ana M. Roldán
A Preliminary Comparative Study on the Expressive Power of Reo and Linda. Electron. Notes Theor. Comput. Sci. 180 (2) (2007)
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Núñez, Ernesto Pimentel
PiXL: Applying xml standards to support the integration of analysis tools for protocols. Sci. Comput. Program. 65 (1) (2007)
Antonio Brogi, Carlos Canal, Ernesto Pimentel
Behavioural Types for Service Integration: Achievements and Challenges. Electron. Notes Theor. Comput. Sci. 180 (2) (2007)
Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel
Dynamic Contextual Adaptation. Electron. Notes Theor. Comput. Sci. 175 (2) (2007)
Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel
Preface. Electron. Notes Theor. Comput. Sci. 180 (2) (2007)
Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel
Context-Based Adaptation of Component Behavioural Interfaces. COORDINATION (2007)
Jose Luis Pastrana, Ernesto Pimentel, Miguel Katrib
Un Perfil UML para la definición de Componentes Inteligentes. CIbSE (2007)
Antonio Brogi, Carlos Canal, Ernesto Pimentel
Component adaptation through flexible subservicing. Sci. Comput. Program. 63 (1) (2006)
Antonio Brogi, Jean-Marie Jacquet, Jeff Kramer, Ernesto Pimentel
Preface. Sci. Comput. Program. 61 (2) (2006)
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Núñez, Ernesto Pimentel
PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols. MSVVEIS (2006)
Silvia Amaro, Ernesto Pimentel, Ana M. Roldán
Reo Based Interaction Model. Electron. Notes Theor. Comput. Sci. 160 (2006)
Jose Luis Pastrana, Ernesto Pimentel, Miguel Katrib
Técnicas de Web Semántica para la Adaptación Dinámica de Componentes y Servicios. CIbSE (2006)
María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
Verifying Real-Time Properties of tccp Programs. J. Univers. Comput. Sci. 12 (11) (2006)
Antonio Brogi, Carlos Canal, Ernesto Pimentel
On the semantics of software adaptation. Sci. Comput. Program. 61 (2) (2006)
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
On the Evolution of reliability Methods for Critical Software. Trans. SDPS 10 (4) (2006)
Ernesto Pimentel
Adaptación Automática de Componentes de Software. CIbSE (2005)
Miguel Katrib, Jose Luis Pastrana, Ernesto Pimentel
Adaptación y Reutilización de Componentes Distribuidos. CIbSE (2005)
María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
Abstract Model Checking of tccp programs. Electron. Notes Theor. Comput. Sci. 112 (2005)
Juan Hernández Núñez, Ernesto Pimentel, José Ambrosio Toval Álvarez
Report on the ninth conference on Software Engineering and Databases (JISBD 2004). SIGMOD Rec. 34 (2) (2005)
María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
A semantic framework for the abstract model checking of tccp programs. Theor. Comput. Sci. 346 (1) (2005)
Silvia Amaro, Ernesto Pimentel, Ana M. Roldán
Coordinating Behavioral Descriptions of Components. J. Univers. Comput. Sci. 11 (10) (2005)
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
aSPIN: A tool for abstract model checking. Int. J. Softw. Tools Technol. Transf. 5 (2-3) (2004)
Antonio Brogi, Carlos Canal, Ernesto Pimentel
Behavioural Types and Component Adaptation. AMAST (2004)

Ernesto Pimentel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ernesto Pimentel