 | 2009 |
|---|
| 84 |       | Ernesto Pimentel:
Integración de software: métodos formales para coordinar y adaptar componentes y servicios.
CIbSE 2009 |
| 83 |  | 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: 627-630 |
| 82 | | José Antonio Martín,
Ernesto Pimentel:
Dinapter: Automatic Adapter Specification for Software Composition.
Electr. Notes Theor. Comput. Sci. 248: 161-171 (2009) |
| 81 | | 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): 669-670 (2009) |
| 2008 |
|---|
| 80 | | Antonio Brogi,
Francisco Gutiérrez,
Pablo López,
Ernesto Pimentel,
Razvan Popescu:
Modelado de sistemas P2P con control de excepciones.
CIbSE 2008: 31-44 |
| 79 | | Jose Luis Pastrana,
Ernesto Pimentel,
Miguel Katrib:
Composition of Self-Adapting Components for Customizable Systems.
Comput. J. 51(4): 481-496 (2008) |
| 78 | | 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. 194(4): 5-22 (2008) |
| 77 | | Ernesto Pimentel:
Preface.
Electr. Notes Theor. Comput. Sci. 206: 1-2 (2008) |
| 76 | | 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. 206: 3-21 (2008) |
| 75 | | 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. 215: 39-55 (2008) |
| 2007 |
|---|
| 74 | | Javier Cubo,
Gwen Salaün,
Javier Cámara,
Carlos Canal,
Ernesto Pimentel:
Context-Based Adaptation of Component Behavioural Interfaces.
COORDINATION 2007: 305-323 |
| 73 | | Antonio Brogi,
Javier Cámara,
Carlos Canal,
Javier Cubo,
Ernesto Pimentel:
Dynamic Contextual Adaptation.
Electr. Notes Theor. Comput. Sci. 175(2): 81-95 (2007) |
| 72 | | Antonio Brogi,
Jean-Marie Jacquet,
Ernesto Pimentel:
Preface.
Electr. Notes Theor. Comput. Sci. 180(2): 1-2 (2007) |
| 71 | | 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. 180(2): 3-19 (2007) |
| 70 | | Antonio Brogi,
Carlos Canal,
Ernesto Pimentel:
Behavioural Types for Service Integration: Achievements and Challenges.
Electr. Notes Theor. Comput. Sci. 180(2): 41-54 (2007) |
| 69 | | 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. 65(1): 57-69 (2007) |
| 2006 |
|---|
| 68 | | 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: 57-66 |
| 67 | | Silvia Amaro,
Ernesto Pimentel,
Ana M. Roldán:
Reo Based Interaction Model.
Electr. Notes Theor. Comput. Sci. 160: 3-14 (2006) |
| 66 | | María Alpuente,
María-del-Mar Gallardo,
Ernesto Pimentel,
Alicia Villanueva:
Verifying Real-Time Properties of tccp Programs.
J. UCS 12(11): 1551-1573 (2006) |
| 65 | | Antonio Brogi,
Carlos Canal,
Ernesto Pimentel:
On the semantics of software adaptation.
Sci. Comput. Program. 61(2): 136-151 (2006) |
| 64 | | Antonio Brogi,
Jean-Marie Jacquet,
Jeff Kramer,
Ernesto Pimentel:
Preface.
Sci. Comput. Program. 61(2): 73-74 (2006) |
| 63 | | Antonio Brogi,
Carlos Canal,
Ernesto Pimentel:
Component adaptation through flexible subservicing.
Sci. Comput. Program. 63(1): 39-56 (2006) |
| 2005 |
|---|
| 62 | | María Alpuente,
María-del-Mar Gallardo,
Ernesto Pimentel,
Alicia Villanueva:
Abstract Model Checking of tccp programs.
Electr. Notes Theor. Comput. Sci. 112: 19-36 (2005) |
| 61 | | Silvia Amaro,
Ernesto Pimentel,
Ana M. Roldán:
Coordinating Behavioral Descriptions of Components.
J. UCS 11(10): 1676-1694 (2005) |
| 60 | | Juan Hernández,
Ernesto Pimentel,
José Ambrosio Toval Álvarez:
Report on the ninth conference on Software Engineering and Databases (JISBD 2004).
SIGMOD Record 34(2): 59-61 (2005) |
| 59 | | 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): 58-95 (2005) |
| 2004 |
|---|
| 58 | | Antonio Brogi,
Carlos Canal,
Ernesto Pimentel:
Behavioural Types and Component Adaptation.
AMAST 2004: 42-56 |
| 57 | | Antonio Brogi,
Carlos Canal,
Ernesto Pimentel:
Measuring Component Adaptation.
COORDINATION 2004: 71-86 |
| 56 | | Antonio Brogi,
Carlos Canal,
Ernesto Pimentel,
Antonio Vallecillo:
Formalizing Web Service Choreographies.
Electr. Notes Theor. Comput. Sci. 105: 73-94 (2004) |
| 55 | | 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. 97: 1-2 (2004) |
| 54 | | Antonio Brogi,
Carlos Canal,
Ernesto Pimentel:
On the specification of software adaptation.
Electr. Notes Theor. Comput. Sci. 97: 47-65 (2004) |
| 53 | | María-del-Mar Gallardo,
Pedro Merino,
Ernesto Pimentel:
A generalized semantics of PROMELA for abstract model checking.
Formal Asp. Comput. 16(3): 166-193 (2004) |
| 52 | | Antonio Mana,
Javier Lopez,
Juan J. Ortega,
Ernesto Pimentel,
José M. Troya:
A framework for secure execution of software.
Int. J. Inf. Sec. 3(2): 99-112 (2004) |
| 51 | | María-del-Mar Gallardo,
Jesús Martínez,
Pedro Merino,
Ernesto Pimentel:
aSPIN: A tool for abstract model checking.
STTT 5(2-3): 165-184 (2004) |
| 2003 |
|---|
| 50 | | Ernesto Pimentel,
Nieves R. Brisaboa,
Jaime Gómez:
VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante
JISBD 2003 |
| 49 | | 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: 245-246 |
| 48 | | María-del-Mar Gallardo,
Jesús Martínez,
Pedro Merino,
Ernesto Pimentel:
Applying Data Abstraction to XML Formal Designs.
SNPD 2003: 315-321 |
| 47 | | José M. Álvarez,
Manuel Díaz,
Luis Llopis,
Ernesto Pimentel,
José M. Troya:
An Object-oriented Methodology for Embedded Real-time Systems.
Comput. J. 46(2): 123-145 (2003) |
| 46 | | Ana M. Roldán,
Ernesto Pimentel,
Antonio Brogi:
Safe Composition of Linda-based Components.
Electr. Notes Theor. Comput. Sci. 82(6): (2003) |
| 45 | | Antonio Brogi,
Carlos Canal,
Ernesto Pimentel:
Soft component adaptation.
Electr. Notes Theor. Comput. Sci. 85(3): (2003) |
| 44 | | Carlos Canal,
Lidia Fuentes,
Ernesto Pimentel,
José M. Troya,
Antonio Vallecillo:
Adding Roles to CORBA Objects.
IEEE Trans. Software Eng. 29(3): 242-260 (2003) |
| 43 | | Mariemma Inmaculada Yagüe del Valle,
Antonio Maña,
Javier López,
Ernesto Pimentel,
José M. Troya:
A secure solution for commercial digital libraries.
Online Information Review 27(3): 147-159 (2003) |
| 42 | | José M. Álvarez,
Manuel Díaz,
Luis Llopis,
Ernesto Pimentel,
José M. Troya:
Integrating Schedulability Analysis and Design Techniques in SD.
Real-Time Systems 24(3): 267-302 (2003) |
| 41 | | Juan M. Molina-Bravo,
Ernesto Pimentel:
Composing Programs in a Rewriting Logic for Declarative Programming.
TPLP 3(2): 189-221 (2003) |
| 2002 |
|---|
| 40 | | 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: 167-182 |
| 39 | | Mariemma Inmaculada Yagüe del Valle,
Antonio Mana,
Javier Lopez,
Ernesto Pimentel,
José M. Troya:
Secure Content Distribution for Digital Libraries.
ICADL 2002: 483-494 |
| 38 | | Javier Lopez,
Antonio Mana,
Ernesto Pimentel,
José M. Troya,
Mariemma Inmaculada Yagüe del Valle:
Access Control Infrastructure for Digital Objects.
ICICS 2002: 399-410 |
| 37 | | Ernesto Pimentel,
Ana M. Roldán:
Componentes Software en Linda, Un caso de estudio.
JISBD 2002: 363-374 |
| 36 | | María-del-Mar Gallardo,
Pedro Merino,
Ernesto Pimentel:
Refinement of LTL Formulas for Abstract Model Checking.
SAS 2002: 395-410 |
| 35 | | María-del-Mar Gallardo,
Jesús Martínez,
Pedro Merino,
Ernesto Pimentel:
alpha SPIN: Extending SPIN with Abstraction.
SPIN 2002: 254-258 |
| 34 | | Juan M. Molina-Bravo,
Ernesto Pimentel:
Composing Programs in a Rewriting Logic for Declarative Programming
CoRR cs.LO/0203006: (2002) |
| 33 | | 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. 66(2): (2002) |
| 32 | | Antonio Brogi,
Ernesto Pimentel,
Ana M. Roldán:
Compatibility of Linda-based Component Interfaces.
Electr. Notes Theor. Comput. Sci. 66(4): (2002) |
| 31 | | Antonio Brogi,
Ernesto Pimentel:
Preface.
Electr. Notes Theor. Comput. Sci. 66(4): (2002) |
| 30 | | 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. 70(2): (2002) |
| 29 | | 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. 76: (2002) |
| 28 | | María-del-Mar Gallardo,
Pedro Merino,
Ernesto Pimentel:
Debugging UML Designs with Model Checking.
Journal of Object Technology 1(2): 101-117 (2002) |
| 2001 |
|---|
| 27 | | 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: 128-133 |
| 26 | | Antonio Mana,
Ernesto Pimentel:
An Efficient Software Protection Scheme.
SEC 2001: 385-402 |
| 25 | | Carlos Canal,
Lidia Fuentes,
Ernesto Pimentel,
José M. Troya,
Antonio Vallecillo:
Extending CORBA Interfaces with Protocols.
Comput. J. 44(5): 448-462 (2001) |
| 24 | | Carlos Canal,
Ernesto Pimentel,
José M. Troya:
Compatibility and inheritance in software architectures.
Sci. Comput. Program. 41(2): 105-138 (2001) |
| 2000 |
|---|
| 23 | | 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: 229-240 |
| 22 | | 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: 92-107 |
| 21 | | Pablo López,
Ernesto Pimentel:
Proof-Theoretic Foundation of Hypothetical Reasoning.
WFLP 2000: 268-282 |
| 1999 |
|---|
| 20 | | Pablo López,
Ernesto Pimentel:
Hypothetical Reasoning with Substructural Logics.
APPIA-GULP-PRODE 1999: 485-496 |
| 19 | | Carlos Canal,
Lidia Fuentes,
Ernesto Pimentel,
José M. Troya:
Coordinación de Componentes Distribuidos: un Enfoque Generativo Basado en Arquitectura del Software.
JISBD 1999: 443-454 |
| 18 | | Pablo López,
Ernesto Pimentel:
Resource Management in Linear Logic Search Revisited.
LPAR 1999: 304-319 |
| 17 | | 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: 241- |
| 16 | | Miguel Katrib,
Damian Fernandez,
Ernesto Pimentel:
Synchronizing Java Threads Using Assertions.
TOOLS (31) 1999: 51-60 |
| 15 | | Carlos Canal,
Ernesto Pimentel,
José M. Troya:
Specification and Refinement of Dynamic Software Architectures.
WICSA 1999: 107-126 |
| 1998 |
|---|
| 14 | | Antonio J. Nebro,
Ernesto Pimentel,
José M. Troya:
Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages.
ISCOPE 1998: 167-174 |
| 1997 |
|---|
| 13 | | Pablo López,
Ernesto Pimentel:
A Lazy Splitting System for Forum.
APPIA-GULP-PRODE 1997: 247-258 |
| 12 | | Juan M. Molina-Bravo,
Ernesto Pimentel:
Semantics for Modules in Functional-Logic Programming.
APPIA-GULP-PRODE 1997: 259-270 |
| 11 | | Antonio J. Nebro,
Ernesto Pimentel,
José M. Troya:
Applying Distributed Shared Memory Techniques for Implementing Distributed Objects.
ECOOP Workshops 1997: 499-506 |
| 10 | | Antonio J. Nebro,
Ernesto Pimentel,
José M. Troya:
Integrating an Entry Consistency Memory Model and Concurrent Object-Oriented Programming.
Euro-Par 1997: 567-571 |
| 9 | | Juan M. Molina-Bravo,
Ernesto Pimentel:
Modularity in Functional-Logic Programming.
ICLP 1997: 183-197 |
| 1996 |
|---|
| 8 | | Manuela Carrillo-Castellon,
Jesús García Molina,
Ernesto Pimentel,
Israel Repiso:
Design by Contract in Smalltalk.
JOOP 9(7): 23-28 (1996) |
| 1994 |
|---|
| 7 | | F. J. Duran,
Ernesto Pimentel,
José M. Troya:
Comunicacion entre objetos mediante la unificacion de canales logicos.
GULP-PRODE (2) 1994: 147-160 |
| 6 | | Manuela Carrillo-Castellon,
Jesús García Molina,
Ernesto Pimentel:
Eiffel-like Assertions and Private Methods in Smalltalk.
TOOLS (13) 1994: 479-488 |
| 5 | | Manuel Díaz,
Ernesto Pimentel,
José M. Troya:
DROL: A Distributed and Real-Time Object-Oriented Logic Environment.
Comput. J. 37(5): 407-421 (1994) |
| 1993 |
|---|
| 4 | | Ernesto Pimentel:
L2||O2: A Concurrent Object-oriented Logic Language.
ILPS 1993: 665 |
| 3 | | Ernesto Pimentel,
José M. Troya:
Compositionality Issues of Concurrent Object-Oriented Logic Languages.
PARLE 1993: 529-540 |
| 1992 |
|---|
| 2 | | Ernesto Pimentel,
José M. Troya:
L2||O2: Operational and Declarative Semantics.
ALPUK 1992: 174-188 |
| 1 | | Manuel Díaz,
Ernesto Pimentel,
José M. Troya:
A Declarative Environment for Distributed Programming.
IFIP Congress (1) 1992: 163-169 |
