Pablo C Cañizares

Pablo C Cañizares

Universidad Autónoma de Madrid - Madrid / Spain
Engineering & Technology / Computer Science
AD Scientific Index ID: 6018922
Autonomous University of Madrid
person_outline Pablo C Cañizares's MOST POPULAR ARTICLES
1-) TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems IEEE Transactions on Reliability 70 (1), 261-284, 2020
2-) Mutomvo: Mutation testing framework for simulated cloud and HPC environments Journal of Systems and Software 143, 187-207, 2018
3-) MT-EA4Cloud: A methodology for testing and optimising energy-aware cloud systems Journal of Systems and Software 163, 110522, 2020
4-) Improving cloud architectures using UML profiles and M2T transformation techniques The Journal of Supercomputing 75 (12), 8012-8058, 2019
5-) A framework for modeling cloud infrastructures and user interactions IEEE Access 7, 43269-43285, 2019