Timing Analysis of a Protected Operating System Kernel.

Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury, Gernot Heiser

Browse the full RTSS paper archive.