


default search action
Ernesto Pimentel 0001
Person information
- affiliation: University of Málaga, Spain
- not to be confused with: Ernesto Pimentel-García
Other persons with the same name
- Ernesto Pimentel-García
(aka: Ernesto Pimentel 0002) — University of Málaga, Spain
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j47]Giuseppe Bisicchia
, Stefano Forti
, Ernesto Pimentel, Antonio Brogi
:
Continuous QoS-compliant orchestration in the Cloud-Edge continuum. Softw. Pract. Exp. 54(11): 2191-2213 (2024) - 2023
- [j46]Rafael García-Luque
, Lorenzo Toro-Gálvez, Nathalie Moreno, Javier Troya, Carlos Canal, Ernesto Pimentel:
Integrating Citizens' Avatars in Urban Digital Twins. J. Web Eng. 22(6): 913-938 (2023) - [j45]Nicolás Pozas
, Francisco Durán
, Katia Moreno Berrocal, Ernesto Pimentel
:
Location-aware scalable service composition. Softw. Pract. Exp. 53(12): 2408-2429 (2023) - [c108]Lorenzo Toro-Gálvez
, Rafael García-Luque
, Javier Troya
, Carlos Canal
, Ernesto Pimentel
:
Towards the Integration of Digital Avatars in Urban Digital Twins on the Cloud-to-Thing Continuum. ICWE Workshops 2023: 67-74 - [c107]Rafael García-Luque
, Ernesto Pimentel
, Antonio Bandera
:
Digital Avatars: An Application to eHealth. ICWE Workshops 2023: 145-159 - [i2]Giuseppe Bisicchia, Stefano Forti, Ernesto Pimentel, Antonio Brogi
:
Continuous QoS-compliant Orchestration in the Cloud-Edge Continuum. CoRR abs/2310.02985 (2023) - 2022
- [j44]Antonio Brogi
, Jose Carrasco, Francisco Durán, Ernesto Pimentel, Jacopo Soldani
:
Self-healing trans-cloud applications. Computing 104(4): 809-833 (2022) - 2021
- [j43]Alejandro Pérez-Vereda
, Carlos Canal
, Ernesto Pimentel:
Modelling digital avatars: A tuple space approach. Sci. Comput. Program. 203: 102583 (2021) - [j42]Ernesto Pimentel, Jacopo Soldani:
Preface to the Special Issue on Coordination and Self-Adaptiveness of Software Applications. Sci. Comput. Program. 204: 102594 (2021) - [j41]Patrícia Araújo de Oliveira
, Francisco Durán, Ernesto Pimentel:
A procedural and flexible approach for specification, modeling, definition, and analysis for self-adaptive systems. Softw. Pract. Exp. 51(6): 1387-1415 (2021) - 2020
- [j40]Jose Carrasco, Francisco Durán, Ernesto Pimentel:
Live migration of trans-cloud applications. Comput. Stand. Interfaces 69: 103392 (2020)
2010 – 2019
- 2019
- [c106]Antonio Brogi
, Jose Carrasco, Francisco Durán, Ernesto Pimentel, Jacopo Soldani
:
Robust Management of Trans-Cloud Applications. CLOUD 2019: 219-223 - [c105]David Bandera
, Alejandro Pérez-Vereda
, Carlos Canal
, Ernesto Pimentel
:
A Programming Framework for People as a Service. ICSOC Workshops 2019: 308-312 - [c104]David Bandera, Alejandro Pérez-Vereda
, Carlos Canal, Ernesto Pimentel:
One Step Towards Dynamically Programmable Things: an Implementation Using Beacons. ISCC 2019: 1171-1176 - [c103]Alejandro Pérez-Vereda
, Carlos Canal, Ernesto Pimentel:
A Formal Programming Framework for Digital Avatars. SEFM Workshops 2019: 236-251 - 2018
- [j39]Jose Carrasco, Francisco Durán, Ernesto Pimentel
:
Trans-cloud: CAMP/TOSCA-based bidimensional cross-cloud. Comput. Stand. Interfaces 58: 167-179 (2018) - [p2]Stefan Nastic
, Javier Cubo
, Malena Donato, Schahram Dustdar, Örjan Guthu. Mats Jonsson, Ömer Özdemir, Ernesto Pimentel, M. Serdar Yümlü:
SMART-FI: Exploiting Open IoT Data from Smart Cities in the Future Internet Society. Internet of Everything 2018: 153-173 - 2017
- [c102]Patrícia Araújo de Oliveira, Antonio Moreno-Delgado, Francisco Durán, Ernesto Pimentel:
Towards the Predictive Analysis of Cloud Systems with e-Motions. CIbSE 2017: 169-182 - [c101]Jose Carrasco, Francisco Durán, Ernesto Pimentel:
Component-wise Application Migration in Bidimensional Cross-cloud Environments. CLOSER 2017: 259-269 - [c100]Jose Carrasco, Francisco Durán, Ernesto Pimentel:
Component Migration in a Trans-cloud Environment. CLOSER (Selected Papers) 2017: 286-307 - [c99]Jose Carrasco, Francisco Durán, Ernesto Pimentel:
Runtime Migration of Applications in a Trans-Cloud Environment. ICSOC Workshops 2017: 55-66 - [c98]Patrícia Araújo de Oliveira
, Francisco Durán, Ernesto Pimentel:
An Approach to Predictive Analysis of Self-Adaptive Systems in Design Time. ICSOC Workshops 2017: 363-368 - [c97]Patrícia Araújo de Oliveira
, Francisco Durán, Ernesto Pimentel:
Towards the Performance Analysis of Elastic Systems with e-Motions. SEFM Workshops 2017: 475-490 - 2016
- [c96]Jose Carrasco, Javier Cubo, Francisco Durán, Ernesto Pimentel:
Bidimensional Cross-Cloud Management with TOSCA and Brooklyn. CLOUD 2016: 951-955 - [c95]Jose Carrasco, Javier Cubo, Ernesto Pimentel, Francisco Durán:
Deployment over Heterogeneous Clouds with TOSCA and CAMP. CLOSER (1) 2016: 170-177 - [c94]Antonio Brogi
, Jose Carrasco, Javier Cubo
, Francesco D'Andria
, Elisabetta Di Nitto
, Michele Guerriero, Diego Pérez, Ernesto Pimentel, Jacopo Soldani
:
SeaClouds: An Open Reference Architecture for Multi-cloud Governance. ECSA 2016: 334-338 - [c93]Jose Carrasco, Francisco Durán, Ernesto Pimentel:
Towards a Unified Management of Applications on Heterogeneous Clouds. ESOCC Workshops 2016: 233-246 - 2015
- [j38]Antonio Brogi, Jose Carrasco
, Javier Cubo, Elisabetta Di Nitto, Francisco Durán, Michela Fazzolari, Ahmad Ibrahim, Ernesto Pimentel, Jacopo Soldani
, Pengwei Wang
, Francesco D'Andria:
Adaptive management of applications across multiple clouds: The SeaClouds Approach. CLEI Electron. J. 18(1) (2015) - [c92]Javier Cubo
, Nadia Gámez, Ernesto Pimentel, Lidia Fuentes
:
Reconfiguration of Service Failures in DAMASCo Using Dynamic Software Product Lines. SCC 2015: 114-121 - [c91]Dionysis Athanasopoulos, Miguel Barrientos, Leonardo Bartoloni, Antonio Brogi, Mattia Buccarella, Jose Carrasco, Javier Cubo, Francesco D'Andria, Elisabetta Di Nitto, Adrián Nieto, Marc Oriol, Ernesto Pimentel, Simone Zenzaro:
SeaClouds: Agile management of complex applications across multiple heterogeneous clouds. STAF Projects Showcase 2015: 54-61 - [e9]João Araújo, Nelly Condori-Fernández, Miguel Goulão, Santiago Matalonga, Nelly Bencomo, Toacy C. Oliveira, Jose Luis de la Vara, Isabel Sofia Brito, Leandro Antonelli, Ernesto Pimentel, Juan Jose Miranda, Marcos Kalinowski, Oscar Pastor, Luis Olsina, Renata S. S. Guizzardi, Sergio España, Ernesto Cuadros-Vargas:
Proceedings of the XVIII IberoAmerican Conference on Software Engineering, CIbSE 2015, Lima, Peru, Apr 22-24, 2015. Curran Associates, Inc. 2015, ISBN 978-1-5108-0387-9 [contents] - 2014
- [j37]Vincenzo Ciancia
, José Antonio Martín, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Ernesto Pimentel:
Automated Synthesis and Ranking of Secure BPMN Orchestrators. Int. J. Secur. Softw. Eng. 5(2): 44-64 (2014) - [j36]Antonio Brogi, Javier Cubo, Laura González, Ernesto Pimentel, Raúl Ruggia:
Dynamic Verification of Mashups of Service-Oriented Things through a Mediation Platform. J. Univers. Comput. Sci. 20(8): 1049-1070 (2014) - [j35]Javier Cubo
, Adrián Nieto, Ernesto Pimentel
:
A Cloud-Based Internet of Things Platform for Ambient Assisted Living. Sensors 14(8): 14070-14105 (2014) - [j34]Antonio Brogi, Ahmad Ibrahim
, Jacopo Soldani
, José Carrasco, Javier Cubo, Ernesto Pimentel, Francesco D'Andria:
SeaClouds: a European project on seamless management of multi-cloud applications. ACM SIGSOFT Softw. Eng. Notes 39(1): 1-4 (2014) - [j33]Flavio De Paoli
, Ernesto Pimentel
:
Introduction to the special issue from the European conference on service-oriented and cloud computing. Serv. Oriented Comput. Appl. 8(4): 259-260 (2014) - [c90]Antonio Brogi, José Carrasco, Javier Cubo, Francesco D'Andria, Ahmad Ibrahim, Ernesto Pimentel, Jacopo Soldani:
SeaClouds: Seamless adaptive multi-cloud management of service-based applications. CIbSE 2014: 95-108 - [c89]Antonio Brogi
, José Carrasco, Javier Cubo, Francesco D'Andria, Ahmad Ibrahim
, Ernesto Pimentel, Jacopo Soldani:
EU Project SeaClouds - Adaptive Management of Service-based Applications Across Multiple Clouds. CLOSER 2014: 758-763 - [c88]Antonio Brogi
, Ernesto Pimentel
:
Workshop on Seamless Adaptive Multi-cloud Management of Service-Based Applications (SeaCloudS): Preface. ESOCC Workshops 2014: 247-248 - [c87]Jose Carrasco, Javier Cubo, Ernesto Pimentel:
Towards a Flexible Deployment of Multi-cloud Applications Based on TOSCA and CAMP. ESOCC Workshops 2014: 278-286 - [c86]Meriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel
:
Comparator: A Tool for Quantifying Behavioural Compatibility. FASE 2014: 306-309 - [p1]José Antonio Martín, Fabio Martinelli, Ilaria Matteucci
, Ernesto Pimentel, Mathieu Turuani:
On the Synthesis of Secure Services Composition. Engineering Secure Future Internet Services and Systems 2014: 140-159 - 2013
- [j32]Ernesto Pimentel
, Valentín Valero
:
Guest Editors' Foreword. J. Log. Algebraic Methods Program. 82(5-7): 163 (2013) - [c85]Vincenzo Ciancia
, Fabio Martinelli, Ilaria Matteucci
, Marinella Petrocchi, José Antonio Martín, Ernesto Pimentel
:
Automated Synthesis and Ranking of Secure BPMN Orchestrators. ARES 2013: 455-464 - [c84]Laura González, Javier Cubo
, Antonio Brogi
, Ernesto Pimentel
, Raúl Ruggia:
Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things. ESOCC Workshops 2013: 318-330 - [c83]Javier Cubo
, Nadia Gámez, Lidia Fuentes
, Ernesto Pimentel
:
Composition and Self-Adaptation of Service-Based Systems with Feature Models. ICSR 2013: 326-342 - [c82]Javier Troya, Javier Cubo, José Antonio Martín, Ernesto Pimentel, Antonio Vallecillo:
Automated Throughput Optimization of Cloud Services via Model-driven Adaptation. MODELSWARD 2013: 356-362 - [e8]Kung-Kiu Lau, Winfried Lamersdorf, Ernesto Pimentel
:
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 [contents] - 2012
- [j31]José Antonio Martín, Fabio Martinelli, Ernesto Pimentel
:
Synthesis of secure adaptors. J. Log. Algebraic Methods Program. 81(2): 99-126 (2012) - [j30]Nadia Gámez, Javier Cubo
, Lidia Fuentes
, Ernesto Pimentel
:
Configuring a Context-Aware Middleware for Wireless Sensor Networks. Sensors 12(7): 8544-8570 (2012) - [c81]Javier Cubo
, Ernesto Pimentel
:
On the Service Discovery Using Context-Awareness, Semantic Matching and Behavioural Compatibility. CSE 2012: 259-266 - [c80]Javier Cubo
, Antonio Brogi
, Ernesto Pimentel
:
Towards behaviour-aware compositions of things in the future internet. WAS4FI-Mashups 2012: 28-35 - [c79]Javier Cubo
, Antonio Brogi
, Ernesto Pimentel
:
Behaviour-Aware Compositions of Things. GreenCom 2012: 1-8 - [c78]Vincenzo Ciancia
, Fabio Martinelli, Ilaria Matteucci
, Marinella Petrocchi, José Antonio Martín, Ernesto Pimentel
:
A tool for the synthesis of cryptographic orchestrators. MDsec@MoDELS 2012: 10 - [e7]Flavio De Paoli, Ernesto Pimentel, Gianluigi Zavattaro:
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 [contents] - 2011
- [j29]Jose Luis Pastrana
, Ernesto Pimentel
, Miguel Katrib:
QoS-enabled and self-adaptive connectors for Web Services composition and coordination. Comput. Lang. Syst. Struct. 37(1): 2-23 (2011) - [j28]Javier Cubo, Carlos Canal, Ernesto Pimentel:
Model-Based Dependable Composition of Self-Adaptive Systems. Informatica (Slovenia) 35(1): 51-62 (2011) - [j27]José Antonio Martín, Ernesto Pimentel
:
Contracts for security adaptation. J. Log. Algebraic Methods Program. 80(3-5): 154-179 (2011) - [j26]Javier Cubo, Carlos Canal, Ernesto Pimentel:
Context-Aware Composition and Adaptation based on Model Transformation. J. Univers. Comput. Sci. 17(5): 777-806 (2011) - [c77]Meriem Ouederni, Gwen Salaün, Ernesto Pimentel
:
Client Update: A Solution for Service Evolution. IEEE SCC 2011: 394-401 - [c76]Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel:
On the Formal Analysis of P2P Algorithms with aSMoL and Maude. CIbSE 2011: 225-238 - [c75]Javier Cubo
, Ernesto Pimentel
:
DAMASCo: A Framework for the Automatic Composition of Component-Based and Service-Oriented Architectures. ECSA 2011: 388-404 - [c74]José Antonio Martín, Antonio Brogi
, Ernesto Pimentel
:
Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation. FACS 2011: 259-277 - [c73]Meriem Ouederni, Gwen Salaün, Ernesto Pimentel
:
Measuring the compatibility of service interaction protocols. SAC 2011: 1560-1567 - [e6]Ernesto Pimentel, Valentín Valero:
Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2011, Málaga, Spain, 22nd and 23rd September 2011. EPTCS 68, 2011 [contents] - 2010
- [c72]Meriem Ouederni, Gwen Salaün, Ernesto Pimentel
:
Quantifying Service Compatibility: A Step beyond the Boolean Approaches. ICSOC 2010: 619-626 - [c71]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 - [c70]Javier Cubo, Ernesto Pimentel, Gwen Salaün, Carlos Canal:
Handling Data-Based Concurrency in Context-Aware Service Protocols. FOCLASA 2010: 62-77 - [c69]Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal
, Ernesto Pimentel
:
Semi-Automatic Specification of Behavioural Service Adaptation Contracts. FESCA@ETAPS 2010: 19-34
2000 – 2009
- 2009
- [j25]Ana M. Roldán
, Ernesto Pimentel
, Antonio Brogi
:
Software composition with Linda. Comput. Lang. Syst. Struct. 35(4): 395-405 (2009) - [j24]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) - [c68]Ernesto Pimentel:
Integración de software: métodos formales para coordinar y adaptar componentes y servicios. CIbSE 2009 - [c67]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 - [c66]Javier Cubo
, Carlos Canal
, Ernesto Pimentel
, Gwen Salaün:
A formal model and composition language for context-aware service protocols. CASTA@ESEC/SIGSOFT FSE 2009: 17-20 - 2008
- [j23]Jose Luis Pastrana
, Ernesto Pimentel
, Miguel Katrib:
Composition of Self-Adapting Components for Customizable Systems. Comput. J. 51(4): 481-496 (2008) - [c65]Antonio Brogi, Francisco Gutiérrez, Pablo López, Ernesto Pimentel, Razvan Popescu:
Modelado de sistemas P2P con control de excepciones. CIbSE 2008: 31-44 - [c64]Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel:
A formalization of the SMEPP model in Maude. MobiQuitous 2008 - [c63]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 - [c62]José Antonio Martín, Ernesto Pimentel
:
Automatic Generation of Adaptation Contracts. FOCLASA@ICALP 2008: 115-131 - [c61]José Antonio Martín, Ernesto Pimentel
:
Dinapter: Automatic Adapter Specification for Software Composition. PROLE 2008: 161-171 - [e5]Ernesto Pimentel:
Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, PROLE 2007, Zaragoza, Spain, September 12-14, 2007. Electronic Notes in Theoretical Computer Science 206, Elsevier 2008 [contents] - 2007
- [j22]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino
, Pablo Núñez, Ernesto Pimentel
:
PiXL: Applying xml standards to support the integration of analysis tools for protocols. Sci. Comput. Program. 65(1): 57-69 (2007) - [c60]Jose Luis Pastrana, Ernesto Pimentel, Miguel Katrib:
Un Perfil UML para la definición de Componentes Inteligentes. CIbSE 2007: 415-438 - [c59]Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel:
Context-Based Adaptation of Component Behavioural Interfaces. COORDINATION 2007: 305-323 - [c58]Ernesto Pimentel
:
Preface. PROLE 2007: 1-2 - [c57]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. PROLE 2007: 3-21 - [c56]Antonio Brogi
, Razvan Popescu, Francisco Gutiérrez
, Pablo López, Ernesto Pimentel
:
A Service-Oriented Model for Embedded Peer-to-Peer Systems. FOCLASA 2007: 5-22 - [c55]Javier Cubo
, Gwen Salaün, Carlos Canal
, Ernesto Pimentel
, Pascal Poizat
:
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. FACS 2007: 39-55 - [e4]Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel:
Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, FOCLASA 2004, London, UK, August 30, 2004. Electronic Notes in Theoretical Computer Science 180(2), Elsevier 2007 [contents] - 2006
- [j21]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
On the Evolution of reliability Methods for Critical Software. Trans. SDPS 10(4): 55-67 (2006) - [j20]María Alpuente
, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva:
Verifying Real-Time Properties of tccp Programs. J. Univers. Comput. Sci. 12(11): 1551-1573 (2006) - [j19]Antonio Brogi
, Jean-Marie Jacquet, Jeff Kramer, Ernesto Pimentel
:
Preface. Sci. Comput. Program. 61(2): 73-74 (2006) - [j18]Antonio Brogi
, Carlos Canal
, Ernesto Pimentel
:
On the semantics of software adaptation. Sci. Comput. Program. 61(2): 136-151 (2006) - [j17]Antonio Brogi
, Carlos Canal
, Ernesto Pimentel
:
Component adaptation through flexible subservicing. Sci. Comput. Program. 63(1): 39-56 (2006) - [c54]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 - [c53]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Núñez, Ernesto Pimentel:
PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols. MSVVEIS 2006: 57-66 - [c52]Antonio Brogi
, Javier Cámara, Carlos Canal
, Javier Cubo
, Ernesto Pimentel
:
Dynamic Contextual Adaptation. FOCLASA 2006: 81-95 - 2005
- [j16]Silvia Amaro, Ernesto Pimentel, Ana M. Roldán
:
Coordinating Behavioral Descriptions of Components. J. Univers. Comput. Sci. 11(10): 1676-1694 (2005) - [j15]Juan Hernández Núñez
, Ernesto Pimentel
, José Ambrosio Toval Álvarez:
Report on the ninth conference on Software Engineering and Databases (JISBD 2004). SIGMOD Rec. 34(2): 59-61 (2005) - [j14]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) - [c51]Ernesto Pimentel:
Adaptación Automática de Componentes de Software. CIbSE 2005: 15 - [c50]Miguel Katrib, Jose Luis Pastrana, Ernesto Pimentel:
Adaptación y Reutilización de Componentes Distribuidos. CIbSE 2005: 203-214 - [c49]Silvia Amaro, Ernesto Pimentel
, Ana M. Roldán
:
Reo Based Interaction Model. FACS 2005: 3-14 - 2004
- [j13]María-del-Mar Gallardo, Pedro Merino
, Ernesto Pimentel
:
A generalized semantics of PROMELA for abstract model checking. Formal Aspects Comput. 16(3): 166-193 (2004) - [j12]Antonio Mana, Javier López, Juan J. Ortega, Ernesto Pimentel, José M. Troya:
A framework for secure execution of software. Int. J. Inf. Sec. 3(2): 99-112 (2004) - [j11]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
aSPIN: A tool for abstract model checking. Int. J. Softw. Tools Technol. Transf. 5(2-3): 165-184 (2004) - [c48]Antonio Brogi
, Carlos Canal, Ernesto Pimentel:
Behavioural Types and Component Adaptation. AMAST 2004: 42-56 - [c47]Antonio Brogi
, Carlos Canal, Ernesto Pimentel:
Measuring Component Adaptation. COORDINATION 2004: 71-86 - [c46]Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel:
Preface. FOCLASA 2004: 1-2 - [c45]Silvia Amaro, Ernesto Pimentel
, Ana M. Roldán
:
A Preliminary Comparative Study on the Expressive Power of Reo and Linda. FOCLASA 2004: 3-19 - [c44]María Alpuente
, María-del-Mar Gallardo, Ernesto Pimentel
, Alicia Villanueva
:
Abstract Model Checking of tccp programs. QAPL 2004: 19-36 - [c43]Antonio Brogi
, Carlos Canal
, Ernesto Pimentel
:
Behavioural Types for Service Integration: Achievements and Challenges. FOCLASA 2004: 41-54 - [c42]Antonio Brogi
, Carlos Canal
, Ernesto Pimentel
, Antonio Vallecillo
:
Formalizing Web Service Choreographies. WSFM 2004: 73-94 - [e3]Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel:
Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003, Marseille, France, September 2, 2003. Electronic Notes in Theoretical Computer Science 97, Elsevier 2004 [contents] - 2003
- [j10]José María Á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) - [j9]Mariemma Inmaculada Yagüe del Valle
, Antonio Maña
, Javier López
, Ernesto Pimentel
, José M. Troya:
A secure solution for commercial digital libraries. Online Inf. Rev. 27(3): 147-159 (2003) - [j8]José María Álvarez, Manuel Díaz
, Luis Llopis, Ernesto Pimentel
, José M. Troya:
Integrating Schedulability Analysis and Design Techniques in SD. Real Time Syst. 24(3): 267-302 (2003) - [j7]Juan M. Molina-Bravo, Ernesto Pimentel
:
Composing Programs in a Rewriting Logic for Declarative Programming. Theory Pract. Log. Program. 3(2): 189-221 (2003) - [j6]