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
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
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
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
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
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
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
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
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
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
This researcher has no books.
This researcher has no book chapters.
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
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
A multi-agent system architecture for statistics managing and soccer forecasting
- Cañizares P
- Merayo M
- Núñez M
- Suárez-Paniagua V
2017 2nd Ieee International Conference On Computational Intelligence And Applications, Iccia 2017 (p. 572-576) - 4/12/2017
A hybrid Ant Colony based system for assist the prevention and mitigation of wildfires in forests
- Cañizares P
- Núñez A
- Merayo M
- Núñez M
2017 2nd Ieee International Conference On Computational Intelligence And Applications, Iccia 2017 (p. 577-581) - 4/12/2017
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
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
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
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
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