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 |