Research

Currently, my research interests include:

• Formal modelling of cloud computing systems.
• Analysis and optimization of energy consumption in cloud systems.
• Metamorphic testing techniques for checking the correctness of cloud systems.
• Mutation testing.
• Performance testing of HPC systems.
• Analysis and modelling of energy-aware distributed systems.
• Modelling and simulation of HPC systems and applications.

You can find a complete list of my publications here. Also, the DBLP list containing most of my publications can be found here.

• 2020-2022: Desarrollo de técnicas y metodologías flexibles para la optimización de sistemas cloud

• 2019-2021: Modelado formal y métodos avanzados de testing. Aplicaciones a medicina y sistemas computacionales (FAME)
• 2019-2022: FORmal models and Technologies for Emerging applications (FORTE-CM)
• 2016-2018: Desarrollo y Análisis formal de sistemas complejos en contextos DistribuidOS: fundamentos, herramientas y aplicaciones (DArDOS)
• 2014-2016: Desarrollo de sistemas confiables mediante modelos y herramientas avanzadas (SICOMORo-CM)
• 2013-2015: Especificación y Testing de Sistemas Altamente Distribuidos (ESTUDIO)
• 2011-2012: Advanced methodologies and tools for testing and services (TESIS)
• 2011: Diseño e implantación de una arquitectura jerárquica de cachés para E/S de altas prestaciones
• 2011: Técnicas escalables de entrada/salida en entornos distribuidos y de computación de altas prestaciones
• 2009-2010: Scalable and robust architectures for supporting advanced network services
• 2009: CP08: Computación de altas prestaciones en entornos de computaci&ioacute;n voluntaria
• 2008-2009: Sistema de bases de datos de tecnologías para el proyecto ETAP GLOBAL SYSTEM STUDY FASE II (GSS)
• 2007-2010: Nuevas técnicas de almacenamiento escalable en computación de altas prestaciones.
• 2008: CP07: Sistema escalable de gestión de entrada/salida
• 2007: CP06: Técnicas de optimización de la entrada/salida en aplicaciones para entornos de computación en altas prestaciones
• 2004-2007: Almacenamiento de altas prestaciones en Entornos GRID

Former students

2022 - Optimización y dimensionamiento de los sistemas de computación en la nube mediante técnicas de modelado y transformación (Together with María Emilia Cambronero Piqueras)

• Student: Adrián Bernal Bermejo

2020 - Modelling and validation of cloud systems using model driven engineering, metamorphic and mutation testing (Together with Juan de Lara)

• Student: Pablo Cerro Cañizares
• Premio extraordinario de doctorado 2021. Link
• Premio SISTEDES 2022 a la mejor tesis doctoral. Link

2017 - Modelando la variabilidad: Métodos formales para la representación de líneas de productos software (Together with Luis Llana)

• Student: Carlos Delfín Camacho González

2015 - New Simulation Techniques for Energy Aware Cloud Computing Environments (Together with Jesús Carretero)

• Student: Gabriel González Castañé

Conference activities

2015 - Track chair.

• 30th Annual ACM Symposium On Applied Computing, Track on Service-Oriented Architectures and Programming (SAC-SOAP’15)

2015 - Special Session and Workshops chair.

• 7th International Conference on Computational Collective Intelligence Technologies and Applications (ICCCI’15)

2015 - Organisation committee member

• 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS’15)

2014 - Organisation committee member

• 26th IFIP International Conference on Testing Software and Systems (ICTSS’14)

2013 - Organisation committee member

• 11th International Conference on Software Engineering and Formal Methods (SEFM’13)

Program Committee member

• MiDOS: Annual ACM Symposium On Applied Computing (SAC), Track on Microservices, DevOps, and Service-Oriented Architecture
• GECON: Conference on the Economics of Grids, Clouds, Systems, and Services
• ACIIDS, Asian Conference on Intelligent Information and Database Systems
• SAC-SOAP, Annual ACM Symposium On Applied Computing (SAC), Track on Service-Oriented Architectures and Programming
• MET, International Workshop on Metamorphic Testing
• IWANN, International Work-Conference on Artificial Neural Networks
• ISTA, International Symposium on Intelligent Systems Technologies and Applications
• SITIS, International Conference on Signal Image Technology & Internet Based Systems
• ICCCI, International Conference on Computational Collective Intelligence Technologies and Applications
• C4BB4C, International Workshop on Clouds for Business and Business for Clouds

Reviewer for Conferences

• A-MOST’13, 9th Workshop on Advances in Model Based Testing.
• QSIC’13, 13th International Conference on Quality Software.
• Euro-par’11, 17th International European Conference on Parallel and Distributed Computing.
• ISCC’07, 12th IEEE Symposium on Computers and Communications.

Reviewer for Journals

• Journal of Systems and Software.
• IEEE Transactions on Reliability.
• Journal of Supercomputing.
• Journal of Simulation Modelling Practice and Theory.
• Journal of Zhejiang University-SCIENCE A.

• 2021 - Best new ideas paper at the SLE'21 conference: "New ideas: automated engineering of metamorphic testing environments for domain-specific languages"
• 2012 - Best Paper Award at the ICCS'12 conference: "Optimizing the Trade-offs Between Cost and Performance in Scientific Computing"
• 2009 - IBM Ph.D. Fellowship award. (Website)

• Research stay at Edinburgh Parallel Computing Centre (EPCC), University of Edinburgh (UK). From Jul/23/2018 to Aug/10/2018.
• Internship at IBM Almaden Research Center, Storage department (California, USA). From June 2009 to September 2009.
• Research stay at HLRS, University of Stuttgart (Germany). From July 2008 to October 2008.

• 2015 - US 8,989,507 B2. Mario Blaum, Alberto Núñez and Steven R. Hetzler. Bitmap compression for fast searches and updates.