Bernard Blackham

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Artifact Centric

Temporal Properties

Top Venues

IEEE Real-Time and Embedded Technology and Applications Symposium

University of New South Wales, Sydney, Australia (PHD)

Education History

University of New South Wales, Sydney, Australia

PHD

Publications

Bernard Blackham, Mark H. Liffiton, Gernot Heiser
Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets. RTAS (2014)
Bernard Blackham, Gernot Heiser
Sequoll: A framework for model checking binaries. IEEE Real-Time and Embedded Technology and Applications Symposium (2013)
Yao Shi, Bernard Blackham, Gernot Heiser
Code optimizations using formally verified properties. OOPSLA (2013)
Bernard Blackham, Yao Shi, Gernot Heiser
Improving interrupt response time in a verifiable protected microkernel. EuroSys (2012)
Bernard Blackham, Vernon Tang, Gernot Heiser
To preempt or not to preempt, that is the question. APSys (2012)
Bernard Blackham, Gernot Heiser
Correct, fast, maintainable: choose any three! APSys (2012)
Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury, Gernot Heiser
Timing Analysis of a Protected Operating System Kernel. RTSS (2011)
Bernard Blackham, Yao Shi, Gernot Heiser
Protected hard real-time: the next frontier. APSys (2011)