Protected hard real-time: the next frontier. - Bernard Blackham; Yao Shi; Gernot Heiser (APSys, 2011)

Timing Analysis of a Protected Operating System Kernel. - Bernard Blackham; Yao Shi; Sudipta Chattopadhyay 001; Abhik Roychoudhury; Gernot Heiser (RTSS, 2011)

Correct, fast, maintainable: choose any three! - Bernard Blackham; Gernot Heiser (APSys, 2012)

To preempt or not to preempt, that is the question. - Bernard Blackham; Vernon Tang; Gernot Heiser (APSys, 2012)

Improving interrupt response time in a verifiable protected microkernel. - Bernard Blackham; Yao Shi; Gernot Heiser (EuroSys, 2012)

Code optimizations using formally verified properties. - Yao Shi; Bernard Blackham; Gernot Heiser (OOPSLA, 2013)

Sequoll: A framework for model checking binaries. - Bernard Blackham; Gernot Heiser (IEEE Real-Time and Embedded Technology and Applications Symposium, 2013)

Towards verified microkernels for real-time mixed-criticality systems. - Bernard Blackham (2013)

Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets. - Bernard Blackham; Mark H. Liffiton; Gernot Heiser (RTAS, 2014)