Francisco Bas

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 11

Top Topics

Safety Analysis

Vlsi Implementation

Hardware And Software

Embedded Systems

Top Venues

Publications

Nils-Johan Wessman, Fabio Malatesta, Stefano Ribes, Jan Andersson, Antonio García-Vilanova, Miguel Masmano, Vicente Nicolau, Paco Gomez, Jimmy Le Rhun, Sergi Alcaide, Guillem Cabo, Francisco Bas, Pedro Benedicte, Fabio Mazzocchetti, Jaume Abella
De-RISC: A Complete RISC-V Based Space-Grade Platform. DATE (2022)
Ramon Canal, Francisco Bas, Sergi Alcaide, Guillem Cabo, Pedro Benedicte, Francisco Fuentes, Feng Chang, Ilham Lasfar, Jaume Abella
SafeDX: Standalone Modules Providing Diverse Redundancy for Safety-Critical Applications. SAMOS (2022)
Francisco Bas, Pedro Benedicte, Sergi Alcaide, Guillem Cabo, Fabio Mazzocchetti, Jaume Abella
SafeDM: a Hardware Diversity Monitor for Redundant Execution on Non-Lockstepped Cores. DATE (2022)
Sergi Alcaide, Guillem Cabo, Francisco Bas, Pedro Benedicte, Francisco Fuentes, Feng Chang, Ilham Lasfar, Ramon Canal, Jaume Abella
SafeX: Open Source Hardware and Software Components for Safety-Critical Systems. FDL (2022)
Guillem Cabo, Sergi Alcaide, Carles Hernández, Pedro Benedicte, Francisco Bas, Fabio Mazzocchetti, Jaume Abella
SafeSU-2: a Safe Statistics Unit for Space MPSoCs. DATE (2022)
Fabio Mazzocchetti, Sergi Alcaide, Francisco Bas, Pedro Benedicte, Guillem Cabo, Feng Chang, Francisco Fuentes, Jaume Abella
SafeSoftDR: A Library to Enable Software-based Diverse Redundancy for Safety-Critical Tasks. CoRR (2022)
Pablo Andreu, Carles Hernández, Tomás Picornell, Pedro López, Sergi Alcaide, Francisco Bas, Pedro Benedicte, Guillem Cabo, Feng Chang, Francisco Fuentes, Jaume Abella
End-to-End QoS for the Open Source Safety-Relevant RISC-V SELENE Platform. CoRR (2022)
Francisco Bas, Sergi Alcaide, Ruben Lorenzo, Guillem Cabo, Guillermo Gil, Oriol Sala, Fabio Mazzocchetti, David Trilla, Jaume Abella
SafeDE: a flexible Diversity Enforcement hardware module for light-lockstepping. IOLTS (2021)
Guillem Cabo, Francisco Bas, Ruben Lorenzo, David Trilla, Sergi Alcaide, Miquel Moretó, Carles Hernández, Jaume Abella
SafeSU: an Extended Statistics Unit for Multicore Timing Interference. ETS (2021)
Jaume Abella, Sergi Alcaide, Jens Anders, Francisco Bas, Steffen Becker, Elke De Mulder, Nourhan Elhamawy, Frank K. Gürkaynak, Helena Handschuh, Carles Hernández, Mike Hutter, Leonidas Kosmidis, Ilia Polian, Matthias Sauer, Stefan Wagner, Francesco Regazzoni
Security, Reliability and Test Aspects of the RISC-V Ecosystem. ETS (2021)
Oriol Sala, Sergi Alcaide, Guillem Cabo, Francisco Bas, Ruben Lorenzo, Pedro Benedicte, David Trilla, Guillermo Gil, Fabio Mazzocchetti, Jaume Abella
SafeTI: a Hardware Traffic Injector for MPSoC Functional and Timing Validation. IOLTS (2021)