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]
@article{BorchertS15-0, title = {Hardening an L4 Microkernel Against Soft Errors by Aspect-Oriented Programming and Whole-Program Analysis}, author = {Christoph Borchert and Olaf Spinczyk}, year = {2015}, doi = {10.1145/2883591.2883600}, url = {http://doi.acm.org/10.1145/2883591.2883600}, researchr = {https://researchr.org/publication/BorchertS15-0}, cites = {0}, citedby = {0}, journal = {Operating Systems Review}, volume = {49}, number = {2}, pages = {37-43}, }