Author Info
Name
Affiliation
Papers
BERNARD BLACKHAM
NICTA and The University of New South Wales, Sydney, Australia
8
Collaborators
Citations 
PageRank 
7
69
4.41
Referers 
Referees 
References 
149
176
91
Search Limit
100176
Title
Citations
PageRank
Year
Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets110.582014
Sequoll: A framework for model checking binaries10.362013
Code optimizations using formally verified properties10.352013
Correct, fast, maintainable: choose any three!60.462012
Improving interrupt response time in a verifiable protected microkernel110.742012
To preempt or not to preempt, that is the question30.402012
Protected hard real-time: the next frontier30.402011
Timing Analysis of a Protected Operating System Kernel331.112011