Ernesto Pimentel

168 papers A* 1A 1B 11C 10Misc 2Journal 49Unranked 83
YearRankTypeTitle / Venue / Authors
2024 J jnl
Continuous QoS-compliant orchestration in the Cloud-Edge continuum.
Softw. Pract. Exp.
Giuseppe Bisicchia, Stefano Forti, Ernesto Pimentel, Antonio Brogi
2023 J jnl
Continuous QoS-compliant Orchestration in the Cloud-Edge Continuum.
CoRR
Giuseppe Bisicchia, Stefano Forti, Ernesto Pimentel, Antonio Brogi
2023 — conf
Digital Avatars: An Application to eHealth.
ICWE Workshops
Rafael García-Luque, Ernesto Pimentel, Antonio Bandera
2023 J jnl
Integrating Citizens' Avatars in Urban Digital Twins.
J. Web Eng.
Rafael García-Luque, Lorenzo Toro-Gálvez, Nathalie Moreno, Javier Troya, Carlos Canal, Ernesto Pimentel
2023 J jnl
Location-aware scalable service composition.
Softw. Pract. Exp.
Nicolás Pozas, Francisco Durán, Katia Moreno Berrocal, Ernesto Pimentel
2023 — conf
Towards the Integration of Digital Avatars in Urban Digital Twins on the Cloud-to-Thing Continuum.
ICWE Workshops
Lorenzo Toro-Gálvez, Rafael García-Luque, Javier Troya, Carlos Canal, Ernesto Pimentel
2022 J jnl
Self-healing trans-cloud applications.
Computing
Antonio Brogi, Jose Carrasco, Francisco Durán, Ernesto Pimentel, Jacopo Soldani
2021 J jnl
A procedural and flexible approach for specification, modeling, definition, and analysis for self-adaptive systems.
Softw. Pract. Exp.
Patrícia Araújo de Oliveira, Francisco Durán, Ernesto Pimentel
2021 J jnl
Modelling digital avatars: A tuple space approach.
Sci. Comput. Program.
Alejandro Pérez-Vereda, Carlos Canal, Ernesto Pimentel
2021 J jnl
Preface to the Special Issue on Coordination and Self-Adaptiveness of Software Applications.
Sci. Comput. Program.
Ernesto Pimentel, Jacopo Soldani
2020 J jnl
Live migration of trans-cloud applications.
Comput. Stand. Interfaces
Jose Carrasco, Francisco Durán, Ernesto Pimentel
2019 — conf
A Formal Programming Framework for Digital Avatars.
SEFM Workshops
Alejandro Pérez-Vereda, Carlos Canal, Ernesto Pimentel
2019 — conf
A Programming Framework for People as a Service.
ICSOC Workshops
David Bandera, Alejandro Pérez-Vereda, Carlos Canal, Ernesto Pimentel
2019 C conf
One Step Towards Dynamically Programmable Things: an Implementation Using Beacons.
ISCC
David Bandera, Alejandro Pérez-Vereda, Carlos Canal, Ernesto Pimentel
2019 B conf
Robust Management of Trans-Cloud Applications.
CLOUD
Antonio Brogi, Jose Carrasco, Francisco Durán, Ernesto Pimentel, Jacopo Soldani
2018 — ch.
SMART-FI: Exploiting Open IoT Data from Smart Cities in the Future Internet Society.
Internet of Everything
Stefan Nastic, Javier Cubo, Malena Donato, Schahram Dustdar, Örjan Guthu. Mats Jonsson, Ömer Özdemir, Ernesto Pimentel, M. Serdar Yümlü
2018 J jnl
Trans-cloud: CAMP/TOSCA-based bidimensional cross-cloud.
Comput. Stand. Interfaces
Jose Carrasco, Francisco Durán, Ernesto Pimentel
2017 — conf
An Approach to Predictive Analysis of Self-Adaptive Systems in Design Time.
ICSOC Workshops
Patrícia Araújo de Oliveira, Francisco Durán, Ernesto Pimentel
2017 — conf
Component Migration in a Trans-cloud Environment.
CLOSER (Selected Papers)
Jose Carrasco, Francisco Durán, Ernesto Pimentel
2017 C conf
Component-wise Application Migration in Bidimensional Cross-cloud Environments.
CLOSER
Jose Carrasco, Francisco Durán, Ernesto Pimentel
2017 — conf
Runtime Migration of Applications in a Trans-Cloud Environment.
ICSOC Workshops
Jose Carrasco, Francisco Durán, Ernesto Pimentel
2017 — conf
Towards the Performance Analysis of Elastic Systems with e-Motions.
SEFM Workshops
Patrícia Araújo de Oliveira, Francisco Durán, Ernesto Pimentel
2017 — conf
Towards the Predictive Analysis of Cloud Systems with e-Motions.
CIbSE
Patrícia Araújo de Oliveira, Antonio Moreno-Delgado, Francisco Durán, Ernesto Pimentel
2016 B conf
Bidimensional Cross-Cloud Management with TOSCA and Brooklyn.
CLOUD
Jose Carrasco, Javier Cubo, Francisco Durán, Ernesto Pimentel
2016 — conf
Deployment over Heterogeneous Clouds with TOSCA and CAMP.
CLOSER (1)
Jose Carrasco, Javier Cubo, Ernesto Pimentel, Francisco Durán
2016 B conf
SeaClouds: An Open Reference Architecture for Multi-cloud Governance.
ECSA
Antonio Brogi, Jose Carrasco, Javier Cubo, Francesco D'Andria, Elisabetta Di Nitto, Michele Guerriero, Diego Pérez, Ernesto Pimentel, Jacopo Soldani
2016 — conf
Towards a Unified Management of Applications on Heterogeneous Clouds.
ESOCC Workshops
Jose Carrasco, Francisco Durán, Ernesto Pimentel
2015 J jnl
Adaptive management of applications across multiple clouds: The SeaClouds Approach.
CLEI Electron. J.
Antonio Brogi, Jose Carrasco, Javier Cubo, Elisabetta Di Nitto, Francisco Durán, Michela Fazzolari, Ahmad Ibrahim, Ernesto Pimentel, Jacopo Soldani, Pengwei Wang, Francesco D'Andria
2015 — ed.
Proceedings of the XVIII IberoAmerican Conference on Software Engineering, CIbSE 2015, Lima, Peru, Apr 22-24, 2015.
CIbSE
João Araújo, Nelly Condori-Fernández, Miguel Goulão, Santiago Matalonga, Nelly Bencomo, Toacy C. Oliveira, Jose Luis de la Vara, Isabel Sofia Brito, Leandro Antonelli, Ernesto Pimentel, Juan Jose Miranda, Marcos Kalinowski, Oscar Pastor, Luis Olsina, Renata S. S. Guizzardi, Sergio España, Ernesto Cuadros-Vargas
2015 — conf
Reconfiguration of Service Failures in DAMASCo Using Dynamic Software Product Lines.
SCC
Javier Cubo, Nadia Gámez, Ernesto Pimentel, Lidia Fuentes
2015 — conf
SeaClouds: Agile management of complex applications across multiple heterogeneous clouds.
STAF Projects Showcase
Dionysis Athanasopoulos, Miguel Barrientos, Leonardo Bartoloni, Antonio Brogi, Mattia Buccarella, Jose Carrasco, Javier Cubo, Francesco D'Andria, Elisabetta Di Nitto, Adrián Nieto, Marc Oriol, Ernesto Pimentel, Simone Zenzaro
2014 J jnl
A Cloud-Based Internet of Things Platform for Ambient Assisted Living.
Sensors
Javier Cubo, Adrián Nieto, Ernesto Pimentel
2014 J jnl
Automated Synthesis and Ranking of Secure BPMN Orchestrators.
Int. J. Secur. Softw. Eng.
Vincenzo Ciancia, José Antonio Martín, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Ernesto Pimentel
2014 B conf
Comparator: A Tool for Quantifying Behavioural Compatibility.
FASE
Meriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel
2014 J jnl
Dynamic Verification of Mashups of Service-Oriented Things through a Mediation Platform.
J. Univers. Comput. Sci.
Antonio Brogi, Javier Cubo, Laura González, Ernesto Pimentel, Raúl Ruggia
2014 C conf
EU Project SeaClouds - Adaptive Management of Service-based Applications Across Multiple Clouds.
CLOSER
Antonio Brogi, José Carrasco, Javier Cubo, Francesco D'Andria, Ahmad Ibrahim, Ernesto Pimentel, Jacopo Soldani
2014 J jnl
Introduction to the special issue from the European conference on service-oriented and cloud computing.
Serv. Oriented Comput. Appl.
Flavio De Paoli, Ernesto Pimentel
2014 — ch.
On the Synthesis of Secure Services Composition.
Engineering Secure Future Internet Services and Systems
José Antonio Martín, Fabio Martinelli, Ilaria Matteucci, Ernesto Pimentel, Mathieu Turuani
2014 — conf
SeaClouds: Seamless adaptive multi-cloud management of service-based applications.
CIbSE
Antonio Brogi, José Carrasco, Javier Cubo, Francesco D'Andria, Ahmad Ibrahim, Ernesto Pimentel, Jacopo Soldani
2014 J jnl
SeaClouds: a European project on seamless management of multi-cloud applications.
ACM SIGSOFT Softw. Eng. Notes
Antonio Brogi, Ahmad Ibrahim, Jacopo Soldani, José Carrasco, Javier Cubo, Ernesto Pimentel, Francesco D'Andria
2014 — conf
Towards a Flexible Deployment of Multi-cloud Applications Based on TOSCA and CAMP.
ESOCC Workshops
Jose Carrasco, Javier Cubo, Ernesto Pimentel
2014 — conf
Workshop on Seamless Adaptive Multi-cloud Management of Service-Based Applications (SeaCloudS): Preface.
ESOCC Workshops
Antonio Brogi, Ernesto Pimentel
2013 B conf
Automated Synthesis and Ranking of Secure BPMN Orchestrators.
ARES
Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, José Antonio Martín, Ernesto Pimentel
2013 C conf
Automated Throughput Optimization of Cloud Services via Model-driven Adaptation.
MODELSWARD
Javier Troya, Javier Cubo, José Antonio Martín, Ernesto Pimentel, Antonio Vallecillo
2013 B conf
Composition and Self-Adaptation of Service-Based Systems with Feature Models.
ICSR
Javier Cubo, Nadia Gámez, Lidia Fuentes, Ernesto Pimentel
2013 J jnl
Guest Editors' Foreword.
J. Log. Algebraic Methods Program.
Ernesto Pimentel, Valentín Valero
2013 — conf
Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things.
ESOCC Workshops
Laura González, Javier Cubo, Antonio Brogi, Ernesto Pimentel, Raúl Ruggia
2013 — ed.
Service-Oriented and Cloud Computing - Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings
ESOCC
Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel
2012 — conf
A tool for the synthesis of cryptographic orchestrators.
MDsec@MoDELS
Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, José Antonio Martín, Ernesto Pimentel
2012 — conf
Behaviour-Aware Compositions of Things.
GreenCom
Javier Cubo, Antonio Brogi, Ernesto Pimentel
2012 J jnl
Configuring a Context-Aware Middleware for Wireless Sensor Networks.
Sensors
Nadia Gámez, Javier Cubo, Lidia Fuentes, Ernesto Pimentel
2012 — conf
On the Service Discovery Using Context-Awareness, Semantic Matching and Behavioural Compatibility.
CSE
Javier Cubo, Ernesto Pimentel
2012 — ed.
Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings
ESOCC
Flavio De Paoli, Ernesto Pimentel, Gianluigi Zavattaro
2012 J jnl
Synthesis of secure adaptors.
J. Log. Algebraic Methods Program.
José Antonio Martín, Fabio Martinelli, Ernesto Pimentel
2012 — conf
Towards behaviour-aware compositions of things in the future internet.
WAS4FI-Mashups
Javier Cubo, Antonio Brogi, Ernesto Pimentel
2011 — conf
Client Update: A Solution for Service Evolution.
IEEE SCC
Meriem Ouederni, Gwen Salaün, Ernesto Pimentel
2011 J jnl
Context-Aware Composition and Adaptation based on Model Transformation.
J. Univers. Comput. Sci.
Javier Cubo, Carlos Canal, Ernesto Pimentel
2011 J jnl
Contracts for security adaptation.
J. Log. Algebraic Methods Program.
José Antonio Martín, Ernesto Pimentel
2011 B conf
DAMASCo: A Framework for the Automatic Composition of Component-Based and Service-Oriented Architectures.
ECSA
Javier Cubo, Ernesto Pimentel
2011 — conf
Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation.
FACS
José Antonio Martín, Antonio Brogi, Ernesto Pimentel
2011 Misc conf
Measuring the compatibility of service interaction protocols.
SAC
Meriem Ouederni, Gwen Salaün, Ernesto Pimentel
2011 J jnl
Model-Based Dependable Composition of Self-Adaptive Systems.
Informatica (Slovenia)
Javier Cubo, Carlos Canal, Ernesto Pimentel
2011 — conf
On the Formal Analysis of P2P Algorithms with aSMoL and Maude.
CIbSE
Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel
2011 — ed.
Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2011, Málaga, Spain, 22nd and 23rd September 2011.
FLACOS
Ernesto Pimentel, Valentín Valero
2011 J jnl
QoS-enabled and self-adaptive connectors for Web Services composition and coordination.
Comput. Lang. Syst. Struct.
Jose Luis Pastrana, Ernesto Pimentel, Miguel Katrib
2010 — conf
A Case Study in Model-Based Adaptation of Web Services.
ISoLA (2)
Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel
2010 — conf
Handling Data-Based Concurrency in Context-Aware Service Protocols
FOCLASA
Javier Cubo, Ernesto Pimentel, Gwen Salaün, Carlos Canal
2010 A conf
Quantifying Service Compatibility: A Step beyond the Boolean Approaches.
ICSOC
Meriem Ouederni, Gwen Salaün, Ernesto Pimentel
2010 — conf
Semi-Automatic Specification of Behavioural Service Adaptation Contracts.
FESCA@ETAPS
Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel
2009 — conf
A formal model and composition language for context-aware service protocols.
CASTA@ESEC/SIGSOFT FSE
Javier Cubo, Carlos Canal, Ernesto Pimentel, Gwen Salaün
2009 A* conf
ITACA: An integrated toolbox for the automatic composition and adaptation of Web services.
ICSE
Javier Cámara, José Antonio Martín, Gwen Salaün, Javier Cubo, Meriem Ouederni, Carlos Canal, Ernesto Pimentel
2009 — conf
Integración de software: métodos formales para coordinar y adaptar componentes y servicios.
CIbSE
Ernesto Pimentel
2009 J jnl
Software composition with Linda.
Comput. Lang. Syst. Struct.
Ana M. Roldán, Ernesto Pimentel, Antonio Brogi
2009 J jnl
Special issue on the 5th international workshop on foundations of coordination languages and software architectures (FOCLASA'06).
Sci. Comput. Program.
Ernesto Pimentel, Jean-Marie Jacquet
2008 C conf
A formalization of the SMEPP model in Maude.
MobiQuitous
Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel
2008 — conf
Automatic Generation of Adaptation Contracts.
FOCLASA@ICALP
José Antonio Martín, Ernesto Pimentel
2008 J jnl
Composition of Self-Adapting Components for Customizable Systems.
Comput. J.
Jose Luis Pastrana, Ernesto Pimentel, Miguel Katrib
2008 — conf
Dinapter: Automatic Adapter Specification for Software Composition.
PROLE
José Antonio Martín, Ernesto Pimentel
2008 — conf
Modelado de sistemas P2P con control de excepciones.
CIbSE
Antonio Brogi, Francisco Gutiérrez, Pablo López, Ernesto Pimentel, Razvan Popescu
2008 — ed.
Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, PROLE 2007, Zaragoza, Spain, September 12-14, 2007
PROLE
Ernesto Pimentel
2008 — conf
Towards a Model-Based Approach for Context-Aware Composition and Adaptation: A Case Study using WF/.NET.
MOMPES
Javier Cubo, Carlos Canal, Ernesto Pimentel
2007 — conf
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components.
FACS
Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat
2007 — conf
A Service-Oriented Model for Embedded Peer-to-Peer Systems.
FOCLASA
Antonio Brogi, Razvan Popescu, Francisco Gutiérrez, Pablo López, Ernesto Pimentel
2007 — conf
An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation.
PROLE
María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
2007 C conf
Context-Based Adaptation of Component Behavioural Interfaces.
COORDINATION
Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel
2007 J jnl
PiXL: Applying xml standards to support the integration of analysis tools for protocols.
Sci. Comput. Program.
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Núñez, Ernesto Pimentel
2007 — conf
Preface.
PROLE
Ernesto Pimentel
2007 — ed.
Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, FOCLASA 2004, London, UK, August 30, 2004
FOCLASA
Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel
2007 — conf
Un Perfil UML para la definición de Componentes Inteligentes.
CIbSE
Jose Luis Pastrana, Ernesto Pimentel, Miguel Katrib
2006 J jnl
Component adaptation through flexible subservicing.
Sci. Comput. Program.
Antonio Brogi, Carlos Canal, Ernesto Pimentel
2006 — conf
Dynamic Contextual Adaptation.
FOCLASA
Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel
2006 J jnl
On the Evolution of reliability Methods for Critical Software.
Trans. SDPS
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
2006 J jnl
On the semantics of software adaptation.
Sci. Comput. Program.
Antonio Brogi, Carlos Canal, Ernesto Pimentel
2006 — conf
PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols.
MSVVEIS
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Núñez, Ernesto Pimentel
2006 J jnl
Preface.
Sci. Comput. Program.
Antonio Brogi, Jean-Marie Jacquet, Jeff Kramer, Ernesto Pimentel
2006 — conf
Técnicas de Web Semántica para la Adaptación Dinámica de Componentes y Servicios.
CIbSE
Jose Luis Pastrana, Ernesto Pimentel, Miguel Katrib
2006 J jnl
Verifying Real-Time Properties of tccp Programs.
J. Univers. Comput. Sci.
María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
2005 J jnl
A semantic framework for the abstract model checking of tccp programs.
Theor. Comput. Sci.
María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
2005 — conf
Adaptación Automática de Componentes de Software.
CIbSE
Ernesto Pimentel
2005 — conf
Adaptación y Reutilización de Componentes Distribuidos.
CIbSE
Miguel Katrib, Jose Luis Pastrana, Ernesto Pimentel
2005 J jnl
Coordinating Behavioral Descriptions of Components.
J. Univers. Comput. Sci.
Silvia Amaro, Ernesto Pimentel, Ana M. Roldán
2005 — conf
Reo Based Interaction Model.
FACS
Silvia Amaro, Ernesto Pimentel, Ana M. Roldán
2005 J jnl
Report on the ninth conference on Software Engineering and Databases (JISBD 2004).
SIGMOD Rec.
Juan Hernández Núñez, Ernesto Pimentel, José Ambrosio Toval Álvarez
2004 — conf
A Preliminary Comparative Study on the Expressive Power of Reo and Linda.
FOCLASA
Silvia Amaro, Ernesto Pimentel, Ana M. Roldán
2004 J jnl
A framework for secure execution of software.
Int. J. Inf. Sec.
Antonio Mana, Javier López, Juan J. Ortega, Ernesto Pimentel, José M. Troya
2004 J jnl
A generalized semantics of PROMELA for abstract model checking.
Formal Aspects Comput.
María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel
2004 — conf
Abstract Model Checking of tccp programs.
QAPL
María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
2004 — conf
Behavioural Types and Component Adaptation.
AMAST
Antonio Brogi, Carlos Canal, Ernesto Pimentel
2004 — conf
Behavioural Types for Service Integration: Achievements and Challenges.
FOCLASA
Antonio Brogi, Carlos Canal, Ernesto Pimentel
2004 — conf
Formalizing Web Service Choreographies.
WSFM
Antonio Brogi, Carlos Canal, Ernesto Pimentel, Antonio Vallecillo
2004 C conf
Measuring Component Adaptation.
COORDINATION
Antonio Brogi, Carlos Canal, Ernesto Pimentel
2004 — conf
Preface.
FOCLASA
Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel
2004 — ed.
Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003, Marseille, France, September 2, 2003
FOCLASA
Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel
2004 J jnl
aSPIN: A tool for abstract model checking.
Int. J. Softw. Tools Technol. Transf.
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
2003 J jnl
A secure solution for commercial digital libraries.
Online Inf. Rev.
Mariemma Inmaculada Yagüe del Valle, Antonio Maña, Javier López, Ernesto Pimentel, José M. Troya
2003 — conf
Abstract Model Checking and Refinement of Temporal Logic in aSPIN.
ACSD
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
2003 J jnl
Adding Roles to CORBA Objects.
IEEE Trans. Software Eng.
Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo
2003 J jnl
An Object-oriented Methodology for Embedded Real-time Systems.
Comput. J.
José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya
2003 C conf
Applying Data Abstraction to XML Formal Designs.
SNPD
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
2003 J jnl
Composing Programs in a Rewriting Logic for Declarative Programming.
Theory Pract. Log. Program.
Juan M. Molina-Bravo, Ernesto Pimentel
2003 J jnl
Integrating Schedulability Analysis and Design Techniques in SD.
Real Time Syst.
José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya
2003 — conf
On the specification of software adaptation.
FOCLASA
Antonio Brogi, Carlos Canal, Ernesto Pimentel
2003 — conf
Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003.
FOCLASA
Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel
2003 — conf
Safe Composition of Linda-based Components.
TACoS
Ana M. Roldán, Ernesto Pimentel, Antonio Brogi
2003 — conf
Soft component adaptation.
SecCo
Antonio Brogi, Carlos Canal, Ernesto Pimentel
2003 — ed.
VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante
JISBD
Ernesto Pimentel, Nieves R. Brisaboa, Jaime Gómez
2002 B conf
A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming.
CSL
Joshua S. Hodas, Pablo López, Jeffrey Polakow, Lubomira Stoilova, Ernesto Pimentel
2002 C conf
A Tool for Abstraction in Model Checking.
FMICS
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
2002 C conf
Access Control Infrastructure for Digital Objects.
ICICS
Javier López, Antonio Mana, Ernesto Pimentel, José M. Troya, Mariemma Inmaculada Yagüe del Valle
2002 — conf
Comparing Under and Over-Approximations of LTL Properties for Model Checking.
WFLP
María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel
2002 — conf
Compatibility of Linda-based Component Interfaces.
Formal Methods and Component Interaction @ ICALP
Antonio Brogi, Ernesto Pimentel, Ana M. Roldán
2002 — conf
Componentes Software en Linda, Un caso de estudio.
JISBD
Ernesto Pimentel, Ana M. Roldán
2002 J jnl
Composing Programs in a Rewriting Logic for Declarative Programming
CoRR
Juan M. Molina-Bravo, Ernesto Pimentel
2002 J jnl
Debugging UML Designs with Model Checking.
J. Object Technol.
María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel
2002 — ed.
Formal Methods and Component Interaction 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12, 2002
Formal Methods and Component Interaction @ ICALP
Antonio Brogi, Ernesto Pimentel
2002 — conf
Isolating Resource Consumption in Linear Logic Proof Search.
LFM
Pablo López, Ernesto Pimentel, Joshua S. Hodas, Jeffrey Polakow, Lubomira Stoilova
2002 — conf
Preface.
Formal Methods and Component Interaction @ ICALP
Antonio Brogi, Ernesto Pimentel
2002 B conf
Refinement of LTL Formulas for Abstract Model Checking.
SAS
María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel
2002 — conf
Secure Content Distribution for Digital Libraries.
ICADL
Mariemma Inmaculada Yagüe del Valle, Antonio Mana, Javier López, Ernesto Pimentel, José M. Troya
2002 — conf
alpha SPIN: Extending SPIN with Abstraction.
SPIN
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
2001 Misc conf
An Efficient Software Protection Scheme.
SEC
Antonio Mana, Ernesto Pimentel
2001 J jnl
Compatibility and inheritance in software architectures.
Sci. Comput. Program.
Carlos Canal, Ernesto Pimentel, José M. Troya
2001 — conf
Deriving hard real-time embedded systems implementations directly from SDL specifications.
CODES
José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya
2001 J jnl
Extending CORBA Interfaces with Protocols.
Comput. J.
Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo
2000 — conf
Proof-Theoretic Foundation of Hypothetical Reasoning.
WFLP
Pablo López, Ernesto Pimentel
2000 — conf
SDL and hard real time systems: new design and analyze techniques.
SAM
José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya
2000 — conf
Una Metodología de Desarrollo Orientada a Objtos para Sistemas Empotrados de Tiempo Real.
JISBD
José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya
1999 — conf
Coordinación de Componentes Distribuidos: un Enfoque Generativo Basado en Arquitectura del Software.
JISBD
Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya
1999 — conf
Hypothetical Reasoning with Substructural Logics.
APPIA-GULP-PRODE
Pablo López, Ernesto Pimentel
1999 — conf
Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems.
SDL Forum
José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya
1999 B conf
Resource Management in Linear Logic Search Revisited.
LPAR
Pablo López, Ernesto Pimentel
1999 — conf
Specification and Refinement of Dynamic Software Architectures.
WICSA
Carlos Canal, Ernesto Pimentel, José M. Troya
1999 — conf
Synchronizing Java Threads Using Assertions.
TOOLS (31)
Miguel Katrib, Damián Fernández, Ernesto Pimentel
1998 — conf
Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages.
ISCOPE
Antonio J. Nebro, Ernesto Pimentel, José M. Troya
1997 — conf
A Lazy Splitting System for Forum.
APPIA-GULP-PRODE
Pablo López, Ernesto Pimentel
1997 — conf
Applying Distributed Shared Memory Techniques for Implementing Distributed Objects.
ECOOP Workshops
Antonio J. Nebro, Ernesto Pimentel, José M. Troya
1997 — conf
Integrating an Entry Consistency Memory Model and Concurrent Object-Oriented Programming.
Euro-Par
Antonio J. Nebro, Ernesto Pimentel, José M. Troya
1997 B conf
Modularity in Functional-Logic Programming.
ICLP
Juan M. Molina-Bravo, Ernesto Pimentel
1997 — conf
Semantics for Modules in Functional-Logic Programming.
APPIA-GULP-PRODE
Juan M. Molina-Bravo, Ernesto Pimentel
1996 J jnl
Design by Contract in Smalltalk.
J. Object Oriented Program.
Manuela Carrillo-Castellon, Jesús García Molina, Ernesto Pimentel, Israel Repiso
1995 — conf
Objects communication by extending the unification.
UNIF
Francisco J. Durán, Ernesto Pimentel
1994 — conf
Comunicacion entre objetos mediante la unificacion de canales logicos.
GULP-PRODE (2)
Francisco J. Durán, Ernesto Pimentel, José M. Troya
1994 J jnl
DROL: A Distributed and Real-Time Object-Oriented Logic Environment.
Comput. J.
Manuel Díaz, Ernesto Pimentel, José M. Troya
1994 — conf
Eiffel-like Assertions and Private Methods in Smalltalk.
TOOLS (13)
Manuela Carrillo-Castellon, Jesús García Molina, Ernesto Pimentel
1993 — conf
Compositionality Issues of Concurrent Object-Oriented Logic Languages.
PARLE
Ernesto Pimentel, José M. Troya
1993 — conf
L2||O2: A Concurrent Object-oriented Logic Language.
ILPS
Ernesto Pimentel
1992 — conf
A Declarative Environment for Distributed Programming.
IFIP Congress (1)
Manuel Díaz, Ernesto Pimentel, José M. Troya
1992 — conf
L2||O2: Operational and Declarative Semantics.
ALPUK
Ernesto Pimentel, José M. Troya