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]
@inproceedings{BlackhamSCRH11,
title = {Timing Analysis of a Protected Operating System Kernel},
author = {Bernard Blackham and Yao Shi and Sudipta Chattopadhyay and Abhik Roychoudhury and Gernot Heiser},
year = {2011},
doi = {10.1109/RTSS.2011.38},
url = {http://doi.ieeecomputersociety.org/10.1109/RTSS.2011.38},
researchr = {https://researchr.org/publication/BlackhamSCRH11},
cites = {0},
citedby = {0},
pages = {339-348},
booktitle = {Proceedings of the 32nd IEEE Real-Time Systems Symposium, RTSS 2011, Vienna, Austria, November 29 - December 2, 2011},
publisher = {IEEE Computer Society},
isbn = {978-1-4577-2000-0},
}