| 2009 |
|---|
| 79 | | Ernesto Pimentel:
Integración de software: métodos formales para coordinar y adaptar componentes y servicios.
CIbSE 2009 |
| 2008 |
|---|
| 78 | EE | Jose Luis Pastrana,
Ernesto Pimentel,
Miguel Katrib:
Composition of Self-Adapting Components for Customizable Systems.
Comput. J. 51(4): 481-496 (2008) |
| 77 | EE | 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) |
| 76 | EE | Ernesto Pimentel:
Preface.
Electr. Notes Theor. Comput. Sci. 206: 1-2 (2008) |
| 75 | EE | 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) |
| 74 | EE | 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 |
|---|
| 73 | EE | Javier Cubo,
Gwen Salaün,
Javier Cámara,
Carlos Canal,
Ernesto Pimentel:
Context-Based Adaptation of Component Behavioural Interfaces.
COORDINATION 2007: 305-323 |
| 72 | EE | Antonio Brogi,
Javier Cámara,
Carlos Canal,
Javier Cubo,
Ernesto Pimentel:
Dynamic Contextual Adaptation.
Electr. Notes Theor. Comput. Sci. 175(2): 81-95 (2007) |
| 71 | EE | Antonio Brogi,
Jean-Marie Jacquet,
Ernesto Pimentel:
Preface.
Electr. Notes Theor. Comput. Sci. 180(2): 1-2 (2007) |
| 70 | EE | 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) |
| 69 | EE | Antonio Brogi,
Carlos Canal,
Ernesto Pimentel:
Behavioural Types for Service Integration: Achievements and Challenges.
Electr. Notes Theor. Comput. Sci. 180(2): 41-54 (2007) |
| 68 | EE | 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 |
|---|
| 67 | | 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 |
| 66 | EE | Silvia Amaro,
Ernesto Pimentel,
Ana M. Roldán:
Reo Based Interaction Model.
Electr. Notes Theor. Comput. Sci. 160: 3-14 (2006) |
| 65 | EE | 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) |
| 64 | EE | Antonio Brogi,
Carlos Canal,
Ernesto Pimentel:
On the semantics of software adaptation.
Sci. Comput. Program. 61(2): 136-151 (2006) |
| 63 | EE | Antonio Brogi,
Jean-Marie Jacquet,
Jeff Kramer,
Ernesto Pimentel:
Preface.
Sci. Comput. Program. 61(2): 73-74 (2006) |
| 62 | EE | Antonio Brogi,
Carlos Canal,
Ernesto Pimentel:
Component adaptation through flexible subservicing.
Sci. Comput. Program. 63(1): 39-56 (2006) |
| 2005 |
|---|
| 61 | EE | 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) |
| 60 | EE | Silvia Amaro,
Ernesto Pimentel,
Ana M. Roldán:
Coordinating Behavioral Descriptions of Components.
J. UCS 11(10): 1676-1694 (2005) |
| 59 | EE | 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) |
| 58 | EE | 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 |
|---|
| 57 | EE | Antonio Brogi,
Carlos Canal,
Ernesto Pimentel:
Behavioural Types and Component Adaptation.
AMAST 2004: 42-56 |
| 56 | EE | Antonio Brogi,
Carlos Canal,
Ernesto Pimentel:
Measuring Component Adaptation.
COORDINATION 2004: 71-86 |
| 55 | EE | Antonio Brogi,
Carlos Canal,
Ernesto Pimentel,
Antonio Vallecillo:
Formalizing Web Service Choreographies.
Electr. Notes Theor. Comput. Sci. 105: 73-94 (2004) |
| 54 | EE | 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) |
| 53 | EE | Antonio Brogi,
Carlos Canal,
Ernesto Pimentel:
On the specification of software adaptation.
Electr. Notes Theor. Comput. Sci. 97: 47-65 (2004) |
| 52 | EE | 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) |
| 51 | EE | 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) |
| 50 | EE | 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 |
|---|
| 49 | | 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 |
| 48 | EE | 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 |
| 47 | | María-del-Mar Gallardo,
Jesús Martínez,
Pedro Merino,
Ernesto Pimentel:
Applying Data Abstraction to XML Formal Designs.
SNPD 2003: 315-321 |
| 46 | EE | 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) |
| 45 | EE | Ana M. Roldán,
Ernesto Pimentel,
Antonio Brogi:
Safe Composition of Linda-based Components.
Electr. Notes Theor. Comput. Sci. 82(6): (2003) |
| 44 | EE | Antonio Brogi,
Carlos Canal,
Ernesto Pimentel:
Soft component adaptation.
Electr. Notes Theor. Comput. Sci. 85(3): (2003) |
| 43 | EE | 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) |
| 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 | EE | 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 | EE | 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 | EE | 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 | EE | María-del-Mar Gallardo,
Pedro Merino,
Ernesto Pimentel:
Refinement of LTL Formulas for Abstract Model Checking.
SAS 2002: 395-410 |
| 35 | EE | María-del-Mar Gallardo,
Jesús Martínez,
Pedro Merino,
Ernesto Pimentel:
alpha SPIN: Extending SPIN with Abstraction.
SPIN 2002: 254-258 |
| 34 | EE | Juan M. Molina-Bravo,
Ernesto Pimentel:
Composing Programs in a Rewriting Logic for Declarative Programming
CoRR cs.LO/0203006: (2002) |
| 33 | EE | 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 | EE | Antonio Brogi,
Ernesto Pimentel,
Ana M. Roldán:
Compatibility of Linda-based Component Interfaces.
Electr. Notes Theor. Comput. Sci. 66(4): (2002) |
| 31 | EE | Antonio Brogi,
Ernesto Pimentel:
Preface.
Electr. Notes Theor. Comput. Sci. 66(4): (2002) |
| 30 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |
