Bernard Blackham
Bernard Blackham
Unknown affiliation
Verified email at largestprime.net - Homepage
Title
Cited by
Cited by
Year
Timing analysis of a protected operating system kernel
B Blackham, Y Shi, S Chattopadhyay, A Roychoudhury, G Heiser
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011
672011
Improving interrupt response time in a verifiable protected microkernel
B Blackham, Y Shi, G Heiser
Proceedings of the 7th ACM European Conference on Computer Systems, 2012
302012
Trickle: automated infeasible path detection using all minimal unsatisfiable subsets
B Blackham, M Liffiton, G Heiser
2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium …, 2014
232014
Correct, fast, maintainable–choose any three!
B Blackham, G Heiser
Proceedings of the 3rd Asia-Pacific Workshop on Systems, 13, 2012
162012
Sequoll: a framework for model checking binaries
B Blackham, G Heiser
2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium …, 2013
152013
Protected hard real-time: The next frontier
B Blackham, Y Shi, G Heiser
Proceedings of the 2nd Asia-Pacific Workshop on Systems, 2011
82011
Towards verified microkernels for real-time mixed-criticality systems.
B Blackham
University of New South Wales, Sydney, Australia, 2013
42013
To preempt or not to preempt, that is the question
B Blackham, V Tang, G Heiser
Proceedings of the 3rd Asia-Pacific Workshop on Systems, 2012
42012
Code optimizations using formally verified properties
Y Shi, B Blackham, G Heiser
ACM SIGPLAN Notices 48 (10), 427-442, 2013
22013
e4meter: Power management for the people
E Le Sueur, B Blackham
linux.conf.au 2011, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–10