default search action

combined dblp search
author search
venue search
publication search

ask others

Bernard Blackham

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2014
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/rtas/BlackhamLH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtas/BlackhamLH14
Bernard Blackham, Mark H. Liffiton, Gernot Heiser:
Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets. RTAS 2014: 169-178
2013
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/basesearch/Blackham13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Blackham13
Bernard Blackham:
Towards verified microkernels for real-time mixed-criticality systems. University of New South Wales, Sydney, Australia, 2013
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/ShiBH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/ShiBH13
Yao Shi, Bernard Blackham, Gernot Heiser:
Code optimizations using formally verified properties. OOPSLA 2013: 427-442
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/rtas/BlackhamH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtas/BlackhamH13
Bernard Blackham, Gernot Heiser:
Sequoll: A framework for model checking binaries. IEEE Real-Time and Embedded Technology and Applications Symposium 2013: 97-106
2012
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/apsys/BlackhamTH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsys/BlackhamTH12
Bernard Blackham, Vernon Tang, Gernot Heiser:
To preempt or not to preempt, that is the question. APSys 2012: 8
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/apsys/BlackhamH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsys/BlackhamH12
Bernard Blackham, Gernot Heiser:
Correct, fast, maintainable: choose any three! APSys 2012: 13
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosys/BlackhamSH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosys/BlackhamSH12
Bernard Blackham, Yao Shi, Gernot Heiser:
Improving interrupt response time in a verifiable protected microkernel. EuroSys 2012: 323-336
2011
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/apsys/BlackhamSH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsys/BlackhamSH11
Bernard Blackham, Yao Shi, Gernot Heiser:
Protected hard real-time: the next frontier. APSys 2011: 1
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/BlackhamSCRH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/BlackhamSCRH11
Bernard Blackham, Yao Shi, Sudipta Chattopadhyay, Abhik Roychoudhury, Gernot Heiser:
Timing Analysis of a Protected Operating System Kernel. RTSS 2011: 339-348

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.