I. Lasfar |https://example.com/authors/i.-lasfar/I. LasfarHugoBlox Kit (https://hugoblox.com)en-usSun, 01 Jan 2023 00:00:00 +0000SafeLS: An Open Source Implementation of a Lockstep NOEL-V RISC-V Core (163812664)https://example.com/publications/alcaide-2023-163812664/Sun, 01 Jan 2023 00:00:00 +0000https://example.com/publications/alcaide-2023-163812664/SafeLS: Toward Building a Lockstep NOEL-V Core (163812660)https://example.com/publications/alcaide-2023-163812660/Sun, 01 Jan 2023 00:00:00 +0000https://example.com/publications/alcaide-2023-163812660/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/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/