Ilham Lasfar

According to our database, Ilham Lasfar authored at least 4 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

CoRR, 2023

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

Proceedings of the 29th International Symposium on On-Line Testing and Robust System Design, 2023

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

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2022

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

Proceedings of the Forum on Specification & Design Languages, 2022