Bernard Blackham

According to our database, Bernard Blackham authored at least 9 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets.

Bernard Blackham, Mark H. Liffiton, Gernot Heiser

Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

2013

Towards verified microkernels for real-time mixed-criticality systems.

Bernard Blackham

PhD thesis, 2013

Sequoll: A framework for model checking binaries.

Bernard Blackham, Gernot Heiser

Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

Code optimizations using formally verified properties.

Yao Shi, Bernard Blackham, Gernot Heiser

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

2012

Improving interrupt response time in a verifiable protected microkernel.

Bernard Blackham, Yao Shi, Gernot Heiser

Proceedings of the European Conference on Computer Systems, 2012

To preempt or not to preempt, that is the question.

Bernard Blackham, Vernon Tang, Gernot Heiser

Proceedings of the Asia-Pacific Workshop on Systems, 2012

Correct, fast, maintainable: choose any three!

Bernard Blackham, Gernot Heiser

Proceedings of the Asia-Pacific Workshop on Systems, 2012

2011

Timing Analysis of a Protected Operating System Kernel.

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

Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

Protected hard real-time: the next frontier.

Bernard Blackham, Yao Shi, Gernot Heiser

Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011