Cerro Cañizares, Pablo pablo.cerro@uam.es
Actividades
- Artículos 15
- Libros 0
- Capítulos de libro 0
- Congresos 13
- Documentos de trabajo 0
- Informes técnicos 0
- Proyectos de investigación 0
- Tesis dirigidas 1
- Patentes o licencias de software 0
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
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
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
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
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
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
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
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
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.
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
Proceedings - 25th Acm/Ieee International Conference On Model Driven Engineering Languages And Systems, Models 2022 (p. 109-120) - 23/10/2022
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
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
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.
Grupos de investigación
-
Modelado E Ingeniería Del Software
Rol: Miembro
Perfiles de investigador/a
-
ORCID
-
Scopus Author ID
-
Dialnet id