| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Javier Cubo, Carlos Canal, Ernesto Pimentel |
Context-Aware Composition and Adaptation based on Model Transformation.  |
J. UCS  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ernesto Pimentel, Valentin Valero (eds.) |
Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software |
FLACOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jose Luis Pastrana, Ernesto Pimentel, Miguel Katrib |
QoS-enabled and self-adaptive connectors for Web Services composition and coordination. |
Computer Languages, Systems & Structures |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cubo, Ernesto Pimentel |
DAMASCo: A Framework for the Automatic Composition of Component-Based and Service-Oriented Architectures. |
ECSA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Meriem Ouederni, Gwen Salaün, Ernesto Pimentel |
Measuring the compatibility of service interaction protocols. |
SAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Meriem Ouederni, Gwen Salaün, Ernesto Pimentel |
Client Update: A Solution for Service Evolution. |
IEEE SCC |
2011 |
DBLP DOI BibTeX RDF |
Web Services, Services Composition |
| 1 | Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel |
Semi-Automatic Specification of Behavioural Service Adaptation Contracts. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cubo, Ernesto Pimentel, Gwen Salaün, Carlos Canal |
Handling Data-Based Concurrency in Context-Aware Service Protocols |
FOCLASA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Meriem Ouederni, Gwen Salaün, Ernesto Pimentel |
Quantifying Service Compatibility: A Step beyond the Boolean Approaches. |
ICSOC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | José Antonio Martín, Ernesto Pimentel |
Dinapter: Automatic Adapter Specification for Software Composition. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | José Antonio Martín, Ernesto Pimentel |
Automatic Generation of Adaptation Contracts. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana M. Roldán, Ernesto Pimentel, Antonio Brogi |
Software composition with Linda. |
Computer Languages, Systems & Structures |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernesto Pimentel |
Integración de software: métodos formales para coordinar y adaptar componentes y servicios. |
CIbSE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Antonio Brogi, Razvan Popescu, Francisco Gutiérrez, Pablo López, Ernesto Pimentel |
A Service-Oriented Model for Embedded Peer-to-Peer Systems. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat |
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernesto Pimentel |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jose Luis Pastrana, Ernesto Pimentel, Miguel Katrib |
Composition of Self-Adapting Components for Customizable Systems. |
Comput. J. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel |
A formalization of the SMEPP model in Maude. |
MobiQuitous |
2008 |
DBLP DOI BibTeX RDF |
peer-to-peer systems, formal semantics, automated verification, service-oriented models |
| 1 | Antonio Brogi, Francisco Gutiérrez, Pablo López, Ernesto Pimentel, Razvan Popescu |
Modelado de sistemas P2P con control de excepciones. |
CIbSE |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Nuñez, Ernesto Pimentel |
PiXL: Applying xml standards to support the integration of analysis tools for protocols. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel |
Dynamic Contextual Adaptation. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Amaro, Ernesto Pimentel, Ana M. Roldán |
A Preliminary Comparative Study on the Expressive Power of Reo and Linda. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel |
Behavioural Types for Service Integration: Achievements and Challenges. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel |
Context-Based Adaptation of Component Behavioural Interfaces. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jose Luis Pastrana, Ernesto Pimentel, Miguel Katrib |
Un Perfil UML para la definición de Componentes Inteligentes. |
CIbSE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel |
Component adaptation through flexible subservicing. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Jean-Marie Jacquet, Jeff Kramer, Ernesto Pimentel |
Preface. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel |
On the semantics of software adaptation. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva |
Verifying Real-Time Properties of tccp Programs. |
J. UCS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Silvia Amaro, Ernesto Pimentel, Ana M. Roldán |
Reo Based Interaction Model. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Nuñez, Ernesto Pimentel |
PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Amaro, Ernesto Pimentel, Ana M. Roldán |
Coordinating Behavioral Descriptions of Components. |
J. UCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva |
Abstract Model Checking of tccp programs. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Hernández, Ernesto Pimentel, José Ambrosio Toval Álvarez |
Report on the ninth conference on Software Engineering and Databases (JISBD 2004). |
SIGMOD Record |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Katrib, Jose Luis Pastrana, Ernesto Pimentel |
Adaptación y Reutilización de Componentes Distribuidos. |
CIbSE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ernesto Pimentel |
Adaptación Automática de Componentes de Software. |
CIbSE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Antonio Mana, Javier Lopez, Juan J. Ortega, Ernesto Pimentel, José M. Troya |
A framework for secure execution of software. |
Int. J. Inf. Sec. |
2004 |
DBLP DOI BibTeX RDF |
Smart cards, Information security, Software protection |
| 1 | María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel |
A generalized semantics of PROMELA for abstract model checking. |
Formal Asp. Comput. |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Abstraction, spin, Structured operational semantics, promela |
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel, Antonio Vallecillo |
Formalizing Web Service Choreographies. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel |
Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel |
On the specification of software adaptation. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel |
aSPIN: A tool for abstract model checking. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Verification, Temporal logic, Abstraction, Spin |
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel |
Behavioural Types and Component Adaptation. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel |
Measuring Component Adaptation. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo |
Adding Roles to CORBA Objects. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
compatibility and substitutability of components, protocols, software components, component-based software development, Interface definition languages |
| 1 | Mariemma Inmaculada Yagüe del Valle, Antonio Maña, Javier Lopez, Ernesto Pimentel, José M. Troya |
A secure solution for commercial digital libraries. |
Online Information Review |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Carlos Canal, Ernesto Pimentel |
Soft component adaptation. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana M. Roldán, Ernesto Pimentel, Antonio Brogi |
Safe Composition of Linda-based Components. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | José M. Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya |
Integrating Schedulability Analysis and Design Techniques in SD. |
Real-Time Systems |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | José M. Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya |
An Object-oriented Methodology for Embedded Real-time Systems. |
Comput. J. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan M. Molina-Bravo, Ernesto Pimentel |
Composing Programs in a Rewriting Logic for Declarative Programming. |
TPLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel |
Abstract Model Checking and Refinement of Temporal Logic in aSPIN. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel |
Applying Data Abstraction to XML Formal Designs. |
SNPD |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ernesto Pimentel, Nieves R. Brisaboa, Jaime Gómez (eds.) |
VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante |
JISBD |
2003 |
DBLP BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel |
Debugging UML Designs with Model Checking. |
Journal of Object Technology |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel |
Comparing Under and Over-Approximations of LTL Properties for Model Checking. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Ernesto Pimentel |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Brogi, Ernesto Pimentel, Ana M. Roldán |
Compatibility of Linda-based Component Interfaces. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo López, Ernesto Pimentel, Joshua S. Hodas, Jeffrey Polakow, Lubomira Stoilova |
Isolating Resource Consumption in Linear Logic Proof Search. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel |
A Tool for Abstraction in Model Checking. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan M. Molina-Bravo, Ernesto Pimentel |
Composing Programs in a Rewriting Logic for Declarative Programming |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Mariemma Inmaculada Yagüe del Valle, Antonio Mana, Javier Lopez, Ernesto Pimentel, José M. Troya |
Secure Content Distribution for Digital Libraries. |
ICADL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Lopez, Antonio Mana, Ernesto Pimentel, José M. Troya, Mariemma Inmaculada Yagüe del Valle |
Access Control Infrastructure for Digital Objects. |
ICICS |
2002 |
DBLP DOI BibTeX RDF |
secure content distribution, XML metadata, Privilege Management Infrastructure, Distributed systems security |
| 1 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel |
alpha SPIN: Extending SPIN with Abstraction. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel |
Refinement of LTL Formulas for Abstract Model Checking. |
SAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua S. Hodas, Pablo López, Jeffrey Polakow, Lubomira Stoilova, Ernesto Pimentel |
A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernesto Pimentel, Ana M. Roldán |
Componentes Software en Linda, Un caso de estudio. |
JISBD |
2002 |
DBLP BibTeX RDF |
|
| 1 | Carlos Canal, Ernesto Pimentel, José M. Troya |
Compatibility and inheritance in software architectures. |
Sci. Comput. Program. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo |
Extending CORBA Interfaces with Protocols. |
Comput. J. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Mana, Ernesto Pimentel |
An Efficient Software Protection Scheme. |
SEC |
2001 |
DBLP BibTeX RDF |
|
| 1 | José M. Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya |
Deriving hard real-time embedded systems implementations directly from SDL specifications. |
CODES |
2001 |
DBLP DOI BibTeX RDF |
scheduler, embedded system, real-time, SDL |
| 1 | José M. Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya |
SDL and hard real time systems: new design and analyze techniques. |
SAM |
2000 |
DBLP BibTeX RDF |
|
| 1 | Pablo López, Ernesto Pimentel |
Proof-Theoretic Foundation of Hypothetical Reasoning. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | José M. Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya |
Una Metodología de Desarrollo Orientada a Objtos para Sistemas Empotrados de Tiempo Real. |
JISBD |
2000 |
DBLP BibTeX RDF |
|
| 1 | Carlos Canal, Ernesto Pimentel, José M. Troya |
Specification and Refinement of Dynamic Software Architectures. |
WICSA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Miguel Katrib, Damian Fernandez, Ernesto Pimentel |
Synchronizing Java Threads Using Assertions. |
TOOLS |
1999 |
DBLP DOI BibTeX RDF |
Java, Concurrency, Synchronization, Object-Oriented, Assertions |
| 1 | Pablo López, Ernesto Pimentel |
Resource Management in Linear Logic Search Revisited. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
Lolli, Lazy Splitting, Logic Programming, Implementation, Linear Logic |
| 1 | Pablo López, Ernesto Pimentel |
Hypothetical Reasoning with Substructural Logics. |
APPIA-GULP-PRODE |
1999 |
DBLP BibTeX RDF |
|
| 1 | Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya |
Coordinación de Componentes Distribuidos: un Enfoque Generativo Basado en Arquitectura del Software. |
JISBD |
1999 |
DBLP BibTeX RDF |
|
| 1 | José M. Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya |
Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems. |
SDL Forum |
1999 |
DBLP BibTeX RDF |
|
| 1 | Antonio J. Nebro, Ernesto Pimentel, José M. Troya |
Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages. |
ISCOPE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio J. Nebro, Ernesto Pimentel, José M. Troya |
Integrating an Entry Consistency Memory Model and Concurrent Object-Oriented Programming. |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio J. Nebro, Ernesto Pimentel, José M. Troya |
Applying Distributed Shared Memory Techniques for Implementing Distributed Objects. |
ECOOP Workshops |
1997 |
DBLP BibTeX RDF |
|
| 1 | Pablo López, Ernesto Pimentel |
A Lazy Splitting System for Forum. |
APPIA-GULP-PRODE |
1997 |
DBLP BibTeX RDF |
|
| 1 | Juan M. Molina-Bravo, Ernesto Pimentel |
Semantics for Modules in Functional-Logic Programming. |
APPIA-GULP-PRODE |
1997 |
DBLP BibTeX RDF |
|
| 1 | Juan M. Molina-Bravo, Ernesto Pimentel |
Modularity in Functional-Logic Programming. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Manuela Carrillo-Castellon, Jesús García Molina, Ernesto Pimentel, Israel Repiso |
Design by Contract in Smalltalk. |
JOOP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Manuel Díaz, Ernesto Pimentel, José M. Troya |
DROL: A Distributed and Real-Time Object-Oriented Logic Environment. |
Comput. J. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuela Carrillo-Castellon, Jesús García Molina, Ernesto Pimentel |
Eiffel-like Assertions and Private Methods in Smalltalk. |
TOOLS |
1994 |
DBLP BibTeX RDF |
|
| 1 | F. J. Duran, Ernesto Pimentel, José M. Troya |
Comunicacion entre objetos mediante la unificacion de canales logicos. |
GULP-PRODE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Ernesto Pimentel, José M. Troya |
Compositionality Issues of Concurrent Object-Oriented Logic Languages. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernesto Pimentel |
L2||O2: A Concurrent Object-oriented Logic Language. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")