Pablo C Cañizares
Citado por
Citado por
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
MT-EA4Cloud: A methodology for testing and optimising energy-aware cloud systems
PC Cañizares, A Núñez, J de Lara, L Llana
Journal of Systems and Software 163, 110522, 2020
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
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
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, 8012-8058, 2019
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
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
Eminent: Embarrassingly parallel mutation testing
PC Cañizares, MG Merayo, A Núñez
Procedia Computer Science 80, 63-73, 2016
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
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
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
Automating the measurement of heterogeneous chatbot designs
PC Cañizares, S Pérez-Soler, E Guerra, J de Lara
Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, 1491-1498, 2022
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
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, 2022
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
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
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
Chaos as a Software Product Line—A platform for improving open hybrid‐cloud systems resiliency
C Camacho, PC Cañizares, L Llana, A Núñez
Software: Practice and Experience 52 (7), 1581-1614, 2022
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
MAGICIAN: Model-based design for optimizing the configuration of data-centers.
PC Canizares, A Núnez, J de Lara
SEKE, 602-607, 2017
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20