Concepedia

Bernard Blackham

BB

5

Publications

141

Citations

5

H-Index

2011

Active since

Affiliations

UNSW Sydney(Current)

Data61

Bernard Blackham is an author at UNSW Sydney specializing in computer engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSystems EngineeringComputer EngineeringSystem SoftwareHardware SecurityFormal VerificationComputer ArchitectureVerification

Publications per year

2011–2014

5

Publications

5

Timing Analysis of a Protected Operating System Kernel

Bernard Blackham, Yao Shi, Sudipta Chattopadhyay et al. · 2011 · 72 citations

Wcet Analysis, Engineering, Hardware Verification Language +18

Improving interrupt response time in a verifiable protected microkernel

Bernard Blackham, Yao Shi, Gernot Heiser · 2012 · 26 citations

Engineering, Information Security, Verification +22

Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets

Bernard Blackham, Mark H. Liffiton, Gernot Heiser · 2014 · 19 citations

Program Checking, Engineering, Reachability Problem +26

Sequoll: A framework for model checking binaries

Bernard Blackham, Gernot Heiser · 2013 · 13 citations

Program Checking, Engineering, Hardware Verification Language +22

Correct, fast, maintainable

Bernard Blackham, Gernot Heiser · 2012 · 11 citations

Software Maintenance, Engineering, Compiler Technology +20

Rows per page

1–5 of 5