Seminar Series – ELISA

The Linux Foundation Projects

Sep 11, 2024

Meet the New KernelCI

Aug 26, 2024

The SEooC concept driven into extreme

Aug 21, 2024

Cregit: token-level history of Linux

Jul 1, 2024

Improved system stressing with stress-ng

May 28, 2024

Making Linux Fly: Towards Certified Linux Kernel

May 15, 2024

Ferrocene: Qualifying the Rust compiler out in the open

Mar 21, 2024

Certifying Linux: State of the Art and Lessons Learned after Eight Years

Dec 4, 2023

ISO-PAS 8926 Overview and ISO 26262 3rd ed. Activity Planning (Video)

Nov 8, 2023

The Road to Safe Space Exploration (Video)

Oct 4, 2023

Introducing Basil (video)

Sep 27, 2023

Xen Safety Certification: progress so far and plans for the future (video)

Sep 13, 2023

Automating Adherence to Safety Profiles After Fixing Vulnerabilities (Video)

Jul 19, 2023

A Development Environment for DO-178C Level D Certified Linux

Nov 22, 2022

ELISA Seminar: PREEMPT_RT – How not to break it (Video)

Jun 22, 2022

What is a page table and why should we care about it?(Video)

Mar 22, 2022

Real-time Linux Analysis Toolset (Video)