Publications dans lesquelles il/elle collabore avec ALBERTO NÚÑEZ COVARRUBIAS (22)

2022

  1. Chaos as a Software Product Line—A platform for improving open hybrid-cloud systems resiliency

    Software - Practice and Experience, Vol. 52, Núm. 7, pp. 1581-1614

2021

  1. TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems

    IEEE Transactions on Reliability, Vol. 70, Núm. 1, pp. 261-284

2020

  1. MT-EA4Cloud: A Methodology For testing and optimising energy-aware cloud systems

    Journal of Systems and Software, Vol. 163

2019

  1. Probabilistic software product lines

    Journal of Logical and Algebraic Methods in Programming, Vol. 107, pp. 54-78

2018

  1. Fortifier: A formal distributed framework to improve the detection of threatening objects in baggage

    Journal of Information and Telecommunication, Vol. 2, Núm. 1, pp. 2-18

  2. Mutomvo: Mutation testing framework for simulated cloud and HPC environments

    Journal of Systems and Software, Vol. 143, pp. 187-207

2017

  1. A hybrid Ant Colony based system for assist the prevention and mitigation of wildfires in forests

    2017 2nd IEEE International Conference on Computational Intelligence and Applications, ICCIA 2017

  2. Using ants to fight wildfire

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2016

  1. Cost-related interface for software product lines

    Journal of Logical and Algebraic Methods in Programming, Vol. 85, Núm. 1, pp. 227-244

  2. EMINENT: Embarrassingly parallel mutation testing

    Procedia Computer Science

  3. FARTHEST: FormAl distRibuTed scHema to dEtect suspicious arTefacts

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2015

  1. A methodology for designing energy-aware systems for computational science

    Procedia Computer Science

  2. Passive testing of communicating systems with timeouts

    Information and Software Technology

2014

  1. A formal framework to analyze cost and performance in Map-Reduce based applications

    Journal of Computational Science, Vol. 5, Núm. 2, pp. 106-118

  2. A methodology for aiding users to design and model cloud computing architectures

    Proceedings - 10th International Conference on Signal-Image Technology and Internet-Based Systems, SITIS 2014

2013

  1. Using genetic algorithms to generate test sequences for complex timed systems

    Soft Computing, Vol. 17, Núm. 2, pp. 301-315

2012

  1. ICanCloud: A Flexible and Scalable Cloud Infrastructure Simulator

    Journal of Grid Computing, Vol. 10, Núm. 1, pp. 185-209

  2. MAScloud: A framework based on multi-agent systems for optimizing cost in cloud computing

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Optimizing the trade-offs between cost and performance in Scientific Computing

    Procedia Computer Science

  4. Preventing attacks by classifying user models in a collaborative scenario

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)