Publications

F. Fuentes, R. Casanova, Dr. Sergi Alcaide Portet, J. Abella (2023). SafeTI Traffic Injector Enhancement for Effective Interference Testing in Critical Real-Time Systems (163812681). arXiv.
M. Sarraseca, Dr. Sergi Alcaide Portet, F. Fuentes, J. Rodriguez, F. Chang, I. Lasfar, R. Canal, F. Cazorla, J. Abella (2023). SafeLS: Toward Building a Lockstep NOEL-V Core (163812660). arXiv.
M. Sarraseca, Dr. Sergi Alcaide Portet, F. Fuentes, J. Rodriguez, F. Chang, I. Lasfar, R. Canal, F. Cazorla, J. Abella (2023). SafeLS: An Open Source Implementation of a Lockstep NOEL-V RISC-V Core (163812664). Proceedings - 2023 IEEE 29th International Symposium on On-Line Testing and Robust System Design, IOLTS 2023.
X. Iturbe, N. Abderrahmane, J. Abella, Dr. Sergi Alcaide Portet, E. Beyne, H. Charles, C. Charpin-Nicolle, L. Chittka, A. Dávilaa, A. Erdmann, C. Estrada, A. Fernández, A. Fontanelli, J. Flich, G. Furano, A. Gloriani, E. Isusquiza, R. Grosu, C. Hernández, D. Ielmini, D. Jackson, M. Kooli, N. Lepri, B. Linares-Barranco, J. Lachese, E. Laurent, M. Lindwer, F. Linsenmaier, M. Luján, K. Masa?ík, N. Mentens, O. Moreira, C. Nawghane, L. Peres, J. Noel, A. Pourtaherian, C. Posch, P. Priller, Z. Prikryl, F. Resch, O. Rhodes, T. Stefanov, M. Storring, M. Taliercio, R. Tornero, M. Van De Burgwal, G. Van Der Plas, E. Vianello, P. Zaykov (2023). NimbleAI: Towards Neuromorphic Sensing-Processing 3D-integrated Chips (163812663). Proceedings -Design, Automation and Test in Europe, DATE.
J. Abella, F. Cazorla, Dr. Sergi Alcaide Portet, M. Paulitsch, Y. Peng, I. Gouveia (2023). Envisioning a Safety Island to Enable HPC Devices in Safety-Critical Domains (163812661). arXiv.
F. Fuentes, Dr. Sergi Alcaide Portet, R. Casanova, J. Abella (2023). Black-Box IP Validation with the SafeTI Traffic Injector: A Success Story (163812670). Proceedings - IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, DFT.
A. Serrano-Cases, Dr. Sergi Alcaide Portet, M. Romero, Y. Morilla, S. Cuenca-Asensi (2023). Analysis of Kernel Redundancy for Soft Error Mitigation on Embedded GPUs (163812687). IEEE Transactions on Nuclear Science.
N. Andriotis, A. Serrano-Cases, Dr. Sergi Alcaide Portet, J. Abella, F. Cazorla, Y. Peng, A. Baldovin, M. Paulitsch, V. Tsymbal (2023). A Software-Only Approach to Enable Diverse Redundancy on Intel GPUs for Safety-Related Kernels (163812688). Proceedings of the ACM Symposium on Applied Computing.
Dr. Sergi Alcaide Portet, G. Cabo, F. Bas, P. Benedicte, F. Fuentes, F. Chang, I. Lasfar, R. Canal, J. Abella (2022). SafeX: Open Source Hardware and Software Components for Safety-Critical Systems (163812679). Forum on Specification and Design Languages.
G. Cabo, Dr. Sergi Alcaide Portet, C. Hernandez, P. Benedicte, F. Bas, F. Mazzocchetti, J. Abella (2022). SafeSU-2: a Safe Statistics Unit for Space MPSoCs (163812678). Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022.