Seguir
Pablo C Cañizares
Título
Citado por
Citado por
Ano
Mutomvo: Mutation testing framework for simulated cloud and HPC environments
PC Cañizares, A Núñez, MG Merayo
Journal of Systems and Software 143, 187-207, 2018
212018
Improving cloud architectures using UML profiles and M2T transformation techniques
A Bernal, ME Cambronero, A Núñez, PC Cañizares, V Valero
The Journal of Supercomputing 75 (12), 8012-8058, 2019
152019
TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems
A Núñez, PC Cañizares, M Núñez, RM Hierons
IEEE transactions on reliability 70 (1), 261-284, 2020
142020
MT-EA4Cloud: A methodology for testing and optimising energy-aware cloud systems
PC Canizares, A Núnez, J de Lara, L Llana
Journal of Systems and Software 163, 110522, 2020
132020
An expert system for checking the correctness of memory systems using simulation and metamorphic testing
PC Canizares, A Núñez, J de Lara
Expert Systems with Applications 132, 44-62, 2019
122019
A framework for modeling cloud infrastructures and user interactions
A Bernal, ME Cambronero, V Valero, A Nunez, PC Canizares
IEEE Access 7, 43269-43285, 2019
122019
A tool-supported framework for work planning on construction sites based on constraint programming
A Camacho, PC Cañizares, S Estévez, M Núñez
Automation in Construction 86, 190-198, 2018
72018
Eminent: Embarrassingly parallel mutation testing
PC Cañizares, MG Merayo, A Núñez
Procedia Computer Science 80, 63-73, 2016
62016
A methodology for designing energy-aware systems for computational science
PC Cañizares, A Núñez, M Núñez, JJ Pardo
Procedia Computer Science 51, 2804-2808, 2015
62015
CloudExpert: An intelligent system for selecting cloud system simulators
A Núñez, PC Cañizares, J de Lara
Expert Systems with Applications 187, 115955, 2022
32022
A multi-agent system architecture for statistics managing and soccer forecasting
PC Cañizares, MG Merayo, M Núñez, V Suárez-Paniagua
2017 2nd IEEE International Conference on Computational Intelligence and …, 2017
32017
MAGICIAN: Model-based design for optimizing the configuration of data-centers.
PC Canizares, A Núnez, J de Lara
SEKE, 602-607, 2017
32017
Profiling SLAs for cloud system infrastructures and user interactions
ME Cambronero, A Bernal, V Valero, PC Cañizares, A Núñez
PeerJ Computer Science 7, e513, 2021
22021
FORTIFIER: a FORmal disTrIbuted Framework to Improve the dEtection of thReatening objects in baggage
PC Cañizares, MG Merayo, A Núñez
Journal of Information and Telecommunication 2 (1), 2-18, 2018
22018
OUTRIDER: Optimizing the mUtation Testing pRocess In Distributed EnviRonments
PC Cañizares, A Núñez, J de Lara
Procedia Computer Science 108, 505-514, 2017
22017
SINPA: SupportINg the automation of construction PlAnning
PC Cañizares, S Estévez-Martín, M Núñez
Expert Systems with Applications 190, 116149, 2022
12022
Automating the Measurement of Heterogeneous Chatbot Designs
PC Cañizares, S Pérez-Soler, E Guerra, J de Lara
12022
Evaluating cloud interactions with costs and SLAs
A Bernal, ME Cambronero, A Núñez, PC Cañizares, V Valero
The Journal of Supercomputing, 1-27, 2021
12021
New ideas: automated engineering of metamorphic testing environments for domain-specific languages
PC Cañizares, P Gómez-Abajo, A Núñez, E Guerra, J de Lara
Proceedings of the 14th ACM SIGPLAN International Conference on Software …, 2021
12021
A hybrid ant colony based system for assist the prevention and mitigation of wildfires in forests
PC Cañizares, A Núñez, MG Merayo, M Núñez
Computational Intelligence and Applications (ICCIA), 2017 2nd IEEE …, 2017
12017
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20