F. Bas |https://example.com/authors/f.-bas/F. BasHugoBlox Kit (https://hugoblox.com)en-usSat, 01 Jan 2022 00:00:00 +0000De-RISC: A Complete RISC-V Based Space-Grade Platform (163812676)https://example.com/publications/alcaide-2022-163812676/Sat, 01 Jan 2022 00:00:00 +0000https://example.com/publications/alcaide-2022-163812676/END-TO-END QOS FOR THE OPEN SOURCE SAFETY-RELEVANT RISC-V SELENE PLATFORM (163812675)https://example.com/publications/alcaide-2022-163812675/Sat, 01 Jan 2022 00:00:00 +0000https://example.com/publications/alcaide-2022-163812675/SafeDE: A Low-Cost Hardware Solution to Enforce Diverse Redundancy in Multicores (163812686)https://example.com/publications/alcaide-2022-163812686/Sat, 01 Jan 2022 00:00:00 +0000https://example.com/publications/alcaide-2022-163812686/SafeDM: a Hardware Diversity Monitor for Redundant Execution on Non-Lockstepped Cores (163812672)https://example.com/publications/alcaide-2022-163812672/Sat, 01 Jan 2022 00:00:00 +0000https://example.com/publications/alcaide-2022-163812672/SafeDX: Standalone Modules Providing Diverse Redundancy for~Safety-Critical Applications (163812666)https://example.com/publications/alcaide-2022-163812666/Sat, 01 Jan 2022 00:00:00 +0000https://example.com/publications/alcaide-2022-163812666/SAFESOFTDR: A LIBRARY TO ENABLE SOFTWARE-BASED DIVERSE REDUNDANCY FOR SAFETY-CRITICAL TASKS (163812674)https://example.com/publications/alcaide-2022-163812674/Sat, 01 Jan 2022 00:00:00 +0000https://example.com/publications/alcaide-2022-163812674/SafeSU-2: a Safe Statistics Unit for Space MPSoCs (163812678)https://example.com/publications/alcaide-2022-163812678/Sat, 01 Jan 2022 00:00:00 +0000https://example.com/publications/alcaide-2022-163812678/SafeX: Open Source Hardware and Software Components for Safety-Critical Systems (163812679)https://example.com/publications/alcaide-2022-163812679/Sat, 01 Jan 2022 00:00:00 +0000https://example.com/publications/alcaide-2022-163812679/SafeDE (108230650): a flexible Diversity Enforcement hardware module for light-locksteppinghttps://example.com/publications/bas-2021-108230650/Tue, 01 Jun 2021 00:00:00 +0000https://example.com/publications/bas-2021-108230650/SafeTI (108230568): a Hardware Traffic Injector for MPSoC Functional and Timing Validationhttps://example.com/publications/sala-2021-108230568/Tue, 01 Jun 2021 00:00:00 +0000https://example.com/publications/sala-2021-108230568/SafeSU (108230728): an Extended Statistics Unit for Multicore Timing Interferencehttps://example.com/publications/cabo-2021-108230728/Sat, 01 May 2021 00:00:00 +0000https://example.com/publications/cabo-2021-108230728/Security, Reliability and Test Aspects of the RISC (108230697)-V Ecosystemhttps://example.com/publications/abella-2021-108230697/Sat, 01 May 2021 00:00:00 +0000https://example.com/publications/abella-2021-108230697/