Timing Analysis of a Protected Operating System Kernel

Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury, Gernot Heiser. Timing Analysis of a Protected Operating System Kernel. In Proceedings of the 32nd IEEE Real-Time Systems Symposium, RTSS 2011, Vienna, Austria, November 29 - December 2, 2011. pages 339-348, IEEE Computer Society, 2011. [doi]

Authors

Bernard Blackham

This author has not been identified. Look up 'Bernard Blackham' in Google

Yao Shi

This author has not been identified. Look up 'Yao Shi' in Google

Sudipta Chattopadhyay

This author has not been identified. Look up 'Sudipta Chattopadhyay' in Google

Abhik Roychoudhury

This author has not been identified. Look up 'Abhik Roychoudhury' in Google

Gernot Heiser

This author has not been identified. Look up 'Gernot Heiser' in Google