Safety Certifying an Open Source Project: The Example of Xen - Stefano Stabellini & Bertrand Marquis
Safety-Certifying Open Source Software: The Case of the Xen Hypervisor - Stefano & Senthil
Keynote Session: Xen Safety Certification: Progress So Far... Stefano Stabellini & Bertrand Marquis
Sponsored Keynote Session: Xen Safety and Security Design Patterns for Automotive... Robin Randhawa
Open Source Safety Elements - Out of Context? - Nicole Pappler, AlektoMetis
RAFIA – A Roadmap for Certifying Open Source for Use in Safety-Relevant Systems - Paul Sherwood
Virtualization with Zephyr & Xen for Embedded Safety Systems - Dymtro Firsov, EPAM Systems
A Path to Automotive Safety Certification for Open Source - Paul Sherwood
Xen in Safety-Critical Systems - Stefano Stabellini, AMD & Bertrand Marquis, Arm
Collaboration Summit 2013 - Improving Scalability of Xen
Analysis of Performance Metrics of Xen on Zynq MPSoC - Jarvis Roach & Benjamin Sanda, DornerWorks
ELISA Status and Outlook: Advancing Open Source Safety-Critical Systems - Philipp Ahmann
LTD20-305 Xen based Automotive Reference Stack using Yocto
Increasing Role Of Linux In Safety Applications In Industries Like Automotive & Airlines
Accelerating Software Defined Vehicles Through Open Source Software - Dan Cauchy
FreeBSD in 100 Seconds
Hypervisor-Mediated data eXchange — Christopher Clark, Edgeform — Platform Security Summit 2018
Safety-First: How To Develop C++ Safety-Critical Software - Andreas Weis - CppNow 2023
Gitlab-CI: The New Primary Test Infrastructure for Upstream Xen - Stefano Stabellini & Andrew Cooper
Tachyum Demonstrates Support for Xen Hypervisor