Publicaciones en las que colabora con MANUEL NÚÑEZ GARCÍA (6)

2021

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

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

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

2015

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

    Procedia Computer Science

2014

  1. 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. 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)