Alberto Núñez

31 papers B 1C 2Misc 3Journal 20Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Multi-objective optimization of cloud systems.
Sci. Comput. Program.
Miguel Pérez, Pablo C. Cañizares, Alberto Núñez
2025 J jnl
Simcan2Fog: A discrete-event platform for the modelling and simulation of Fog computing environments.
SoftwareX
Ulysses de Aguilar, Pablo C. Cañizares, Alberto Núñez
2024 J jnl
Parallel mutation testing for large scale systems.
Clust. Comput.
Pablo C. Cañizares, Alberto Núñez, Rosa Filgueira, Juan de Lara
2023 J jnl
Automated engineering of domain-specific metamorphic testing environments.
Inf. Softw. Technol.
Pablo Gómez-Abajo, Pablo C. Cañizares, Alberto Núñez, Esther Guerra, Juan de Lara
2023 — conf
Gotten: A Model-Driven Solution to Engineer Domain-specific Metamorphic Testing Environments.
MoDELS (Companion)
Pablo Gómez-Abajo, Pablo C. Cañizares, Alberto Núñez, Esther Guerra, Juan de Lara
2023 J jnl
Simcan2Cloud: a discrete-event-based simulator for modelling and simulating cloud computing infrastructures.
J. Cloud Comput.
Pablo C. Cañizares, Alberto Núñez, Adrian Bernal, María-Emilia Cambronero, Adam Barker
2022 — conf
Analyzing the reliability of simulated distributed systems using Metamorphic Testing.
MET@ICSE
Alberto Núñez, Pablo C. Cañizares, Pablo Gómez-Abajo, Esther Guerra, Juan de Lara
2022 J jnl
Chaos as a Software Product Line - A platform for improving open hybrid-cloud systems resiliency.
Softw. Pract. Exp.
Carlos Camacho, Pablo C. Cañizares, Luis Llana, Alberto Núñez
2022 J jnl
CloudExpert: An intelligent system for selecting cloud system simulators.
Expert Syst. Appl.
Alberto Núñez, Pablo C. Cañizares, Juan de Lara
2022 J jnl
Evaluating cloud interactions with costs and SLAs.
J. Supercomput.
Adrian Bernal, María-Emilia Cambronero, Alberto Núñez, Pablo C. Cañizares, Valentín Valero
2022 — conf
Validating communication network configurations in cloud and HPC systems using Metamorphic Testing.
IECC
Pablo C. Cañizares, Miguel Pérez, Alberto Núñez, Rosa Filgueira
2021 J jnl
Analyzing the Cloud Performance Using Different User Subscription Times.
Int. J. Softw. Eng. Knowl. Eng.
Adrian Bernal, María-Emilia Cambronero, Pablo C. Cañizares, Alberto Núñez, Valentín Valero, Hernán-Indibil de la Cruz
2021 B conf
New ideas: automated engineering of metamorphic testing environments for domain-specific languages.
SLE
Pablo C. Cañizares, Pablo Gómez-Abajo, Alberto Núñez, Esther Guerra, Juan de Lara
2021 J jnl
Profiling SLAs for cloud system infrastructures and user interactions.
PeerJ Comput. Sci.
María-Emilia Cambronero, Adrian Bernal, Valentín Valero, Pablo C. Cañizares, Alberto Núñez
2021 C conf
Studying the Impact of the User Subscription Times in Different Cloud Configurations.
SEKE
Hernán-Indibil de la Cruz, María-Emilia Cambronero, Valentín Valero, Pablo C. Cañizares, Adrian Bernal, Alberto Núñez
2021 J jnl
TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems.
IEEE Trans. Reliab.
Alberto Núñez, Pablo C. Cañizares, Manuel Núñez, Robert M. Hierons
2020 J jnl
MT-EA4Cloud: A Methodology For testing and optimising energy-aware cloud systems.
J. Syst. Softw.
Pablo C. Cañizares, Alberto Núñez, Juan de Lara, Luis Llana
2019 J jnl
An expert system for checking the correctness of memory systems using simulation and metamorphic testing.
Expert Syst. Appl.
Pablo C. Cañizares, Alberto Núñez, Juan de Lara
2019 J jnl
Improving cloud architectures using UML profiles and M2T transformation techniques.
J. Supercomput.
Adrian Bernal, María-Emilia Cambronero, Alberto Núñez, Pablo C. Cañizares, Valentín Valero
2019 J jnl
Probabilistic software product lines.
J. Log. Algebraic Methods Program.
Carlos Camacho, Luis Llana, Alberto Núñez, Mario Bravetti
2019 J jnl
SIMCAN: A simulator to improve the learning of distributed and high-performance computing systems in engineering degrees.
Comput. Appl. Eng. Educ.
Alberto Núñez, Carolina Mañoso, Angel Pérez de Madrid, Simon Pickin
2018 J jnl
FORTIFIER: a FORmal disTrIbuted Framework to Improve the dEtection of thReatening objects in baggage.
J. Inf. Telecommun.
Pablo C. Cañizares, Mercedes G. Merayo, Alberto Núñez
2018 J jnl
Mutomvo: Mutation testing framework for simulated cloud and HPC environments.
J. Syst. Softw.
Pablo C. Cañizares, Alberto Núñez, Mercedes G. Merayo
2017 C conf
MAGICIAN: Model-based design for optimizing the configuration of data-centers.
SEKE
Pablo C. Cañizares, Alberto Núñez, Juan de Lara
2017 Misc conf
OUTRIDER: Optimizing the mUtation Testing pRocess In Distributed EnviRonments.
ICCS
Pablo C. Cañizares, Alberto Núñez, Juan de Lara
2017 — conf
Using Ants to Fight Wildfire.
IWANN (2)
Pablo C. Cañizares, Mercedes G. Merayo, Alberto Núñez
2016 J jnl
Cost-related interface for software product lines.
J. Log. Algebraic Methods Program.
Carlos Camacho, Luis Llana, Alberto Núñez
2016 Misc conf
EMINENT: EMbarrassINgly parallEl mutatioN Testing.
ICCS
Pablo C. Cañizares, Mercedes G. Merayo, Alberto Núñez
2016 — conf
FARTHEST: FormAl distRibuTed scHema to dEtect Suspicious arTefacts.
ACIIDS (1)
Pablo C. Cañizares, Mercedes G. Merayo, Alberto Núñez
2015 Misc conf
A Methodology for Designing Energy-aware Systems for Computational Science.
ICCS
Pablo C. Cañizares, Alberto Núñez, Manuel Núñez, Juan José Pardo
2015 J jnl
Passive testing of communicating systems with timeouts.
Inf. Softw. Technol.
Mercedes G. Merayo, Alberto Núñez