Ernesto Pimentel

Orcid: 0000-0002-7125-8434

Affiliations:
  • University of Málaga, Spain


According to our database1, Ernesto Pimentel authored at least 155 papers between 1992 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Location-aware scalable service composition.
Softw. Pract. Exp., December, 2023

Integrating Citizens' Avatars in Urban Digital Twins.
J. Web Eng., 2023

Continuous QoS-compliant Orchestration in the Cloud-Edge Continuum.
CoRR, 2023

Towards the Integration of Digital Avatars in Urban Digital Twins on the Cloud-to-Thing Continuum.
Proceedings of the Current Trends in Web Engineering, 2023

Digital Avatars: An Application to eHealth.
Proceedings of the Current Trends in Web Engineering, 2023

2022
Self-healing trans-cloud applications.
Computing, 2022

2021
A procedural and flexible approach for specification, modeling, definition, and analysis for self-adaptive systems.
Softw. Pract. Exp., 2021

Preface to the Special Issue on Coordination and Self-Adaptiveness of Software Applications.
Sci. Comput. Program., 2021

Modelling digital avatars: A tuple space approach.
Sci. Comput. Program., 2021

2020
Live migration of trans-cloud applications.
Comput. Stand. Interfaces, 2020

2019
A Formal Programming Framework for Digital Avatars.
Proceedings of the Software Engineering and Formal Methods, 2019

One Step Towards Dynamically Programmable Things: an Implementation Using Beacons.
Proceedings of the 2019 IEEE Symposium on Computers and Communications, 2019

A Programming Framework for People as a Service.
Proceedings of the Service-Oriented Computing - ICSOC 2019 Workshops, 2019

Robust Management of Trans-Cloud Applications.
Proceedings of the 12th IEEE International Conference on Cloud Computing, 2019

2018
Trans-cloud: CAMP/TOSCA-based bidimensional cross-cloud.
Comput. Stand. Interfaces, 2018

SMART-FI: Exploiting Open IoT Data from Smart Cities in the Future Internet Society.
Proceedings of the Internet of Everything - Technology, Communications and Computing, 2018

2017
Towards the Performance Analysis of Elastic Systems with e-Motions.
Proceedings of the Software Engineering and Formal Methods, 2017

An Approach to Predictive Analysis of Self-Adaptive Systems in Design Time.
Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017

Runtime Migration of Applications in a Trans-Cloud Environment.
Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017

Component Migration in a Trans-cloud Environment.
Proceedings of the Cloud Computing and Service Science - 7th International Conference, 2017

Component-wise Application Migration in Bidimensional Cross-cloud Environments.
Proceedings of the CLOSER 2017, 2017

Towards the Predictive Analysis of Cloud Systems with e-Motions.
Proceedings of the XX Iberoamerican Conference on Software Engineering, 2017

2016
Towards a Unified Management of Applications on Heterogeneous Clouds.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2016

SeaClouds: An Open Reference Architecture for Multi-cloud Governance.
Proceedings of the Software Architecture - 10th European Conference, 2016

Deployment over Heterogeneous Clouds with TOSCA and CAMP.
Proceedings of the CLOSER 2016, 2016

Bidimensional Cross-Cloud Management with TOSCA and Brooklyn.
Proceedings of the 9th IEEE International Conference on Cloud Computing, 2016

2015
Adaptive management of applications across multiple clouds: The SeaClouds Approach.
CLEI Electron. J., 2015

SeaClouds: Agile management of complex applications across multiple heterogeneous clouds.
Proceedings of the Projects Showcase, 2015

Reconfiguration of Service Failures in DAMASCo Using Dynamic Software Product Lines.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014
On the Synthesis of Secure Services Composition.
Proceedings of the Engineering Secure Future Internet Services and Systems, 2014

Introduction to the special issue from the European conference on service-oriented and cloud computing.
Serv. Oriented Comput. Appl., 2014

SeaClouds: a European project on seamless management of multi-cloud applications.
ACM SIGSOFT Softw. Eng. Notes, 2014

