Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Ernesto Pimentel
2010 – today
- 2013
[j50]Ernesto Pimentel, Valentin Valero: Guest Editors' Foreword. J. Log. Algebr. Program. 82(5-7): 163 (2013)- [c54]Javier Cubo, Nadia Gámez, Lidia Fuentes, Ernesto Pimentel: Composition and Self-Adaptation of Service-Based Systems with Feature Models. ICSR 2013: 326-342
- [e4]Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel (Eds.): Service-Oriented and Cloud Computing - Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings. Lecture Notes in Computer Science 8135, Springer 2013, ISBN 978-3-642-40650-8
- 2012
- [c53]Javier Cubo, Ernesto Pimentel: On the Service Discovery Using Context-Awareness, Semantic Matching and Behavioural Compatibility. CSE 2012: 259-266
- [c52]Javier Cubo, Antonio Brogi, Ernesto Pimentel: Behaviour-Aware Compositions of Things. GreenCom 2012: 1-8
- [e3]Flavio De Paoli, Ernesto Pimentel, Gianluigi Zavattaro (Eds.): Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings. Lecture Notes in Computer Science 7592, Springer 2012, ISBN 978-3-642-33426-9
- 2011
- [j49]Jose Luis Pastrana, Ernesto Pimentel, Miguel Katrib: QoS-enabled and self-adaptive connectors for Web Services composition and coordination. Computer Languages, Systems & Structures 37(1): 2-23 (2011)
- [j48]Javier Cubo, Carlos Canal, Ernesto Pimentel: Context-Aware Composition and Adaptation based on Model Transformation. J. UCS 17(5): 777-806 (2011)
- [c51]Meriem Ouederni, Gwen Salaün, Ernesto Pimentel: Client Update: A Solution for Service Evolution. IEEE SCC 2011: 394-401
- [c50]Javier Cubo, Ernesto Pimentel: DAMASCo: A Framework for the Automatic Composition of Component-Based and Service-Oriented Architectures. ECSA 2011: 388-404
- [c49]José Antonio Martín, Antonio Brogi, Ernesto Pimentel: Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation. FACS 2011: 259-277
- [c48]Meriem Ouederni, Gwen Salaün, Ernesto Pimentel: Measuring the compatibility of service interaction protocols. SAC 2011: 1560-1567
- [e2]Ernesto Pimentel, Valentin Valero (Eds.): Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software. EPTCS 68, 2011
- 2010
- [j47]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. 264(1): 19-34 (2010)
- [c47]Meriem Ouederni, Gwen Salaün, Ernesto Pimentel: Quantifying Service Compatibility: A Step beyond the Boolean Approaches. ICSOC 2010: 619-626
- [c46]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 (2) 2010: 112-126
- [c45]Javier Cubo, Ernesto Pimentel, Gwen Salaün, Carlos Canal: Handling Data-Based Concurrency in Context-Aware Service Protocols. FOCLASA 2010: 62-77
2000 – 2009
- 2009
- [j46]Ana M. Roldán, Ernesto Pimentel, Antonio Brogi: Software composition with Linda. Computer Languages, Systems & Structures 35(4): 395-405 (2009)
- [j45]José Antonio Martín, Ernesto Pimentel: Automatic Generation of Adaptation Contracts. Electr. Notes Theor. Comput. Sci. 229(2): 115-131 (2009)
- [j44]José Antonio Martín, Ernesto Pimentel: Dinapter: Automatic Adapter Specification for Software Composition. Electr. Notes Theor. Comput. Sci. 248: 161-171 (2009)
- [j43]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)
- [c44]Ernesto Pimentel: Integración de software: métodos formales para coordinar y adaptar componentes y servicios. CIbSE 2009
- [c43]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
- 2008
- [j42]Jose Luis Pastrana, Ernesto Pimentel, Miguel Katrib: Composition of Self-Adapting Components for Customizable Systems. Comput. J. 51(4): 481-496 (2008)
- [j41]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)
- [j40]
- [j39]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)
- [j38]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)
- [c42]Antonio Brogi, Francisco Gutiérrez, Pablo López, Ernesto Pimentel, Razvan Popescu: Modelado de sistemas P2P con control de excepciones. CIbSE 2008: 31-44
- [c41]Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel: A formalization of the SMEPP model in Maude. MobiQuitous 2008
- [c40]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: 3-13
- 2007
- [j37]Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel: Dynamic Contextual Adaptation. Electr. Notes Theor. Comput. Sci. 175(2): 81-95 (2007)
- [j36]Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel: Preface. Electr. Notes Theor. Comput. Sci. 180(2): 1-2 (2007)
- [j35]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)
- [j34]Antonio Brogi, Carlos Canal, Ernesto Pimentel: Behavioural Types for Service Integration: Achievements and Challenges. Electr. Notes Theor. Comput. Sci. 180(2): 41-54 (2007)
- [j33]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)
- [c39]Jose Luis Pastrana, Ernesto Pimentel, Miguel Katrib: Un Perfil UML para la definición de Componentes Inteligentes. CIbSE 2007: 415-438
- [c38]Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel: Context-Based Adaptation of Component Behavioural Interfaces. COORDINATION 2007: 305-323
- 2006
- [j32]Silvia Amaro, Ernesto Pimentel, Ana M. Roldán: Reo Based Interaction Model. Electr. Notes Theor. Comput. Sci. 160: 3-14 (2006)
- [j31]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)
- [j30]Antonio Brogi, Jean-Marie Jacquet, Jeff Kramer, Ernesto Pimentel: Preface. Sci. Comput. Program. 61(2): 73-74 (2006)
- [j29]Antonio Brogi, Carlos Canal, Ernesto Pimentel: On the semantics of software adaptation. Sci. Comput. Program. 61(2): 136-151 (2006)
- [j28]Antonio Brogi, Carlos Canal, Ernesto Pimentel: Component adaptation through flexible subservicing. Sci. Comput. Program. 63(1): 39-56 (2006)
- [c37]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: 23-36
- [c36]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
- 2005
- [j27]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)
- [j26]Silvia Amaro, Ernesto Pimentel, Ana M. Roldán: Coordinating Behavioral Descriptions of Components. J. UCS 11(10): 1676-1694 (2005)
- [j25]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)
- [j24]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)
- [c35]
- [c34]Miguel Katrib, Jose Luis Pastrana, Ernesto Pimentel: Adaptación y Reutilización de Componentes Distribuidos. CIbSE 2005: 203-214
- 2004
- [j23]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)
- [j22]Antonio Brogi, Carlos Canal, Ernesto Pimentel: On the specification of software adaptation. Electr. Notes Theor. Comput. Sci. 97: 47-65 (2004)
- [j21]Antonio Brogi, Carlos Canal, Ernesto Pimentel, Antonio Vallecillo: Formalizing Web Service Choreographies. Electr. Notes Theor. Comput. Sci. 105: 73-94 (2004)
- [j20]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)
- [j19]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)
- [j18]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)
- [c33]Antonio Brogi, Carlos Canal, Ernesto Pimentel: Behavioural Types and Component Adaptation. AMAST 2004: 42-56
- [c32]Antonio Brogi, Carlos Canal, Ernesto Pimentel: Measuring Component Adaptation. COORDINATION 2004: 71-86
- 2003
- [j17]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)
- [j16]Ana M. Roldán, Ernesto Pimentel, Antonio Brogi: Safe Composition of Linda-based Components. Electr. Notes Theor. Comput. Sci. 82(6): 180-189 (2003)
- [j15]Antonio Brogi, Carlos Canal, Ernesto Pimentel: Soft component adaptation. Electr. Notes Theor. Comput. Sci. 85(3): 1-16 (2003)
- [j14]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 27(3): 147-159 (2003)
- [j13]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)
- [j12]Juan M. Molina-Bravo, Ernesto Pimentel: Composing Programs in a Rewriting Logic for Declarative Programming. TPLP 3(2): 189-221 (2003)
- [j11]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)
- [c31]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
- [c30]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel: Applying Data Abstraction to XML Formal Designs. SNPD 2003: 315-321
- [e1]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. 2003, ISBN 84-688-3836-5
- 2002
- [j10]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): 17-32 (2002)
- [j9]Antonio Brogi, Ernesto Pimentel, Ana M. Roldán: Compatibility of Linda-based Component Interfaces. Electr. Notes Theor. Comput. Sci. 66(4): 82-96 (2002)
- [j8]
- [j7]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): 1-10 (2002)
- [j6]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: 131-144 (2002)
- [j5]María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel: Debugging UML Designs with Model Checking. Journal of Object Technology 1(2): 101-117 (2002)
- [c29]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
- [c28]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
- [c27]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
- [c26]Ernesto Pimentel, Ana M. Roldán: Componentes Software en Linda, Un caso de estudio. JISBD 2002: 363-374
- [c25]María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel: Refinement of LTL Formulas for Abstract Model Checking. SAS 2002: 395-410
- [c24]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel: alpha SPIN: Extending SPIN with Abstraction. SPIN 2002: 254-258
- [i1]Juan M. Molina-Bravo, Ernesto Pimentel: Composing Programs in a Rewriting Logic for Declarative Programming. CoRR cs.LO/0203006 (2002)
- 2001
- [j4]Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo: Extending CORBA Interfaces with Protocols. Comput. J. 44(5): 448-462 (2001)
- [j3]Carlos Canal, Ernesto Pimentel, José M. Troya: Compatibility and inheritance in software architectures. Sci. Comput. Program. 41(2): 105-138 (2001)
- [c23]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
- [c22]
- 2000
- [c21]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
- [c20]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
- [c19]Pablo López, Ernesto Pimentel: Proof-Theoretic Foundation of Hypothetical Reasoning. WFLP 2000: 268-282
1990 – 1999
- 1999
- [c18]Pablo López, Ernesto Pimentel: Hypothetical Reasoning with Substructural Logics. APPIA-GULP-PRODE 1999: 485-496
- [c17]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
- [c16]Pablo López, Ernesto Pimentel: Resource Management in Linear Logic Search Revisited. LPAR 1999: 304-319
- [c15]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-
- [c14]Miguel Katrib, Damian Fernandez, Ernesto Pimentel: Synchronizing Java Threads Using Assertions. TOOLS (31) 1999: 51-60
- [c13]Carlos Canal, Ernesto Pimentel, José M. Troya: Specification and Refinement of Dynamic Software Architectures. WICSA 1999: 107-126
- 1998
- [c12]Antonio J. Nebro, Ernesto Pimentel, José M. Troya: Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages. ISCOPE 1998: 167-174
- 1997
- [c11]
- [c10]Juan M. Molina-Bravo, Ernesto Pimentel: Semantics for Modules in Functional-Logic Programming. APPIA-GULP-PRODE 1997: 259-270
- [c9]Antonio J. Nebro, Ernesto Pimentel, José M. Troya: Applying Distributed Shared Memory Techniques for Implementing Distributed Objects. ECOOP Workshops 1997: 499-506
- [c8]Antonio J. Nebro, Ernesto Pimentel, José M. Troya: Integrating an Entry Consistency Memory Model and Concurrent Object-Oriented Programming. Euro-Par 1997: 567-571
- [c7]Juan M. Molina-Bravo, Ernesto Pimentel: Modularity in Functional-Logic Programming. ICLP 1997: 183-197
- 1996
- [j2]Manuela Carrillo-Castellon, Jesús García Molina, Ernesto Pimentel, Israel Repiso: Design by Contract in Smalltalk. JOOP 9(7): 23-28 (1996)
- 1994
- [j1]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)
- [c6]F. J. Duran, Ernesto Pimentel, José M. Troya: Comunicacion entre objetos mediante la unificacion de canales logicos. GULP-PRODE (2) 1994: 147-160
- [c5]Manuela Carrillo-Castellon, Jesús García Molina, Ernesto Pimentel: Eiffel-like Assertions and Private Methods in Smalltalk. TOOLS (13) 1994: 479-488
- 1993
- [c4]Ernesto Pimentel, José M. Troya: Compositionality Issues of Concurrent Object-Oriented Logic Languages. PARLE 1993: 529-540
- [c3]
- 1992
- [c2]
- [c1]Manuel Díaz, Ernesto Pimentel, José M. Troya: A Declarative Environment for Distributed Programming. IFIP Congress (1) 1992: 163-169
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:03 CEST by the dblp team