A selection of Ernesto Pimentel's publications

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 OrchestratorsProceedings of the Model-Driven Security Workshop (MDSec). Innsbruck (Austria). October, 2012ACM 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-77Foundations 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. PimentelComposition 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:3956, 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. PimentelSoft Component AdaptationElectronic 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.