Ernesto Pimentel

Javier Cubo, Ernesto Pimentel: On the Service Discovery Using Context-Awareness, Semantic Matching and Behavioural Compatibility. CSE 2012: 259-266

Javier Cubo, Antonio Brogi, Ernesto Pimentel: Behaviour-Aware Compositions of Things. GreenCom 2012: 1-8

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

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)

Javier Cubo, Carlos Canal, Ernesto Pimentel: Context-Aware Composition and Adaptation based on Model Transformation. J. UCS 17(5): 777-806 (2011)

Meriem Ouederni, Gwen Salaün, Ernesto Pimentel: Client Update: A Solution for Service Evolution. IEEE SCC 2011: 394-401

Javier Cubo, Ernesto Pimentel: DAMASCo: A Framework for the Automatic Composition of Component-Based and Service-Oriented Architectures. ECSA 2011: 388-404

José Antonio Martín, Antonio Brogi, Ernesto Pimentel: Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation. FACS 2011: 259-277

Meriem Ouederni, Gwen Salaün, Ernesto Pimentel: Measuring the compatibility of service interaction protocols. SAC 2011: 1560-1567

Ernesto Pimentel, Valentin Valero (Eds.): Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software. EPTCS 68, 2011

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)

Meriem Ouederni, Gwen Salaün, Ernesto Pimentel: Quantifying Service Compatibility: A Step beyond the Boolean Approaches. ICSOC 2010: 619-626

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

Javier Cubo, Ernesto Pimentel, Gwen Salaün, Carlos Canal: Handling Data-Based Concurrency in Context-Aware Service Protocols. FOCLASA 2010: 62-77

Ana M. Roldán, Ernesto Pimentel, Antonio Brogi: Software composition with Linda. Computer Languages, Systems & Structures 35(4): 395-405 (2009)

José Antonio Martín, Ernesto Pimentel: Automatic Generation of Adaptation Contracts. Electr. Notes Theor. Comput. Sci. 229(2): 115-131 (2009)

José Antonio Martín, Ernesto Pimentel: Dinapter: Automatic Adapter Specification for Software Composition. Electr. Notes Theor. Comput. Sci. 248: 161-171 (2009)

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)

Ernesto Pimentel: Integración de software: métodos formales para coordinar y adaptar componentes y servicios. CIbSE 2009

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

Jose Luis Pastrana, Ernesto Pimentel, Miguel Katrib: Composition of Self-Adapting Components for Customizable Systems. Comput. J. 51(4): 481-496 (2008)

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)

Ernesto Pimentel: Preface. Electr. Notes Theor. Comput. Sci. 206: 1-2 (2008)

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)

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)

Antonio Brogi, Francisco Gutiérrez, Pablo López, Ernesto Pimentel, Razvan Popescu: Modelado de sistemas P2P con control de excepciones. CIbSE 2008: 31-44

Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel: A formalization of the SMEPP model in Maude. MobiQuitous 2008

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

Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel: Dynamic Contextual Adaptation. Electr. Notes Theor. Comput. Sci. 175(2): 81-95 (2007)

Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel: Preface. Electr. Notes Theor. Comput. Sci. 180(2): 1-2 (2007)

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)

Antonio Brogi, Carlos Canal, Ernesto Pimentel: Behavioural Types for Service Integration: Achievements and Challenges. Electr. Notes Theor. Comput. Sci. 180(2): 41-54 (2007)

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)

Jose Luis Pastrana, Ernesto Pimentel, Miguel Katrib: Un Perfil UML para la definición de Componentes Inteligentes. CIbSE 2007: 415-438

Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel: Context-Based Adaptation of Component Behavioural Interfaces. COORDINATION 2007: 305-323

Silvia Amaro, Ernesto Pimentel, Ana M. Roldán: Reo Based Interaction Model. Electr. Notes Theor. Comput. Sci. 160: 3-14 (2006)

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)

Antonio Brogi, Jean-Marie Jacquet, Jeff Kramer, Ernesto Pimentel: Preface. Sci. Comput. Program. 61(2): 73-74 (2006)

Antonio Brogi, Carlos Canal, Ernesto Pimentel: On the semantics of software adaptation. Sci. Comput. Program. 61(2): 136-151 (2006)

Antonio Brogi, Carlos Canal, Ernesto Pimentel: Component adaptation through flexible subservicing. Sci. Comput. Program. 63(1): 39-56 (2006)

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

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

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)

Silvia Amaro, Ernesto Pimentel, Ana M. Roldán: Coordinating Behavioral Descriptions of Components. J. UCS 11(10): 1676-1694 (2005)

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)

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)

Ernesto Pimentel: Adaptación Automática de Componentes de Software. CIbSE 2005: 15

Miguel Katrib, Jose Luis Pastrana, Ernesto Pimentel: Adaptación y Reutilización de Componentes Distribuidos. CIbSE 2005: 203-214

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)

Antonio Brogi, Carlos Canal, Ernesto Pimentel: On the specification of software adaptation. Electr. Notes Theor. Comput. Sci. 97: 47-65 (2004)

Antonio Brogi, Carlos Canal, Ernesto Pimentel, Antonio Vallecillo: Formalizing Web Service Choreographies. Electr. Notes Theor. Comput. Sci. 105: 73-94 (2004)

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)

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)

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)

