Research interests


Currently, my research interests include:

  • Formal modelling of cloud computing 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.

Publications


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


Research projects


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


Supervised Ph.D. students


Current students

201? - 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

201? - Testing and modeling cloud computing systems using Metamorphic Testing and Model Driven Engineering (Together with Juan de Lara)

  • Student: Pablo Cerro Cañizares

Former students

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


Scientific community particitation


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

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

ICISA, International Conference on Information Science and Applications

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

ICNS, International Conference on Networking and Services


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.

Journal of Supercomputing.

Journal of Simulation Modelling Practice and Theory.

Journal of Zhejiang University-SCIENCE A.


Awards


2012 - Best Paper Award at the International Conference on Computational Science (ICCS'12)

2009 - IBM Ph.D. Fellowship award. (Website)


Research stay


2009 - Internship at IBM Almaden Research Center, Storage department (California, USA). From June 2009 to September 2009.
2008 - EC-funded invitation for visit within the project HPC-Europa. University of Stuttgart (Germany). From July 2008 to October 2008.


Patents


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