A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4. - Kevin Elphinstone; Amirreza Zarrabi; Kent McLeod; Gernot Heiser (APSys, 2017)

Scheduling-context capabilities: a principled, light-weight operating-system mechanism for managing time. - Anna Lyons; Kent McLeod; Hesham Almatary; Gernot Heiser (EuroSys, 2018)

Model-driven development for the seL4 microkernel using the HAMR framework. - Jason Belt; John Hatcliff; Robby; John Shackleton; Jim Carciofini; Todd Carpenter; Eric Mercer; Isaac Amundson; Junaid Babar; Darren D. Cofer; David S. Hardin; Karl Hoech; et al. (J. Syst. Archit., 2023)