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

Actividades

Chaos as a Software Product Line—A platform for improving open hybrid-cloud systems resiliency

  • Camacho C
  • Cañizares PC
  • Llana L
  • Núñez A

Software-Practice & Experience (p. 1581-1614) - 1/7/2022

10.1002/spe.3076 Ver en origen

  • ISSN 1097024X

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

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

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

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

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

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

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

Automated engineering of domain-specific metamorphic testing environments

  • Gómez-Abajo, P
  • Cañizares, PC
  • Núñez, A
  • Guerra, E
  • de Lara, J

Information And Software Technology - 1/5/2023

10.1016/j.infsof.2023.107164 Ver en origen

  • ISSN 09505849

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

Este/a investigador/a no tiene libros.

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

Automating the measurement of heterogeneous chatbot designs

  • Cañizares PC
  • Pérez-Soler S
  • Guerra E
  • De Lara J

Proceedings of the ACM Symposium on Applied Computing (p. 1491-1498) - 25/4/2022

10.1145/3477314.3507255 Ver en origen

Studying the impact of the user subscription times in different cloud configurations

  • de la Cruz HI
  • Cambronero ME
  • Valero V
  • Cañizares PC
  • Bernal A
  • Núñez A

Proceedings Of The International Conference On Software Engineering And Knowledge Engineering, Seke (p. 211-216) - 1/1/2021

10.18293/seke2021-095 Ver en origen

  • ISSN 23259000

MAGICIAN: Model-based design for optimizing the configuration of data-centers

  • Cañizares P
  • Núñez A
  • De Lara J

Proceedings Of The International Conference On Software Engineering And Knowledge Engineering, Seke (p. 602-607) - 1/1/2017

10.18293/seke2017-108 Ver en origen

  • ISSN 23259000

Asymob: a platform for measuring and clustering chatbots

  • Lopez-Morales JM
  • Canizares PC
  • Perez-Soler S
  • Guerra E
  • De Lara J

Proceedings - International Conference On Software Engineering (p. 16-20) - 1/1/2022

10.1109/icse-companion55297.2022.9793784 Ver en origen

  • ISSN 02705257

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

Automatic test amplification for executable models

  • Khorram F
  • Bousse E
  • Mottu JM
  • Sunyé G
  • Gómez-Abajo P
  • Cañizares PC
  • Guerra E
  • De Lara J
... Ver más Contraer

Proceedings - 25th Acm/Ieee International Conference On Model Driven Engineering Languages And Systems, Models 2022 (p. 109-120) - 23/10/2022

10.1145/3550355.3552451 Ver en origen

EMINENT: Embarrassingly parallel mutation testing

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

Procedia Computer Science (p. 63-73) - 1/1/2016

10.1016/j.procs.2016.05.298 Ver en origen

  • ISSN 18770509

OUTRIDER: Optimizing the mutation Testing pRocess In Distributed EnviRonments

  • Canizares, Pablo C.
  • Nunez, Alberto
  • de Tiara, Juan;

Procedia Computer Science (p. 505-514) - 1/1/2017

10.1016/j.procs.2017.05.095 Ver en origen

  • ISSN 18770509

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

  • Albert E
  • Cañizares P
  • Guerra E
  • de Lara J
  • Marcos E
  • Núñez M
  • Román-Díez G
  • Vara J
  • Zanardini D
... Ver más Contraer

Lecture Notes In Computer Science (p. 367-374) - 1/1/2018

10.1007/978-3-319-74730-9_32 Ver en origen

  • ISSN 03029743

Validating communication network configurations in cloud and HPC systems using Metamorphic Testing

  • Cañizares PC
  • Pérez M
  • Núñez A
  • Filgueira R

ACM International Conference Proceeding Series (p. 55-62) - 7/8/2022

10.1145/3560089.3560098 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