Cerro Cañizares, Pablo pablo.cerro@uam.es
Publications
- Articles 15
- Books 0
- Book chapters 0
- Conferences 13
- Working papers 0
- Technical reports 0
- Research projects 0
- Supervised theses 1
- Patent or software license 0
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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- ISSN 10641246
This researcher has no books.
This researcher has no book chapters.
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
Lecture Notes In Computer Science (p. 367-374) - 1/1/2018
10.1007/978-3-319-74730-9_32 View at source
- 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 View at source
- 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
This researcher has no working papers.
This researcher has no technical reports.
This researcher has no research projects.
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
This researcher has no patents or software licenses.
Research groups
-
Modelado E Ingeniería Del Software
Role: Miembro
Researcher profiles
-
ORCID
-
Scopus Author ID
-
Dialnet id