Cerro Cañizares, Pablo pablo.cerro@uam.es

Actividades

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

  • Nunez A
  • Canizares PC
  • Nunez M
  • Hierons RM

Ieee Transactions On Reliability (p. 261-284) - 1/3/2021

10.1109/tr.2020.3011512 Ver en origen

  • ISSN 00189529

SINPA: SupportINg the automation of construction PlAnning

  • Canizares, Pablo C.
  • Estevez-Martin, Sonia
  • Nunez, Manuel;

EXPERT SYSTEMS WITH APPLICATIONS - 15/3/2022

10.1016/j.eswa.2021.116149 Ver en origen

  • ISSN 09574174

Profiling SLAs for cloud system infrastructures and user interactions

  • Cambronero, M. Emilia
  • Bernal, Adrian
  • Valero, Valentin
  • Canizares, Pablo C.
  • Nunez, Alberto;

PEERJ COMPUTER SCIENCE (p. 1-37) - 1/1/2021

10.7717/peerj-cs.513 Ver en origen

  • ISSN 23765992

Parallel mutation testing for large scale systems

  • Cañizares PC
  • Núñez A
  • Filgueira R
  • de Lara J

Cluster Computing-The Journal Of Networks Software Tools And Applications - 1/1/2023

10.1007/s10586-023-04074-y Ver en origen

  • ISSN 13867857

Mutomvo: Mutation testing framework for simulated cloud and HPC environments

  • Canizares, Pablo C
  • Nunez, Alberto
  • Merayo, Mercedes G

JOURNAL OF SYSTEMS AND SOFTWARE (p. 187-207) - 1/9/2018

10.1016/j.jss.2018.05.010 Ver en origen

  • ISSN 01641212

MT-EA4Cloud: A Methodology For testing and optimising energy-aware cloud systems

  • Cañizares P
  • Núñez A
  • de Lara J
  • Llana L

JOURNAL OF SYSTEMS AND SOFTWARE - 1/5/2020

10.1016/j.jss.2020.110522 Ver en origen

  • ISSN 01641212

LAnt: Model driven approach for ant colony optimization

  • Canizares, Pablo C
  • Merayo, Mercedes G
  • Vara, Juan M

JOURNAL OF INTELLIGENT & FUZZY SYSTEMS (p. 1343-1351) - 1/1/2017

10.3233/jifs-169132 Ver en origen

  • ISSN 10641246

Improving cloud architectures using UML profiles and M2T transformation techniques

  • Bernal, Adrian
  • Emilia Cambronero, M
  • Nunez, Alberto
  • Canizares, Pablo C
  • Valero, Valentin

JOURNAL OF SUPERCOMPUTING (p. 8012-8058) - 1/12/2019

10.1007/s11227-019-02980-w Ver en origen

  • ISSN 09208542

Fortifier: A formal distributed framework to improve the detection of threatening objects in baggage

  • Cañizares PC
  • Merayo MG
  • Núñez A

Journal of Information and Telecommunication (p. 2-18) - 1/1/2018

10.1080/24751839.2017.1347766 Ver en origen

  • ISSN 24751839

Evaluating cloud interactions with costs and SLAs

  • Bernal A
  • Cambronero ME
  • Núñez A
  • Cañizares PC
  • Valero V

JOURNAL OF SUPERCOMPUTING (p. 7529-7555) - 1/4/2022

10.1007/s11227-021-04197-2 Ver en origen

  • ISSN 09208542

Este/a investigador/a no tiene libros.

Este/a investigador/a no tiene capítulos de libro.

Analyzing the reliability of simulated distributed systems using Metamorphic Testing

  • Nunez A
  • Canizares PC
  • Gomez-Abajo P
  • Guerra E
  • De Lara J

Proceedings - 7th International Workshop On Metamorphic Testing, Met 2022 (p. 34-41) - 1/1/2022

10.1145/3524846.3527342 Ver en origen

A multi-agent system architecture for statistics managing and soccer forecasting

  • Cañizares P
  • Merayo M
  • Núñez M
  • Suárez-Paniagua V

2017 2nd Ieee International Conference On Computational Intelligence And Applications, Iccia 2017 (p. 572-576) - 4/12/2017

10.1109/ciapp.2017.8167282 Ver en origen

A hybrid Ant Colony based system for assist the prevention and mitigation of wildfires in forests

  • Cañizares P
  • Núñez A
  • Merayo M
  • Núñez M

2017 2nd Ieee International Conference On Computational Intelligence And Applications, Iccia 2017 (p. 577-581) - 4/12/2017

10.1109/ciapp.2017.8167283 Ver en origen

Este/a investigador/a no tiene documentos de trabajo.

Este/a investigador/a no tiene informes técnicos.

Este/a investigador/a no tiene proyectos de investigación.

Modelling and validation of cloud systems using model driven engineering, metamorphic and mutation testing

  • CERRO CAÑIZARES, PABLO (Autor o Coautor)
  • Juan de Lara Jaramillo (Director)
  • Alberto Núñez Covarrubias (Director) Doctorando: Pablo Cerro Cañizares

1/1/2020

  • iMarina

Este/a investigador/a no tiene patentes o licencias de software.

Última actualización de los datos: 18/03/24 12:38