A Methodology for Aiding Users to Design and Model Cloud Computing Architectures. - Alberto Nuñez; Pablo C. Cañizares; Manuel Núñez 001 (SITIS, 2014)

A Methodology for Designing Energy-aware Systems for Computational Science. - Pablo C. Cañizares; Alberto Núñez; Manuel Núñez 001; Juan José Pardo (ICCS, 2015)

FARTHEST: FormAl distRibuTed scHema to dEtect Suspicious arTefacts. - Pablo C. Cañizares; Mercedes G. Merayo; Alberto Núñez (ACIIDS (1), 2016)

EMINENT: EMbarrassINgly parallEl mutatioN Testing. - Pablo C. Cañizares; Mercedes G. Merayo; Alberto Núñez (ICCS, 2016)

OUTRIDER: Optimizing the mUtation Testing pRocess In Distributed EnviRonments. - Pablo C. Cañizares; Alberto Núñez; Juan de Lara (ICCS, 2017)

Using Ants to Fight Wildfire. - Pablo C. Cañizares; Mercedes G. Merayo; Alberto Núñez (IWANN (2), 2017)

MAGICIAN: Model-based design for optimizing the configuration of data-centers. - Pablo C. Cañizares; Alberto Núñez; Juan de Lara (SEKE, 2017)

SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools. - Elvira Albert; Pablo C. Cañizares; Esther Guerra; Juan de Lara; Esperanza Marcos; Manuel Núñez 001; Guillermo Román-Díez; Juan Manuel Vara; Damiano Zanardini (STAF Workshops, 2017)

LAnt: Model driven approach for ant colony optimization. - Pablo C. Cañizares; Mercedes G. Merayo; Juan M. Vara (J. Intell. Fuzzy Syst., 2017)

FORTIFIER: a FORmal disTrIbuted Framework to Improve the dEtection of thReatening objects in baggage. - Pablo C. Cañizares; Mercedes G. Merayo; Alberto Núñez (J. Inf. Telecommun., 2018)

Mutomvo: Mutation testing framework for simulated cloud and HPC environments. - Pablo C. Cañizares; Alberto Núñez; Mercedes G. Merayo (J. Syst. Softw., 2018)

A Framework for Modeling Cloud Infrastructures and User Interactions. - Adrian Bernal; María-Emilia Cambronero; Valentín Valero Ruiz; Alberto Nuñez; Pablo C. Cañizares (IEEE Access, 2019)

An expert system for checking the correctness of memory systems using simulation and metamorphic testing. - Pablo C. Cañizares; Alberto Núñez; Juan de Lara (Expert Syst. Appl., 2019)

Improving cloud architectures using UML profiles and M2T transformation techniques. - Adrian Bernal; María-Emilia Cambronero; Alberto Núñez; Pablo C. Cañizares; Valentín Valero (J. Supercomput., 2019)

MT-EA4Cloud: A Methodology For testing and optimising energy-aware cloud systems. - Pablo C. Cañizares; Alberto Núñez; Juan de Lara; Luis Llana (J. Syst. Softw., 2020)

Studying the Impact of the User Subscription Times in Different Cloud Configurations. - Hernán-Indibil de la Cruz; María-Emilia Cambronero; Valentín Valero; Pablo C. Cañizares; Adrian Bernal; Alberto Núñez (SEKE, 2021)

New ideas: automated engineering of metamorphic testing environments for domain-specific languages. - Pablo C. Cañizares; Pablo Gómez-Abajo; Alberto Núñez; Esther Guerra; Juan de Lara (SLE, 2021)

Analyzing the Cloud Performance Using Different User Subscription Times. - Adrian Bernal; María-Emilia Cambronero; Pablo C. Cañizares; Alberto Núñez; Valentín Valero; Hernán-Indibil de la Cruz (Int. J. Softw. Eng. Knowl. Eng., 2021)

Profiling SLAs for cloud system infrastructures and user interactions. - María-Emilia Cambronero; Adrian Bernal; Valentín Valero; Pablo C. Cañizares; Alberto Núñez (PeerJ Comput. Sci., 2021)

TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems. - Alberto Núñez; Pablo C. Cañizares; Manuel Núñez 001; Robert M. Hierons (IEEE Trans. Reliab., 2021)