Antonio Brogi, Carlos Canal, Ernesto Pimentel: Behavioural Types and Component Adaptation. AMAST 2004: 42-56

Antonio Brogi, Carlos Canal, Ernesto Pimentel: Measuring Component Adaptation. COORDINATION 2004: 71-86

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)

Ana M. Roldán, Ernesto Pimentel, Antonio Brogi: Safe Composition of Linda-based Components. Electr. Notes Theor. Comput. Sci. 82(6): 180-189 (2003)

Antonio Brogi, Carlos Canal, Ernesto Pimentel: Soft component adaptation. Electr. Notes Theor. Comput. Sci. 85(3): 1-16 (2003)

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)

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)

Juan M. Molina-Bravo, Ernesto Pimentel: Composing Programs in a Rewriting Logic for Declarative Programming. TPLP 3(2): 189-221 (2003)

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)

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

María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel: Applying Data Abstraction to XML Formal Designs. SNPD 2003: 315-321

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

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)

Antonio Brogi, Ernesto Pimentel, Ana M. Roldán: Compatibility of Linda-based Component Interfaces. Electr. Notes Theor. Comput. Sci. 66(4): 82-96 (2002)

Antonio Brogi, Ernesto Pimentel: Preface. Electr. Notes Theor. Comput. Sci. 66(4): 134 (2002)

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)

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)

María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel: Debugging UML Designs with Model Checking. Journal of Object Technology 1(2): 101-117 (2002)

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

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

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

Ernesto Pimentel, Ana M. Roldán: Componentes Software en Linda, Un caso de estudio. JISBD 2002: 363-374

María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel: Refinement of LTL Formulas for Abstract Model Checking. SAS 2002: 395-410

María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel: alpha SPIN: Extending SPIN with Abstraction. SPIN 2002: 254-258

Juan M. Molina-Bravo, Ernesto Pimentel: Composing Programs in a Rewriting Logic for Declarative Programming. CoRR cs.LO/0203006 (2002)

Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo: Extending CORBA Interfaces with Protocols. Comput. J. 44(5): 448-462 (2001)

Carlos Canal, Ernesto Pimentel, José M. Troya: Compatibility and inheritance in software architectures. Sci. Comput. Program. 41(2): 105-138 (2001)

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

Antonio Mana, Ernesto Pimentel: An Efficient Software Protection Scheme. SEC 2001: 385-402

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

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

Pablo López, Ernesto Pimentel: Proof-Theoretic Foundation of Hypothetical Reasoning. WFLP 2000: 268-282

Pablo López, Ernesto Pimentel: Hypothetical Reasoning with Substructural Logics. APPIA-GULP-PRODE 1999: 485-496

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

Pablo López, Ernesto Pimentel: Resource Management in Linear Logic Search Revisited. LPAR 1999: 304-319

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-

Miguel Katrib, Damian Fernandez, Ernesto Pimentel: Synchronizing Java Threads Using Assertions. TOOLS (31) 1999: 51-60

Carlos Canal, Ernesto Pimentel, José M. Troya: Specification and Refinement of Dynamic Software Architectures. WICSA 1999: 107-126

Antonio J. Nebro, Ernesto Pimentel, José M. Troya: Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages. ISCOPE 1998: 167-174

Pablo López, Ernesto Pimentel: A Lazy Splitting System for Forum. APPIA-GULP-PRODE 1997: 247-258

Juan M. Molina-Bravo, Ernesto Pimentel: Semantics for Modules in Functional-Logic Programming. APPIA-GULP-PRODE 1997: 259-270

Antonio J. Nebro, Ernesto Pimentel, José M. Troya: Applying Distributed Shared Memory Techniques for Implementing Distributed Objects. ECOOP Workshops 1997: 499-506

Antonio J. Nebro, Ernesto Pimentel, José M. Troya: Integrating an Entry Consistency Memory Model and Concurrent Object-Oriented Programming. Euro-Par 1997: 567-571

Juan M. Molina-Bravo, Ernesto Pimentel: Modularity in Functional-Logic Programming. ICLP 1997: 183-197

Manuela Carrillo-Castellon, Jesús García Molina, Ernesto Pimentel, Israel Repiso: Design by Contract in Smalltalk. JOOP 9(7): 23-28 (1996)

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)

F. J. Duran, Ernesto Pimentel, José M. Troya: Comunicacion entre objetos mediante la unificacion de canales logicos. GULP-PRODE (2) 1994: 147-160

Manuela Carrillo-Castellon, Jesús García Molina, Ernesto Pimentel: Eiffel-like Assertions and Private Methods in Smalltalk. TOOLS (13) 1994: 479-488

Ernesto Pimentel, José M. Troya: Compositionality Issues of Concurrent Object-Oriented Logic Languages. PARLE 1993: 529-540

Ernesto Pimentel: L2||O2: A Concurrent Object-oriented Logic Language. ILPS 1993: 665

Ernesto Pimentel, José M. Troya: L2||O2: Operational and Declarative Semantics. ALPUK 1992: 174-188

Manuel Díaz, Ernesto Pimentel, José M. Troya: A Declarative Environment for Distributed Programming. IFIP Congress (1) 1992: 163-169