A Cloud-Based Internet of Things Platform for Ambient Assisted Living.
Sensors, 2014

Dynamic Verification of Mashups of Service-Oriented Things through a Mediation Platform.
J. Univers. Comput. Sci., 2014

Automated Synthesis and Ranking of Secure BPMN Orchestrators.
Int. J. Secur. Softw. Eng., 2014

Comparator: A Tool for Quantifying Behavioural Compatibility.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

Towards a Flexible Deployment of Multi-cloud Applications Based on TOSCA and CAMP.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2014

Workshop on Seamless Adaptive Multi-cloud Management of Service-Based Applications (SeaCloudS): Preface.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2014

EU Project SeaClouds - Adaptive Management of Service-based Applications Across Multiple Clouds.
Proceedings of the CLOSER 2014, 2014

SeaClouds: Seamless adaptive multi-cloud management of service-based applications.
Proceedings of the XVII Iberoamerican Conference on Software Engineering, 2014

2013
Guest Editors' Foreword.
J. Log. Algebraic Methods Program., 2013

Automated Throughput Optimization of Cloud Services via Model-driven Adaptation.
Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

Composition and Self-Adaptation of Service-Based Systems with Feature Models.
Proceedings of the Safe and Secure Software Reuse, 2013

Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

2012
Configuring a Context-Aware Middleware for Wireless Sensor Networks.
Sensors, 2012

Synthesis of secure adaptors.
J. Log. Algebraic Methods Program., 2012

A tool for the synthesis of cryptographic orchestrators.
Proceedings of the Model-Driven Security Workshop, 2012

Behaviour-Aware Compositions of Things.
Proceedings of the 2012 IEEE International Conference on Green Computing and Communications, 2012

Towards behaviour-aware compositions of things in the future internet.
Proceedings of the 2nd International Workshop on Adaptive Services for the Future Internet and 6th International Workshop on Web APIs and Service Mashups (WAS4FI-Mashups 2012), 2012

On the Service Discovery Using Context-Awareness, Semantic Matching and Behavioural Compatibility.
Proceedings of the 15th IEEE International Conference on Computational Science and Engineering, 2012

2011
Context-Aware Composition and Adaptation based on Model Transformation.
J. Univers. Comput. Sci., 2011

Contracts for security adaptation.
J. Log. Algebraic Methods Program., 2011

Model-Based Dependable Composition of Self-Adaptive Systems.
Informatica (Slovenia), 2011

QoS-enabled and self-adaptive connectors for Web Services composition and coordination.
Comput. Lang. Syst. Struct., 2011

Measuring the compatibility of service interaction protocols.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation.
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

DAMASCo: A Framework for the Automatic Composition of Component-Based and Service-Oriented Architectures.
Proceedings of the Software Architecture - 5th European Conference, 2011

On the Formal Analysis of P2P Algorithms with aSMoL and Maude.
Proceedings of the 14th Iberoamerican Conference on Software Engineering, 2011

Client Update: A Solution for Service Evolution.
Proceedings of the IEEE International Conference on Services Computing, 2011

2010
Semi-Automatic Specification of Behavioural Service Adaptation Contracts.
Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2010

Handling Data-Based Concurrency in Context-Aware Service Protocols
Proceedings of the Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2010

A Case Study in Model-Based Adaptation of Web Services.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Quantifying Service Compatibility: A Step beyond the Boolean Approaches.
Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

