Hardening an L4 Microkernel Against Soft Errors by Aspect-Oriented Programming and Whole-Program Analysis

Christoph Borchert, Olaf Spinczyk. Hardening an L4 Microkernel Against Soft Errors by Aspect-Oriented Programming and Whole-Program Analysis. Operating Systems Review, 49(2):37-43, 2015. [doi]

Bibliographies