Francisco Javier Cazorla Almeida

2025

• Probabilistic Timing Estimates in Scenarios Under Testing Constraints

  SAC '25: 40th ACM/SIGAPP Symposium on Applied Computing Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing

  S. Vilardell, F. Rossi, G. Giordana, I. Serra, E. Mezzetti, J. Abella, and F. J. Cazorla

2023

• A Software-Only Approach to Enable Diverse Redundancy on Intel GPUs for Safety-Related Kernels

  SAC '23: 38th ACM/SIGAPP Symposium on Applied ComputingProceedings of the 38th ACM/SIGAPP Symposium on Applied Computing

  N. Andriotis, A. Serrano-Cases, S. Alcaide, J. Abella, F. J. Cazorla, Y. Peng, A. Baldovin, M. Paulitsch, and V. Tsymbal
• Uncertainty Management in Dependable and Intelligent Embedded Software

  Computer

  J. Perez-Cerrolaza, F. J. Cazorla, and J. Abella
• Dynamic and execution views to improve validation, testing, and optimization of autonomous driving software

  Software Quality Journal

  M. Alcon, H. Tabani, J. Abella, and F. J. Cazorla
• On Neural Networks Redundancy and Diversity for Their Use in Safety-Critical Systems

  Computer

  A. Brando, I. Serra, E. Mezzetti, F. J. Cazorla, J. Perez-Cerrolaza, and J. Abella
• Vector Extensions in COTS Processors to Increase Guaranteed Performance in Real-Time Systems

  ACM Transactions on Embedded Computing Systems

  R. Pujol, J. Jorba, H. Tabani, L. Kosmidis, E. Mezzetti, J. Abella, and F. Cazorla
• GPU Devices for Safety-Critical Systems: A Survey

  ACM Computing Surveys

  J. Perez-Cerrolaza, J. Abella, L. Kosmidis, A. J. Calderon, F. Cazorla, and J. Luis Flores

2022

• A Methodology for Selective Protection of Matrix Multiplications: A Diagnostic Coverage and Performance Trade-off for CNNs Executed on GPUs

  2022 6th International Conference on System Reliability and Safety (ICSRS)2022 6th International Conference on System Reliability and Safety (ICSRS)

  J. Fernández, I. Agirre, J. Perez-Cerrolaza, J. Abella, and F. J. Cazorla
• ADBench: benchmarking autonomous driving systems

  Computing

  H. Tabani, R. Pujol, M. Alcon, J. Moya, J. Abella, and F. J. Cazorla
• On the Safe Deployment of Matrix Multiplication in Massively Parallel Safety-Related Systems

  Applied Sciences

  J. Fernández, J. Perez-Cerrolaza, I. Agirre, A. J. Calderon, J. Abella, and F. J. Cazorla