Alberto Nuñez

Orcid: 0000-0001-8613-746X

According to our database1, Alberto Nuñez authored at least 58 papers between 2008 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Parallel mutation testing for large scale systems.
Clust. Comput., April, 2024

2023
Simcan2Cloud: a discrete-event-based simulator for modelling and simulating cloud computing infrastructures.
J. Cloud Comput., December, 2023

Automated engineering of domain-specific metamorphic testing environments.
Inf. Softw. Technol., May, 2023

Gotten: A Model-Driven Solution to Engineer Domain-specific Metamorphic Testing Environments.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022
Evaluating cloud interactions with costs and SLAs.
J. Supercomput., 2022

Chaos as a Software Product Line - A platform for improving open hybrid-cloud systems resiliency.
Softw. Pract. Exp., 2022

CloudExpert: An intelligent system for selecting cloud system simulators.
Expert Syst. Appl., 2022

Validating communication network configurations in cloud and HPC systems using Metamorphic Testing.
Proceedings of the IECC 2022: 4th International Electronics Communication Conference, Tokyo, Japan, July 8, 2022

Analyzing the reliability of simulated distributed systems using Metamorphic Testing.
Proceedings of the IEEE/ACM 7th International Workshop on Metamorphic Testing, 2022

2021
TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems.
IEEE Trans. Reliab., 2021

Profiling SLAs for cloud system infrastructures and user interactions.
PeerJ Comput. Sci., 2021

Analyzing the Cloud Performance Using Different User Subscription Times.
Int. J. Softw. Eng. Knowl. Eng., 2021

New ideas: automated engineering of metamorphic testing environments for domain-specific languages.
Proceedings of the SLE '21: 14th ACM SIGPLAN International Conference on Software Language Engineering, Chicago, IL, USA, October 17, 2021

Studying the Impact of the User Subscription Times in Different Cloud Configurations.
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

2020
MT-EA4Cloud: A Methodology For testing and optimising energy-aware cloud systems.
J. Syst. Softw., 2020

2019
Improving cloud architectures using UML profiles and M2T transformation techniques.
J. Supercomput., 2019

Probabilistic software product lines.
J. Log. Algebraic Methods Program., 2019

An expert system for checking the correctness of memory systems using simulation and metamorphic testing.
Expert Syst. Appl., 2019

SIMCAN: A simulator to improve the learning of distributed and high-performance computing systems in engineering degrees.
Comput. Appl. Eng. Educ., 2019

A Framework for Modeling Cloud Infrastructures and User Interactions.
IEEE Access, 2019

2018
Mutomvo: Mutation testing framework for simulated cloud and HPC environments.
J. Syst. Softw., 2018

FORTIFIER: a FORmal disTrIbuted Framework to Improve the dEtection of thReatening objects in baggage.
J. Inf. Telecommun., 2018

2017
MAGICIAN: Model-based design for optimizing the configuration of data-centers.
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

Using Ants to Fight Wildfire.
Proceedings of the Advances in Computational Intelligence, 2017

OUTRIDER: Optimizing the mUtation Testing pRocess In Distributed EnviRonments.
Proceedings of the International Conference on Computational Science, 2017

2016
Cost-related interface for software product lines.
J. Log. Algebraic Methods Program., 2016

EMINENT: EMbarrassINgly parallEl mutatioN Testing.
Proceedings of the International Conference on Computational Science 2016, 2016

FARTHEST: FormAl distRibuTed scHema to dEtect Suspicious arTefacts.
Proceedings of the Intelligent Information and Database Systems - 8th Asian Conference, 2016

2015
Passive testing of communicating systems with timeouts.
Inf. Softw. Technol., 2015

A methodology for validating cloud models using metamorphic testing.
Ann. des Télécommunications, 2015

A Methodology for Designing Energy-aware Systems for Computational Science.
Proceedings of the International Conference on Computational Science, 2015

2014
A formal framework to analyze cost and performance in Map-Reduce based applications.
J. Comput. Sci., 2014

A Methodology for Aiding Users to Design and Model Cloud Computing Architectures.
Proceedings of the Tenth International Conference on Signal-Image Technology and Internet-Based Systems, 2014

2013
Using genetic algorithms to generate test sequences for complex timed systems.
Soft Comput., 2013

E-mc<sup>2</sup>: A formal framework for energy modelling in cloud computing.
Simul. Model. Pract. Theory, 2013

SANComSim: A Scalable, Adaptive and Non-intrusive Framework to Optimize Performance in Computational Science Applications.
Proceedings of the International Conference on Computational Science, 2013

2012
Dynamic-CoMPI: dynamic optimization techniques for MPI parallel applications.
J. Supercomput., 2012

SIMCAN: A flexible, scalable and expandable simulation platform for modelling and simulating distributed architectures and applications.
Simul. Model. Pract. Theory, 2012

Optimizing the Trade-offs Between Cost and Performance in Scientific Computing.
Proceedings of the International Conference on Computational Science, 2012

Dimensioning Scientific Computing Systems to Improve Performance of Map-Reduce based Applications.
Proceedings of the International Conference on Computational Science, 2012

iCanCloud: A Flexible and Scalable Cloud Infrastructure Simulator.
J. Grid Comput., 2012

iCanCloud: A Brief Architecture Overview.
Proceedings of the 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, 2012

MAScloud: A Framework Based on Multi-Agent Systems for Optimizing Cost in Cloud Computing.
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2012

Preventing Attacks by Classifying User Models in a Collaborative Scenario.
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2012

OCE: An Online Colaborative Editor.
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2012

An Adaptive, Scalable, and Portable Technique for Speeding Up MPI-Based Applications.
Proceedings of the Euro-Par 2012 Parallel Processing - 18th International Conference, 2012

2011
Design of a New Cloud Computing Simulation Platform.
Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011

A Power-Aware Based Storage Architecture for High Performance Computing.
Proceedings of the 13th IEEE International Conference on High Performance Computing & Communication, 2011

Optimizing Distributed Architectures to Improve Performance on Checkpointing Applications.
Proceedings of the 13th IEEE International Conference on High Performance Computing & Communication, 2011

2010
New techniques for simulating high performance MPI applications on large storage networks.
J. Supercomput., 2010

New Contributions for Simulating Large Distributed Systems.
Proceedings of the DS-RT '10 Proceedings of the 2010 IEEE/ACM 14th International Symposium on Distributed Simulation and Real Time Applications, 2010

2009
An Efficient Deployment Strategy for Large Sets of Virtual Appliances.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2009

2008
SIMCAN: a SIMulator framework for computer architectures and storage networks.
Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, 2008

Analyzing Scalable High-Performance I/O Architectures.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2008

M-PLAT: Multi-Programming Language Adaptive Tutor.
Proceedings of the 8th IEEE International Conference on Advanced Learning Technologies, 2008

New techniques for simulating high performance MPI applications on large storage networks.
Proceedings of the 2008 IEEE International Conference on Cluster Computing, 29 September, 2008

New Techniques for Modeling File Data Distribution on Storage Nodes.
Proceedings of the Proceedings 41st Annual Simulation Symposium (ANSS-41 2008), 2008

Using Black-Box Modeling Techniques for Modern Disk Drives Service Time Simulation.
Proceedings of the Proceedings 41st Annual Simulation Symposium (ANSS-41 2008), 2008


  Loading...