Recent publications
A.
Brogi, J. Carrasco, J. Cubo, E. Di Nitto, F. Durán, M. Fazzolari, A. Ibrahim,
E. Pimentel, J. Soldani, P. Wang, F. D’Andria. Adaptive
management of applications across multiple clouds:The SeaClouds approach. CLEI
Electronical Journal, 17(1)-14 pags. 2015.
J. Cubo, N. Gámez, L.
Fuentes, and E. Pimentel.
Reconfiguration
of Service Failures in DAMASCo using Dynamic Software
Product Lines.
IEEE
Proc. of the 12th International Conference on Services Computing. New York (USA). IEEE Computer Science Press. 2015.
A.
Brogi, J. Cubo, L. González, E. Pimentel y R. Ruggia.
Dynamic
Verification of Mashups of Service-Oriented Things through a Mediation
Platform. Journal of Universal Computer Science, 20(8):1049-1070. 2014.
J. Cubo, A. Nieto and E.
Pimentel. A Cloud-Based Internet of Things Platform for Ambient Assisted Living.
Journal Sensors 2014, 14(8), 14070-14105.
J. Carrasco, J. Cubo and E. Pimentel. Towards a flexible deployment of multi-cloud applications based on TOSCA and CAMP. Workshop on Seamless adaptive multi-cloud management of service-based applications. SeaClouds 2014. Collocated event with ESOCC 2014. Manchester, United Kingdom. Communications in Computer and Information Systems, 508:318-330. Springer. 2015.
V. Ciancia, F. Martinelli, J. A. Martin, I. Matteucci, M. Petrocchi and E. Pimentel. Automated synthesis and
ranking of secure BPMN orchestrators. Acepted in International Journal
of Secure Software Engineering. 2014.
M. Ouederni, G. Salaun, J. Camara and E. Pimentel.
17th
Int. Conf. on Foundamental Approaches to Software Engineering. Accepted in FASE 2014.
ARCoSS
subline of LNCS. Springer. 2014.
N.
Gámez, J. Cubo, L. Fuentes and E. Pimentel.
Configuring
a Context-Aware Middleware for Wireless Sensor Networks.
Journal
Sensors, 12(7), 8544-8570. 2013.
L.
González, J. Cubo, A. Brogi, E. Pimentel and R. Ruggia.
Run-Time
Verification of Behaviour-Aware Mashups in the Internet of Things.
3rd
International Workshop on Adaptive Service for the Future Internet (WAS4FI).
Springer
CCIS. 2013.
V.
Ciancia, F. Martinelli, I. Matteucci, M. Petrocchi, J.A. Martín and E. Pimentel.
Automated
synthesis of an optimal secure BPMN orchestrator.
7th
International Workshop on Secure Software Engineering (SeSec).
IEEE Conference
Publishing Service. Regensburg
(Alemania). Septiembre,
2013.
J.
Cubo, N. Gámez, L. Fuentes and E. Pimentel.
Composition
and Self-Adaptation of Service-Based Systems with Feature Models.
Proc.
of the 13th International Conference on Software Reuse (ICSR’13)
. Pisa, Italy.
Lecture Notes in Computer Science, Springer-Verlag, 2013.
J.
Troya, J. Cubo, J.A. Martín, E. Pimentel and A. Vallecillo.
Automated
Throughput Optimization of Cloud Services via Model-Driven
Adaptation.
Proc.
of International Model-Driven Engineering and Software Development.
MODELSWARD
2013.
Barcelona. SciTePress,
pp. 356-362. 2013.
J. A.
Martín-Baena, F. Martinelli and E. Pimentel.
Synthesis
for Secure Adaptors.
Journal
of Logic and Algebraic Programming, 81(2):99-126. 2012.
J.
Cubo, A. Brogi and E. Pimentel.
Behaviour-Aware
Compositions of Things.
The
IEEE International Conference on Internet of Things.
iThings. IEEE CS Press. 2012.
J.
Cubo and E. Pimentel.
On the
Service Discovery using Context-Awareness, Semantic Matching
and
Behavioural Compatibility.
15th
IEEE Int. Conference on Computational Science and Engineering.
Paphos (Cyprus). IEEE CS Press, 2012.
V.
Ciancia, J.A. Martín, F. Martinelli, I. Matteucci, M. Petrocchi and E. Pimentel. A
Tool for the Synthesis of Cryptographic Orchestrators.
Proceedings
of the Model-Driven Security Workshop (MDSec).
Innsbruck
(Austria). October,
2012.
ACM
Digital Librar, 2012.
J.
Cubo and E. Pimentel. Reusing
Services through Context-Aware Discovery and Adaptation in
Pervasive
Systems.
Ortiz,
G., Cubo, J. (eds.).
Adaptive
Web Services for Modular and Reusable Software Development:
Tactics
and Solutions, chapter 4, pp. 90- 147, IGI Global. 2012.
J.
Cubo, A. Brogi and E. Pimentel.
Towards
Behaviour-Aware Compositions of Things in the Future Internet.
International
Workshop on Adaptive Services for the Future Internet.
WAS4FI-Mashups
2012. ACM Digital Library - ICPS, pp. 28-35, 2012.
J.A.
Martín, A. Brogi and E. Pimentel.
Learning
from Failures: a Lightweight Approach to Run-Time Behavioural Adaptation.
8th
International Symposium on Formal Aspects of Component Software (FACS).
Lecture Notes in Computer Science, 7253:259-277.
2012.
J.
A. Martín-Baena and E. Pimentel.
Contracts
for Security Adaptation. Journal
of Logic and Algebraic Programming, 80(3-5):154-179. 2011.
M.
Katrib, J.L. Pastrana and E. Pimentel.
QoS-enabled
and Self-Adaptative Connectors for Web Services Composition and Coordination.
Computer
Languages, Systems and Structures. 37(1):2-23.
2011.
J.
Cubo, C. Canal and E. Pimentel.
Model-based
Dependable Composition and Adaptation of Self-Adaptive Systems.
Informatica
(Int. J. of Computing and Informatics), 35:51-62. 2011.
J.
Cubo, C. Canal and E. Pimentel.
Context-Aware
Composition and Adaptation based on Model Transformation.
Journal
of Universal Computer Science, 17(5):777-806. 2011.
N.
Gámez, J. Cubo, L. Fuentes and E. Pimentel.
Modeling
Context-Awaremess in FamiWare. 5th
Int. Symposium on Ubiquitous Computing & Ambient Intelligence.
UCAmI. Riviera, Mexico.
2011.
M.
Ouederni, G. Salaün and E. Pimentel.
Client
Update: A Solution for Service Evolution. 8th
International Conference on Service Computing (SCC). IEEE Computer Society, 394-401. 2011.
J.
Cubo and E. Pimentel.
DAMASCo: A Framework for the Automatic Composition of
Component-Based and Service-Oriented Architectures.
5th European Conference on Software Architecture (ECSA).
Lecture Notes in Computer Science, 6903:388-404. 2011.
M.
Ouederni, G. Salaün and E. Pimentel.
Measuring the Compatibility of Service Interaction Protocols.
Proceedings of the 26th ACM Symposium on Applied Computing, pp. 1560-1567. 2011.
J.
Cubo, E. Pimentel, G. Salaün and C. Canal. Handling
Data-based Concurrency in Context-aware Service Protocols.
Electronic
Proc. of Theoretical Computer Science, 30:62-77.
Foundations
of Coordination Languages and Software Architectures. Elsevier Science 2010.
J.
Cámara, J.A. Martín, G. Salaün, C. Canal and E. Pimentel. Semi-automatic
Specification of Behavioural Service Adaptation Contracts. Electronic
Notes in Theoretical Computer Science, 264(2):19-34. Elsevier Science 2010.
Formal
Engineering approaches to Software Components and Architectures. 2010.
M.
Ouederni, G. Salaün and E. Pimentel.
Quantifying Service Compatibility: A Step beyond the Boolean Approaches. 8th
International Conference on Service Oriented Computing
ICSOC. Lecture Notes in Computer Science, 6470:619-626. 2010.
J.A.
Martín and E. Pimentel.
Feature-Based
Discovery of Services with Adaptable Behaviour.
Proceedings of the 8th
International Conference on Web Services (ECOWS), pp. 91-98. Ayia-Napa (Cyprus). 2010.
J. Cámara,
J.A. Martín, G. Salaün, C. Canal and E. Pimentel.
A Case Study in Model-based Adaptation of Web Services.
Fourth
International Symposium on Leveraging Applications of
Formal
Methods, Verification and Validation (ISOLA).
Lecture Notes in Computer Science, 6416:112-126. 2010.
J.
Cubo, C. Canal and E. Pimentel.
Context-aware Service Discovery and Adaptation based on Semantic
Matchmaking.
Fifth
Int. Conf. on Internet and Web Applications and Services (ICIW).
IEEE Computer Society Press, pp. 554-561, 2010.
J.A.
Martín and E. Pimentel.
Dinapter:
Automatic Adapter Specification for Software Composition.
Electronic
Notes in Theoretical Computer Science, 248:161-171.
Elsevier
Science, 2009.
Conference
on Programming and Computer Languages. 2008.
J.A.
Martín and E. Pimentel.
Automatic
Generation of Adaptation Contracts.
Electronic
Notes in Theoretical Computer Science, 229(2):115-131. Elsevier Science, 2009.
Foundations
of Coordination Languages and Software Architectures 2008.
A.
Brogi, E. Pimentel and A. M. Roldán.
Software
Composition with Linda. Computer
Languages, Systems and Structure,
35(4):395-405.
2008.
M.
Katrib, J.L. Pastrana and E. Pimentel.
Composition
of Self-Adapting Components for Customizable System.
The
Computer Journal, 51(4):481-496. 2008.
M.
Alpuente, M.M. Gallardo, E. Pimentel and A. Villanueva.
An
Abstract Analysis Framework for Synchronous Concurrent Languages based on
source–to–source Transformation.
Electronic
Notes in Theoretical Computer Science, 206:3-21. Elsevier Science, 2008. Programming and Computer Languages.
Javier
Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel and Pascal Poizat. A
Model-Based Approach to the Verification and Adaptation of WF/.NET Components.
Electronic
Notes in Theoretical Computer Science, 215: 39-55.
Elsevier
Science, 2008.
Formal
Aspects of Component Software (FACS'07).
A.
Brogi, R. Popescu, F. Gutiérrez, P. López and E. Pimentel.
A
Service-Oriented Model for Embedded Peer-to-Peer Systems. Electronic
Notes in Theoretical Computer Science,194(4):5-22.
Elsevier
Science 2008.
Foundations
of Coordination Languages and Software Architectures.
Oldest publications
M.
Alpuente, M.M. Gallardo, E. Pimentel and A. Villanueva.
Verifying
Real-Time Properties of tccp Programs. Journal
of Universal Computer Science,
12(11):1551-1573. 2007.
A.
Brogi, J. Cámara, C. Canal, J. Cubo and E. Pimentel.
Dynamic
Contextual Adaptation.
Electronic
Notes in Theoretical Computer Science, 175(2):81-95. Elsevier Science, 2007.
Foundations
of Coordination Languages and Software Architectures.
M.M.
Gallardo, J. Martínez, P. Merino and E. Pimentel.
On
the Evolution of Reliability Methods for Critical Software.
Journal
of Intregrated Design & Process Science -
Applications
of formal methods, vol 10(4):55-68. 2006.
M.M.
Gallardo, J. Martínez, P. Merino, P. Núñez and E. Pimentel.
PiXL:
Applying XML Standards to Support the Integration of Analysis Tools for
Protocols.
Science
of Computer Programming, 65(1):57-69. 2006.
A.
Brogi, C. Canal and E. Pimentel.
Component
adaptation through flexible subservicing.
Science
of Computer Programming, 63:39–56,
2006.
A.
Brogi, C. Canal and E. Pimentel.
On
the semantics of software adaptation.
Science of Computer Programming, 61(2):136–151,
2006.
A.
Brogi, J.M. Jacquet and E. Pimentel.
Special
Issue on Foundations of Coordination Languages
and Software Architectures.
Science of Computer Programming, 61(2), 2006.
M.
Alpuente, M.M. Gallardo, E. Pimentel and A. Villanueva.
A
Semantic Framework for the Abstract Model Checking of tccp programs.
Theoretical
Computer Science, 346(1):58-95, 2005.
S.
Amaro, E. Pimentel and A.M. Roldán.
Coordinating
Behavioural Description of Components.
Journal
of Universal Computer Science, 11(10):1676-1694. 2005.
S.
Amaro, E. Pimentel and A.M. Roldán.
Reo
based Interaction Model.
Electronic
Notes in Theoretical Computer Science, 160:3-14. Elsevier Science, 2005.
Formal
Aspects of Component Software. 2005.
M.
Alpuente, M.M. Gallardo, E. Pimentel and A. Villanueva.
Abstract
Model Checking of tccp programs.
Electronic
Notes in Theoretical Computer Science, 112:19-36.
Elsevier
Science 2005.
Quantitative
Aspects of Programming Languages. 2005
A.
Maña, J. López, J.J. Ortega, E. Pimentel and J.M. Troya.
A
Framework for secure execution of software.
Int.
Journal on Information
Security, 3(2): 99-112. 2004.
M.M.
Gallardo, P. Merino and E. Pimentel.
A
Generalized Semantics of PROMELA for Abstract Model Checking.
Formal
Aspects of Computing, 16(3):166-193. 2004.
M.M.
Gallardo, J. Martínez, P. Merino and E. Pimentel.
A
Tool for Abstract Model Checking.
Software
Tools for Technology Transfer, 5(2-3):165-184. 2004.
M.M.
Gallardo, J. Martínez, P. Merino and E. Pimentel.
Abstracting
UML behavioral diagrams for verification.
Software
Evolution with UML and XML.
Idea
Group Publisher. 2004.
A.
Brogi, C. Canal, E. Pimentel and A. Vallecillo.
Formalizing
Web Service Choreographies.
Electronic
Notes in Theoretical Computer Science 105:73-94. Elsevier Science, 2004.
Web
Services and Formal Methods. 2004.
S.
Amaro, E. Pimentel and A.M. Roldán.
A
Preliminary Comparative Study on the Expressive Power of Reo and Linda.
Electronic
Notes in Theoretical Computer Science, 180(2):3-19. Elsevier Science, 2004.
Foundations
of Coordination Languages and Software Architectures. 2004
M.I.
Yagüe, A. Maña, J. López, E. Pimentel and J.M. Troya.
A
Secure Solution for Commercial Digital Librarie. Online
Information Review Journal, 27(3): 147-159. 2003.
C.
Canal, L. Fuentes, E. Pimentel, A. Vallecillo and J.M. Troya.
Adding
Roles to CORBA Objects.
IEEE
Trans. on Software Engineering, 29(3): 242-260. 2003.
J.M.
Álvarez, M. Díaz, L. Llopis, E. Pimentel and J.M. Troya.
Integrating
Schedulability Analysis and Design Techniques in SDL.
Journal
of Real-Time Systems, 24(3): 267 – 302. 2003.
J.M.
Álvarez, M. Díaz, L. Llopis, E. Pimentel and J.M. Troya.
An
Object Oriented Methodology for Embedded Real-Time Systems.
The
Computer Journal, 46(2):123-145. 2003.
J.M.
Molina and E. Pimentel.
Composing
Programs in a Rewriting Logic for Declarative Programming.
Theory
and Practice of Logic Programming, 3(2):189-221. Cambridge University Press. 2003.
A.
Brogi, C. Canal and E. Pimentel.
On
the specification of software adaptation.
Electronic
Notes in Theoretical Computer Science 97(4):47-65. Elsevier Science, 2003.
Foundations
of Coordination Languages and Software Architecture. 2003.
A.
Brogi, C. Canal and E. Pimentel.
Soft
Component Adaptation.
Electronic
Notes in Theoretical Computer Science 85(3):1-16. Elsevier Science, 2003.
Security
Issues in Coordination Models, Languages, and Systems. 2003.
A. M.
Roldán, E. Pimentel and A. Brogi.
Safe
Composition of Linda-based Components.
Electronic
Notes in Theoretical Computer Science 82 (6):1-15.
Elsevier
Science 2003.
Test
and Analysis of Component based Systems. 2003.
M.M.
Gallardo, P. Merino and E. Pimentel.
Debugging
UML Designs with Model Checking.
Journal
of Object Technology 1(2):101-117. 2002.
A.
Brogi, E. Pimentel and A. M. Roldán.
Compatibility
of Linda-based Component Interfaces.
Electronic
Notes in Theoretical Computer Science 66(4):1-10.
Elsevier
Science 2002.
Formal
Methods and Component Interaction. 2002.
M.M.
Gallardo, J. Martínez, P. Merino and E. Pimentel. A
Tool for Abstraction in Model Checking.
Electronic
Notes in Theoretical Computer Science 66(2):1-16. Elsevier Science, 2002.
Formal
Methods in Industrial Critical Systems. 2002.
M.M.
Gallardo, P. Merino and E. Pimentel.
Comparing
Under and Over-Approximations of LTL Properties for Model Checking.
Electronic
Notes in Theoretical Computer Science 76:1-14. Elsevier Science, 2002.
11th
International Workshop on Functional and Logic Programming.2002.
C.
Canal, L. Fuentes, E. Pimentel, A. Vallecillo and J.M. Troya.
Extending
CORBA Interfaces with Protocols.
The
Computer Journal 44 (5):448 - 462. 2001.
C.
Canal, E. Pimentel and J.M. Troya.
Compatibility
and Inheritance in Software Architectures.
Science
of Computer Programming, 41(2):105-138. 2001.
A.J.
Nebro, E. Pimentel and J.M. Troya.
Distributed
Objects: An Approach based on Replication and Migration.
Journal
of Object Oriented Programming, 12(1):22-27, 1999.
M.
Carrillo, J. García, E. Pimentel and I. Repiso.
Design
by Contract in Smalltalk.
Journal
of Object Oriented Programming 9(7):23-28, 1996.
M.
Díaz, E. Pimentel and J.M. Troya.
DROL:
A Distributed and Real-Time Object-Oriented Logic Environment.
The
Computer Journal 37(5):407-421, 1994.