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]

Authors

Christoph Borchert

This author has not been identified. Look up 'Christoph Borchert' in Google

Olaf Spinczyk

This author has not been identified. Look up 'Olaf Spinczyk' in Google