Publications by the researcher in collaboration with PABLO CERRO CAÑIZARES (17)

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

  2. SINPA: SupportINg the automation of construction PlAnning

    Expert Systems with Applications, Vol. 190

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

2018

  1. A tool-supported framework for work planning on construction sites based on constraint programming

    Automation in Construction, Vol. 86, pp. 190-198

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

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

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

  4. SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools

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

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. A multi-agent system architecture for statistics managing and soccer forecasting

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

  3. LAnt: Model driven approach for ant colony optimization 1

    Journal of Intelligent and Fuzzy Systems

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

  3. Intelligent secure communications between systems

    Studies in Computational Intelligence

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