dblp.uni-trier.dewww.uni-trier.de

Ernesto Pimentel Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
82 Ernesto Pimentel: Integración de software: métodos formales para coordinar y adaptar componentes y servicios. CIbSE 2009
81EEJavier Cámara, Jose Antonio Martin, 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
80EEErnesto 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
79 Antonio Brogi, Francisco Gutiérrez, Pablo López, Ernesto Pimentel, Razvan Popescu: Modelado de sistemas P2P con control de excepciones. CIbSE 2008: 31-44
78EEJose Luis Pastrana, Ernesto Pimentel, Miguel Katrib: Composition of Self-Adapting Components for Customizable Systems. Comput. J. 51(4): 481-496 (2008)
77EEAntonio 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)
76EEErnesto Pimentel: Preface. Electr. Notes Theor. Comput. Sci. 206: 1-2 (2008)
75EEMarí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)
74EEJavier 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
73EEJavier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel: Context-Based Adaptation of Component Behavioural Interfaces. COORDINATION 2007: 305-323
72EEAntonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel: Dynamic Contextual Adaptation. Electr. Notes Theor. Comput. Sci. 175(2): 81-95 (2007)
71EEAntonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel: Preface. Electr. Notes Theor. Comput. Sci. 180(2): 1-2 (2007)
70EESilvia 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)
69EEAntonio Brogi, Carlos Canal, Ernesto Pimentel: Behavioural Types for Service Integration: Achievements and Challenges. Electr. Notes Theor. Comput. Sci. 180(2): 41-54 (2007)
68EEMarí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
66EESilvia Amaro, Ernesto Pimentel, Ana M. Roldán: Reo Based Interaction Model. Electr. Notes Theor. Comput. Sci. 160: 3-14 (2006)
65EEMarí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)
64EEAntonio Brogi, Carlos Canal, Ernesto Pimentel: On the semantics of software adaptation. Sci. Comput. Program. 61(2): 136-151 (2006)
63EEAntonio Brogi, Jean-Marie Jacquet, Jeff Kramer, Ernesto Pimentel: Preface. Sci. Comput. Program. 61(2): 73-74 (2006)
62EEAntonio Brogi, Carlos Canal, Ernesto Pimentel: Component adaptation through flexible subservicing. Sci. Comput. Program. 63(1): 39-56 (2006)
2005
61EEMarí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)
60EESilvia Amaro, Ernesto Pimentel, Ana M. Roldán: Coordinating Behavioral Descriptions of Components. J. UCS 11(10): 1676-1694 (2005)
59EEJuan 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)
58EEMarí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
57EEAntonio Brogi, Carlos Canal, Ernesto Pimentel: Behavioural Types and Component Adaptation. AMAST 2004: 42-56
56EEAntonio Brogi, Carlos Canal, Ernesto Pimentel: Measuring Component Adaptation. COORDINATION 2004: 71-86
55EEAntonio Brogi, Carlos Canal, Ernesto Pimentel, Antonio Vallecillo: Formalizing Web Service Choreographies. Electr. Notes Theor. Comput. Sci. 105: 73-94 (2004)
54EEAntonio 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)
53EEAntonio Brogi, Carlos Canal, Ernesto Pimentel: On the specification of software adaptation. Electr. Notes Theor. Comput. Sci. 97: 47-65 (2004)
52EEMarí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)
51EEAntonio 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)
50EEMarí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
48EEMarí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
46EEJosé 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)
45EEAna M. Roldán, Ernesto Pimentel, Antonio Brogi: Safe Composition of Linda-based Components. Electr. Notes Theor. Comput. Sci. 82(6): (2003)
44EEAntonio Brogi, Carlos Canal, Ernesto Pimentel: Soft component adaptation. Electr. Notes Theor. Comput. Sci. 85(3): (2003)
43EECarlos 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
40EEJoshua 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
39EEMariemma Inmaculada Yagüe del Valle, Antonio Mana, Javier Lopez, Ernesto Pimentel, José M. Troya: Secure Content Distribution for Digital Libraries. ICADL 2002: 483-494
38EEJavier 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
36EEMaría-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel: Refinement of LTL Formulas for Abstract Model Checking. SAS 2002: 395-410
35EEMaría-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel: alpha SPIN: Extending SPIN with Abstraction. SPIN 2002: 254-258
34EEJuan M. Molina-Bravo, Ernesto Pimentel: Composing Programs in a Rewriting Logic for Declarative Programming CoRR cs.LO/0203006: (2002)
33EEMarí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)
32EEAntonio Brogi, Ernesto Pimentel, Ana M. Roldán: Compatibility of Linda-based Component Interfaces. Electr. Notes Theor. Comput. Sci. 66(4): (2002)
31EEAntonio Brogi, Ernesto Pimentel: Preface. Electr. Notes Theor. Comput. Sci. 66(4): (2002)
30EEPablo 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)
29EEMarí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)
28EEMaría-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel: Debugging UML Designs with Model Checking. Journal of Object Technology 1(2): 101-117 (2002)
2001
27EEJosé 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
25EECarlos 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
18EEPablo 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-
16EEMiguel 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
14EEAntonio 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
11EEAntonio J. Nebro, Ernesto Pimentel, José M. Troya: Applying Distributed Shared Memory Techniques for Implementing Distributed Objects. ECOOP Workshops 1997: 499-506
10EEAntonio 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
3EEErnesto 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

