Publicaciones en las que colabora con MARÍA DE LAS MERCEDES GARCÍA MERAYO (11)

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. EMINENT: Embarrassingly parallel mutation testing

    Procedia Computer Science

  2. 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. 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

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

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

    Procedia Computer Science