2009
Special issue on the 5th international workshop on foundations of coordination languages and software architectures (FOCLASA'06).
Sci. Comput. Program., 2009

Software composition with Linda.
Comput. Lang. Syst. Struct., 2009

A formal model and composition language for context-aware service protocols.
Proceedings of the first international workshop on Context-aware software technology and applications, 2009

ITACA: An integrated toolbox for the automatic composition and adaptation of Web services.
Proceedings of the 31st International Conference on Software Engineering, 2009

Integración de software: métodos formales para coordinar y adaptar componentes y servicios.
Proceedings of the Memorias de la XII Conferencia Iberoamericana de Software Engineering (CIbSE 2009), 2009

2008
Automatic Generation of Adaptation Contracts.
Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2008

Dinapter: Automatic Adapter Specification for Software Composition.
Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008

Composition of Self-Adapting Components for Customizable Systems.
Comput. J., 2008

Towards a Model-Based Approach for Context-Aware Composition and Adaptation: A Case Study using WF/.NET.
Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2008

A formalization of the SMEPP model in Maude.
Proceedings of the 5th Annual International Conference on Mobile and Ubiquitous Systems: Computing, 2008

Modelado de sistemas P2P con control de excepciones.
Proceedings of the Memorias de la XI Conferencia Iberoamericana de Software Engineering (CIbSE 2008), 2008

2007
PiXL: Applying xml standards to support the integration of analysis tools for protocols.
Sci. Comput. Program., 2007

Preface.
Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007

A Model-Based Approach to the Verification and Adaptation of WF/.NET Components.
Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007

A Service-Oriented Model for Embedded Peer-to-Peer Systems.
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2007

An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation.
Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007

Context-Based Adaptation of Component Behavioural Interfaces.
Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

Un Perfil UML para la definición de Componentes Inteligentes.
Proceedings of the Memorias de la X Conferencia Iberoamericana de Software Engineering (CIbSE 2007), 2007

2006
Preface.
Sci. Comput. Program., 2006

On the semantics of software adaptation.
Sci. Comput. Program., 2006

Component adaptation through flexible subservicing.
Sci. Comput. Program., 2006

Verifying Real-Time Properties of tccp Programs.
J. Univers. Comput. Sci., 2006

On the Evolution of reliability Methods for Critical Software.
Trans. SDPS, 2006

Dynamic Contextual Adaptation.
Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2006

Técnicas de Web Semántica para la Adaptación Dinámica de Componentes y Servicios.
Proceedings of the Memorias de la IX Conferenci a Iberoamericana de Software Engineering (CIbSE 2006), 2006

2005
A semantic framework for the abstract model checking of tccp programs.
Theor. Comput. Sci., 2005

Report on the ninth conference on Software Engineering and Databases (JISBD 2004).
SIGMOD Rec., 2005

Coordinating Behavioral Descriptions of Components.
J. Univers. Comput. Sci., 2005

Reo Based Interaction Model.
Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Adaptación Automática de Componentes de Software.
Proceedings of the Memorias de la VIII Conferencia Iberoamericana de Software Engineering (CIbSE 2005), 2005

Adaptación y Reutilización de Componentes Distribuidos.
Proceedings of the Memorias de la VIII Conferencia Iberoamericana de Software Engineering (CIbSE 2005), 2005

2004
aSPIN: A tool for abstract model checking.
Int. J. Softw. Tools Technol. Transf., 2004

A framework for secure execution of software.
Int. J. Inf. Sec., 2004

A generalized semantics of PROMELA for abstract model checking.
Formal Aspects Comput., 2004

Preface.
Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, 2004

Formalizing Web Service Choreographies.
Proceedings of the First International Workshop on Web Services and Formal Methods, 2004

Behavioural Types for Service Integration: Achievements and Challenges.
Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, 2004

A Preliminary Comparative Study on the Expressive Power of Reo and Linda.
Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, 2004

Abstract Model Checking of tccp programs.
Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004

Measuring Component Adaptation.
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

Behavioural Types and Component Adaptation.
Proceedings of the Algebraic Methodology and Software Technology, 2004

2003
Adding Roles to CORBA Objects.
IEEE Trans. Software Eng., 2003

Composing Programs in a Rewriting Logic for Declarative Programming.
Theory Pract. Log. Program., 2003

Integrating Schedulability Analysis and Design Techniques in SD.
Real Time Syst., 2003

A secure solution for commercial digital libraries.
Online Inf. Rev., 2003

Safe Composition of Linda-based Components.
Proceedings of the International Workshop on Test and Analysis of Component-Based Systems, 2003

Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003.
Proceedings of FOCLASA 2003, 2003

On the specification of software adaptation.
Proceedings of FOCLASA 2003, 2003

Soft component adaptation.
Proceedings of the First International Workshop on Security Issues in Coordination Models, 2003

An Object-oriented Methodology for Embedded Real-time Systems.
Comput. J., 2003

Applying Data Abstraction to XML Formal Designs.
Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003

Abstract Model Checking and Refinement of Temporal Logic in aSPIN.
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002
Debugging UML Designs with Model Checking.
J. Object Technol., 2002

Isolating Resource Consumption in Linear Logic Proof Search.
Proceedings of the International Workshop on Logical Frameworks and Meta-Languages, 2002

Comparing Under and Over-Approximations of LTL Properties for Model Checking.
Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

A Tool for Abstraction in Model Checking.
Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002

Compatibility of Linda-based Component Interfaces.
Proceedings of the Formal Methods and Component Interaction 2002, 2002

Preface.
Proceedings of the Formal Methods and Component Interaction 2002, 2002

alpha SPIN: Extending SPIN with Abstraction.
Proceedings of the Model Checking of Software, 2002

Refinement of LTL Formulas for Abstract Model Checking.
Proceedings of the Static Analysis, 9th International Symposium, 2002

Componentes Software en Linda, Un caso de estudio.
Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

Access Control Infrastructure for Digital Objects.
Proceedings of the Information and Communications Security, 4th International Conference, 2002

Secure Content Distribution for Digital Libraries.
Proceedings of the Digital Libraries: People, 2002

A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming.
Proceedings of the Computer Science Logic, 16th International Workshop, 2002

2001
Compatibility and inheritance in software architectures.
Sci. Comput. Program., 2001

Extending CORBA Interfaces with Protocols.
Comput. J., 2001

An Efficient Software Protection Scheme.
Proceedings of the Trusted Information: The New Decade Challenge, 2001

Deriving hard real-time embedded systems implementations directly from SDL specifications.
Proceedings of the Ninth International Symposium on Hardware/Software Codesign, 2001

2000
Proof-Theoretic Foundation of Hypothetical Reasoning.
Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

SDL and hard real time systems: new design and analyze techniques.
Proceedings of the SAM 2000, 2000

Una Metodología de Desarrollo Orientada a Objtos para Sistemas Empotrados de Tiempo Real.
Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000

1999
Specification and Refinement of Dynamic Software Architectures.
Proceedings of the Software Architecture, 1999

Synchronizing Java Threads Using Assertions.
Proceedings of the TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 1999

Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems.
Proceedings of the SDL '99 The Next Millennium, 1999

Resource Management in Linear Logic Search Revisited.
Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

Coordinación de Componentes Distribuidos: un Enfoque Generativo Basado en Arquitectura del Software.
Proceedings of the IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'99), 1999

Hypothetical Reasoning with Substructural Logics.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998
Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages.
Proceedings of the Computing in Object-Oriented Parallel Environments, 1998

1997
Modularity in Functional-Logic Programming.
Proceedings of the Logic Programming, 1997

Integrating an Entry Consistency Memory Model and Concurrent Object-Oriented Programming.
Proceedings of the Euro-Par '97 Parallel Processing, 1997

Applying Distributed Shared Memory Techniques for Implementing Distributed Objects.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

A Lazy Splitting System for Forum.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

Semantics for Modules in Functional-Logic Programming.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996
Design by Contract in Smalltalk.
J. Object Oriented Program., 1996

1995
Objects communication by extending the unification.
Proceedings of the 9th International Workshop on Unification, 1995

1994
DROL: A Distributed and Real-Time Object-Oriented Logic Environment.
Comput. J., 1994

Eiffel-like Assertions and Private Methods in Smalltalk.
Proceedings of the TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, 1994

Comunicacion entre objetos mediante la unificacion de canales logicos.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993
L2||O2: A Concurrent Object-oriented Logic Language.
Proceedings of the Logic Programming, 1993

Compositionality Issues of Concurrent Object-Oriented Logic Languages.
Proceedings of the PARLE '93, 1993

1992
A Declarative Environment for Distributed Programming.
Proceedings of the Algorithms, Software, Architecture, 1992

L2||O2: Operational and Declarative Semantics.
Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992


  Loading...