RDF/XML JSON-LD N3/Turtle RDF/JSON
Perfil en el portal institucional

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

Ingeniería informática / Universidad Autónoma de Madrid

Actividades

An expert system for checking the correctness of memory systems using simulation and metamorphic testing

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

Expert Systems With Applications (p. 44-62) - 15/10/2019

10.1016/j.eswa.2019.04.070 Ver en origen

  • ISSN 09574174

Analyzing the Cloud Performance Using Different User Subscription Times

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

INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING (p. 1699-1720) - 1/12/2021

10.1142/s0218194021400180 Ver en origen

  • ISSN 02181940

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

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

CloudExpert: An intelligent system for selecting cloud system simulators

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

EXPERT SYSTEMS WITH APPLICATIONS - 1/1/2022

10.1016/j.eswa.2021.115955 Ver en origen

  • ISSN 09574174

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

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

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

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

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

Este/a investigador/a no tiene libros.

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

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

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

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