selected publications
-
chapter
- FFMK: An HPC OS Based on the L4Re Microkernel. High-performance computing series. 2019
- FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale Computing. Lecture notes in computational science and engineering. 2016
-
conference paper
-
report
- D2.4 System and Architecture Integration (Final). Zenodo (CERN European Organization for Nuclear Research). 2022
- D2.2 System and Architecture Integration (Initial). Zenodo (CERN European Organization for Nuclear Research). 2021