Using Black-Box Modeling Techniques for Modern Disk Drives Service Time Simulation. - José Daniel García; Laura Prada; Javier Fernández 001; Alberto Nuñez; Jesús Carretero 001 (Annual Simulation Symposium, 2008)

New Techniques for Modeling File Data Distribution on Storage Nodes. - Alberto Nuñez; Javier Fernández 001; José Daniel García; Laura Prada; Jesús Carretero 001 (Annual Simulation Symposium, 2008)

New techniques for simulating high performance MPI applications on large storage networks. - Alberto Nuñez; Javier Fernández 001; José Daniel García; Jesús Carretero 001 (CLUSTER, 2008)

M-PLAT: Multi-Programming Language Adaptive Tutor. - Alberto Nuñez; Javier Fernández 001; José Daniel García; Laura Prada; Jesús Carretero 001 (ICALT, 2008)

Analyzing Scalable High-Performance I/O Architectures. - Alberto Nuñez; Javier Fernández 001; José Daniel García; Jesús Carretero 001 (PDPTA, 2008)

SIMCAN: a SIMulator framework for computer architectures and storage networks. - Alberto Nuñez; Javier Fernández 001; José Daniel García; Laura Prada; Jesús Carretero 001 (SimuTools, 2008)

An Efficient Deployment Strategy for Large Sets of Virtual Appliances. - Alejandra Rodríguez; Jesús Carretero 001; Alberto Nuñez; Borja Bergua; Félix García Carballeira; José Daniel García (PDPTA, 2009)

New Contributions for Simulating Large Distributed Systems. - Alberto Nuñez; Javier Fernández 001; Jesús Carretero 001 (DS-RT, 2010)

New techniques for simulating high performance MPI applications on large storage networks. - Alberto Nuñez; Javier Fernández 001; José Daniel García; Félix García 002; Jesús Carretero 001 (J. Supercomput., 2010)

Optimizing Distributed Architectures to Improve Performance on Checkpointing Applications. - Alberto Nuñez; Javier Fernández 001; Jesús Carretero 001; Laura Prada; Mario Blaum (HPCC, 2011)

A Power-Aware Based Storage Architecture for High Performance Computing. - Laura Prada; Javier García 005; José Daniel García; Jesús Carretero 001; Alberto Nuñez (HPCC, 2011)

Design of a New Cloud Computing Simulation Platform. - Alberto Nuñez; José Luis Vázquez-Poletti; Agustín C. Caminero; Jesús Carretero 001; Ignacio Martín Llorente (ICCSA (3), 2011)

An Adaptive, Scalable, and Portable Technique for Speeding Up MPI-Based Applications. - Rosa Filgueira; Malcolm P. Atkinson 001; Alberto Nuñez; Javier Fernández 001 (Euro-Par, 2012)

OCE: An Online Colaborative Editor. - César Andrés; Rui Abreu 001; Alberto Nuñez (ICCCI (2), 2012)

Preventing Attacks by Classifying User Models in a Collaborative Scenario. - César Andrés; Alberto Nuñez; Manuel Núñez 001 (ICCCI (1), 2012)

MAScloud: A Framework Based on Multi-Agent Systems for Optimizing Cost in Cloud Computing. - Alberto Nuñez; César Andrés; Mercedes G. Merayo (ICCCI (1), 2012)

iCanCloud: A Brief Architecture Overview. - Gabriel G. Castañé; Alberto Nuñez; Jesús Carretero 001 (ISPA, 2012)

iCanCloud: A Flexible and Scalable Cloud Infrastructure Simulator. - Alberto Nuñez; José Luis Vázquez-Poletti; Agustín C. Caminero; Gabriel G. Castañé; Jesús Carretero 001; Ignacio Martín Llorente (J. Grid Comput., 2012)

Dimensioning Scientific Computing Systems to Improve Performance of Map-Reduce based Applications. - Gabriel G. Castañé; Alberto Nuñez; Rosa Filgueira; Jesús Carretero 001 (ICCS, 2012)

Optimizing the Trade-offs Between Cost and Performance in Scientific Computing. - Alberto Nuñez; César Andrés; Mercedes G. Merayo (ICCS, 2012)

SIMCAN: A flexible, scalable and expandable simulation platform for modelling and simulating distributed architectures and applications. - Alberto Nuñez; Javier Fernández 001; Rosa Filgueira; Félix García 002; Jesús Carretero 001 (Simul. Model. Pract. Theory, 2012)

Dynamic-CoMPI: dynamic optimization techniques for MPI parallel applications. - Rosa Filgueira; Jesús Carretero 001; David E. Singh; Alejandro Calderón 001; Alberto Nuñez (J. Supercomput., 2012)

SANComSim: A Scalable, Adaptive and Non-intrusive Framework to Optimize Performance in Computational Science Applications. - Alberto Nuñez; Rosa Filgueira; Mercedes G. Merayo (ICCS, 2013)

E-mc2: A formal framework for energy modelling in cloud computing. - Gabriel G. Castañé; Alberto Nuñez; Pablo Llopis; Jesús Carretero 001 (Simul. Model. Pract. Theory, 2013)

Using genetic algorithms to generate test sequences for complex timed systems. - Alberto Nuñez; Mercedes G. Merayo; Robert M. Hierons; Manuel Núñez 001 (Soft Comput., 2013)

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 formal framework to analyze cost and performance in Map-Reduce based applications. - Alberto Nuñez; Mercedes G. Merayo (J. Comput. Sci., 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)

A methodology for validating cloud models using metamorphic testing. - Alberto Nuñez; Robert M. Hierons (Ann. des Télécommunications, 2015)

Passive testing of communicating systems with timeouts. - Mercedes G. Merayo; Alberto Núñez (Inf. Softw. Technol., 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)

Cost-related interface for software product lines. - Carlos Camacho; Luis Llana; Alberto Núñez (J. Log. Algebraic Methods Program., 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)

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)

SIMCAN: A simulator to improve the learning of distributed and high-performance computing systems in engineering degrees. - Alberto Núñez; Carolina Mañoso; Angel Pérez de Madrid; Simon Pickin 001 (Comput. Appl. Eng. Educ., 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)

Probabilistic software product lines. - Carlos Camacho; Luis Llana; Alberto Núñez; Mario Bravetti (J. Log. Algebraic Methods Program., 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)

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)

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)

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