Bernard Blackham

Code optimizations using formally verified properties

Gernot Heiser, Yao Shi, Bernard Blackham, 2013, OOPSLA.

Sequoll: A framework for model checking binaries

Gernot Heiser, Bernard Blackham, G. Heiser, 2013, 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS).

Towards verified microkernels for real-time mixed-criticality systems

Bernard Blackham, Bernard Blackham, 2013 .

Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets

Gernot Heiser, Mark H. Liffiton, Bernard Blackham, 2014, 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS).

To preempt or not to preempt, that is the question

Gernot Heiser, Bernard Blackham, Vernon Tang, 2012, APSys.

Improving interrupt response time in a verifiable protected microkernel

Gernot Heiser, Yao Shi, Bernard Blackham, 2012, EuroSys '12.

Timing Analysis of a Protected Operating System Kernel

Gernot Heiser, Abhik Roychoudhury, Sudipta Chattopadhyay, 2011, 2011 IEEE 32nd Real-Time Systems Symposium.