MANUEL
NÚÑEZ GARCÍA
Catedrático de universidad
ALBERTO
NÚÑEZ COVARRUBIAS
Profesor titular de universidad
Publicacións nas que colabora con ALBERTO NÚÑEZ COVARRUBIAS (6)
2021
-
TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems
IEEE Transactions on Reliability, Vol. 70, Núm. 1, pp. 261-284
2017
-
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
-
A methodology for designing energy-aware systems for computational science
Procedia Computer Science
2014
-
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
-
Using genetic algorithms to generate test sequences for complex timed systems
Soft Computing, Vol. 17, Núm. 2, pp. 301-315
2012
-
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)