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
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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- 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 View at source
- 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 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
This researcher has no books.
This researcher has no book chapters.
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
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
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
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 View at source
- ISSN 18770509
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 View at source
- ISSN 23259000
ISO-Cloud: An Intelligent System for Optimizing the Overall Income in Cloud Providers
- Bernal A
- Canizares PC
- Nunez A
- Cambronero ME
- Valero V
2022 4th International Conference on Computer Communication and the Internet, ICCCI 2022 (p. 7-13) - 1/1/2022
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 View at source
- ISSN 18770509
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
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
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 View at source
- ISSN 02705257
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