Coauthor Index

1María Alpuente [58] [61] [65] [75]
2José Ambrosio Toval Álvarez [59]
3José M. Álvarez [17] [22] [23] [27] [42] [46]
4Silvia Amaro [60] [66] [70]
5Nieves R. Brisaboa [49]
6Antonio Brogi [31] [32] [44] [45] [53] [54] [55] [56] [57] [62] [63] [64] [69] [71] [72] [77] [79]
7Javier Cámara [72] [73] [81]
8Carlos Canal (Carlos Canal Velasco) [15] [19] [24] [25] [43] [44] [53] [55] [56] [57] [62] [64] [69] [72] [73] [74] [81]
9Manuela Carrillo-Castellon [6] [8]
10Javier Cubo [72] [73] [74] [81]
11Manuel Díaz (Manuel Diaz) [1] [5] [17] [22] [23] [27] [42] [46]
12F. J. Duran [7]
13Damian Fernandez [16]
14Lidia Fuentes [19] [25] [43]
15María-del-Mar Gallardo [28] [29] [33] [35] [36] [47] [48] [50] [52] [58] [61] [65] [67] [68] [75]
16Jaime Gómez [49]
17Francisco Gutiérrez [77] [79]
18Juan Hernández [59]
19Joshua S. Hodas [30] [40]
20Jean-Marie Jacquet [54] [63] [71] [80]
21Miguel Katrib [16] [78]
22Jeff Kramer [63]
23Luis Llopis [17] [22] [23] [27] [42] [46]
24Javier Lopez [38] [39] [51]
25Pablo López [13] [18] [20] [21] [30] [40] [77] [79]
26Antonio Maña (Antonio Mana) [26] [38] [39] [51]
27Jose Antonio Martin [81]
28Jesús Martínez [33] [35] [47] [48] [50] [67] [68]
29Pedro Merino [28] [29] [33] [35] [36] [47] [48] [50] [52] [67] [68]
30Jesús García Molina [6] [8]
31Juan M. Molina-Bravo [9] [12] [34] [41]
32Antonio J. Nebro [10] [11] [14]
33Pablo Nuñez [67] [68]
34Juan J. Ortega [51]
35Meriem Ouederni [81]
36Jose Luis Pastrana [78]
37Pascal Poizat [74]
38Jeff Polakow (Jeffrey Polakow) [30] [40]
39Razvan Popescu [77] [79]
40Israel Repiso [8]
41Ana M. Roldán [32] [37] [45] [60] [66] [70]
42Gwen Salaün [73] [74] [81]
43Lubomira Stoilova [30] [40]
44José M. Troya (José María Troya Linero) [1] [2] [3] [5] [7] [10] [11] [14] [15] [17] [19] [22] [23] [24] [25] [27] [38] [39] [42] [43] [46] [51]
45Mariemma Inmaculada Yagüe del Valle [38] [39]
46Antonio Vallecillo [25] [43] [55]
47Alicia Villanueva [58] [61] [65] [75]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)