ALBERTO
NÚÑEZ COVARRUBIAS
Profesor titular de universidad
MARÍA DE LAS MERCEDES
GARCÍA MERAYO
Catedrática de universidad
Publications by the researcher in collaboration with MARÍA DE LAS MERCEDES GARCÍA MERAYO (11)
2018
-
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
-
Mutomvo: Mutation testing framework for simulated cloud and HPC environments
Journal of Systems and Software, Vol. 143, pp. 187-207
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
-
Using ants to fight wildfire
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016
-
EMINENT: Embarrassingly parallel mutation testing
Procedia Computer Science
-
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
-
Passive testing of communicating systems with timeouts
Information and Software Technology
2014
-
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
2013
-
Using genetic algorithms to generate test sequences for complex timed systems
Soft Computing, Vol. 17, Núm. 2, pp. 301-315
2012
-
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)
-
Optimizing the trade-offs between cost and performance in Scientific Computing
Procedia Computer Science