Analyzing the reliability of simulated distributed systems using Metamorphic Testing. - Alberto Núñez; Pablo C. Cañizares; Pablo Gómez-Abajo; Esther Guerra; Juan de Lara (MET@ICSE, 2022)

Asymob: a platform for measuring and clustering chatbots. - Jose María López-Morales; Pablo C. Cañizares; Sara Pérez-Soler; Esther Guerra; Juan de Lara (ICSE-Companion, 2022)

Validating communication network configurations in cloud and HPC systems using Metamorphic Testing. - Pablo C. Cañizares; Miguel Pérez 002; Alberto Núñez; Rosa Filgueira (IECC, 2022)

Automatic test amplification for executable models. - Faezeh Khorram; Erwan Bousse; Jean-Marie Mottu; Gerson Sunyé; Pablo Gómez-Abajo; Pablo C. Cañizares; Esther Guerra; Juan de Lara (MoDELS, 2022)

Automating the measurement of heterogeneous chatbot designs. - Pablo C. Cañizares; Sara Pérez-Soler; Esther Guerra; Juan de Lara (SAC, 2022)

SINPA: SupportINg the automation of construction PlAnning. - Pablo C. Cañizares; Sonia Estévez Martín; Manuel Núñez 001 (Expert Syst. Appl., 2022)

CloudExpert: An intelligent system for selecting cloud system simulators. - Alberto Núñez; Pablo C. Cañizares; Juan de Lara (Expert Syst. Appl., 2022)

Chaos as a Software Product Line - A platform for improving open hybrid-cloud systems resiliency. - Carlos Camacho; Pablo C. Cañizares; Luis Llana; Alberto Núñez (Softw. Pract. Exp., 2022)

Evaluating cloud interactions with costs and SLAs. - Adrian Bernal; María-Emilia Cambronero; Alberto Núñez; Pablo C. Cañizares; Valentín Valero (J. Supercomput., 2022)

Gotten: A Model-Driven Solution to Engineer Domain-specific Metamorphic Testing Environments. - Pablo Gómez-Abajo; Pablo C. Cañizares; Alberto Núñez; Esther Guerra; Juan de Lara (MoDELS (Companion), 2023)

Automated engineering of domain-specific metamorphic testing environments. - Pablo Gómez-Abajo; Pablo C. Cañizares; Alberto Núñez; Esther Guerra; Juan de Lara (Inf. Softw. Technol., 2023)

Simcan2Cloud: a discrete-event-based simulator for modelling and simulating cloud computing infrastructures. - Pablo C. Cañizares; Alberto Núñez; Adrian Bernal; María-Emilia Cambronero; Adam Barker (J. Cloud Comput., 2023)

Coverage-based Strategies for the Automated Synthesis of Test Scenarios for Conversational Agents. - Pablo C. Cañizares; Romulo Daniel Avila Ortiz; Sara Pérez-Soler; Esther Guerra; Juan de Lara (AST@ICSE, 2024)

Mutation Testing for Task-Oriented Chatbots. - Pablo Gómez-Abajo; Sara Pérez-Soler; Pablo C. Cañizares; Esther Guerra; Juan de Lara (EASE, 2024)

Integrating Static Quality Assurance in CI Chatbot Development Workflows. - Jesús Sánchez Cuadrado; Romulo Daniel Avila Ortiz; Sara Pérez-Soler; Pablo C. Cañizares; Esther Guerra; Juan de Lara (IEEE Softw., 2024)

Mutation Testing for Task-Oriented Chatbots: Dataset. - Pablo Gómez-Abajo; Sara Pérez-Soler; Pablo C. Cañizares; Esther Guerra; Juan de Lara (Zenodo, 2024)

Parallel mutation testing for large scale systems. - Pablo C. Cañizares; Alberto Núñez; Rosa Filgueira; Juan de Lara (Clust. Comput., 2024)

Measuring and Clustering Heterogeneous Chatbot Designs. - Pablo C. Cañizares; Jose María López-Morales; Sara Pérez-Soler; Esther Guerra; Juan de Lara (ACM Trans. Softw. Eng. Methodol., 2024)

A language-parametric test amplification framework for executable domain-specific languages. - Faezeh Khorram; Erwan Bousse; Jean-Marie Mottu; Gerson Sunyé; Djamel Eddine Khelladi; Pablo Gómez-Abajo; Pablo C. Cañizares; Esther Guerra; Juan de Lara (Softw. Syst. Model., 2025)