T-SYS: Timed-Based System Security for Real-Time Kernels. - Brayden McDonald; Frank Mueller 001 (ICCPS, 2022)

OpenMP-RT: Native Pragma Support for Real-Time Tasks and Synchronization with LLVM under Linux. - Brayden McDonald; Frank Mueller 001 (LCTES, 2024)