| 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 | 107 | 2011 |
| 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 | 37 | 2012 |
| 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 | 34 | 2014 |
| Sequoll: a framework for model checking binaries B Blackham, G Heiser 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium …, 2013 | 20 | 2013 |
| Correct, fast, maintainable–choose any three! B Blackham, G Heiser Proceedings of the 3rd Asia-Pacific Workshop on Systems, 13, 2012 | 19 | 2012 |
| Protected hard real-time: The next frontier B Blackham, Y Shi, G Heiser Proceedings of the 2nd Asia-Pacific Workshop on Systems, 2011 | 7 | 2011 |
| 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 | 6 | 2012 |
| Code optimizations using formally verified properties Y Shi, B Blackham, G Heiser ACM SIGPLAN Notices 48 (10), 427-442, 2013 | 4 | 2013 |
| Towards verified microkernels for real-time mixed-criticality systems B Blackham UNSW Sydney, 2013 | 4 | 2013 |
| e4meter: Power management for the people E Le Sueur, B Blackham linux.conf.au 2011, 2011 | | 2011 |
Gernot HeiserProfessor of Computer Science, University of New South WalesVerified email at unsw.edu.au
