SafeX: Open Source Hardware and Software Components for Safety-Critical Systems. - Sergi Alcaide; Guillem Cabo; Francisco Bas; Pedro Benedicte; Francisco Fuentes; Feng Chang; Ilham Lasfar; Ramon Canal; Jaume Abella 001 (FDL, 2022)

SafeDX: Standalone Modules Providing Diverse Redundancy for Safety-Critical Applications. - Ramon Canal; Francisco Bas; Sergi Alcaide; Guillem Cabo; Pedro Benedicte; Francisco Fuentes; Feng Chang; Ilham Lasfar; Jaume Abella 001 (SAMOS, 2022)

SafeLS: An Open Source Implementation of a Lockstep NOEL-V RISC-V Core. - Marcel Sarraseca; Sergi Alcaide; Francisco Fuentes; Juan Carlos Rodriguez; Feng Chang; Ilham Lasfar; Ramon Canal; Francisco J. Cazorla; Jaume Abella 001 (IOLTS, 2023)

SafeLS: Toward Building a Lockstep NOEL-V Core. - Marcel Sarraseca; Sergi Alcaide; Francisco Fuentes; Juan Carlos Rodriguez; Feng Chang; Ilham Lasfar; Ramon Canal; Francisco J. Cazorla; Jaume Abella 001 (CoRR, 2023)

SafeSU-2L: An Advanced Multicore Interference Statistics Unit for a RISC-V Space SoC. - Francisco Bas; Sergi Alcaide; Guillem Cabo; Ilham Lasfar; Feng Chang; Francisco Fuentes; Ramon Canal; Pedro Benedicte; Juan Carlos Rodriguez; Jaume Abella 001 (IEEE Trans. Aerosp. Electron. Syst., 2025)