Bernard Blackham
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2011–2014
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | RTAS | Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets. | Bernard Blackham, Mark H. Liffiton, Gernot Heiser |
| 2013 | OOPSLA | Code optimizations using formally verified properties. | Yao Shi, Bernard Blackham, Gernot Heiser |
| 2013 | RTAS | Sequoll: A framework for model checking binaries. | Bernard Blackham, Gernot Heiser |
| 2012 | EuroSys | Improving interrupt response time in a verifiable protected microkernel. | Bernard Blackham, Yao Shi, Gernot Heiser |
| 2011 | RTSS | Timing Analysis of a Protected Operating System Kernel. | Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury, Gernot Heiser |