Bernard Blackham

According to our database1, Bernard Blackham authored at least 9 papers between 2011 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets.
Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

2013
Towards verified microkernels for real-time mixed-criticality systems.
PhD thesis, 2013

Sequoll: A framework for model checking binaries.
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

Code optimizations using formally verified properties.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

2012
Improving interrupt response time in a verifiable protected microkernel.
Proceedings of the European Conference on Computer Systems, 2012

To preempt or not to preempt, that is the question.
Proceedings of the Asia-Pacific Workshop on Systems, 2012

Correct, fast, maintainable: choose any three!
Proceedings of the Asia-Pacific Workshop on Systems, 2012

2011
Timing Analysis of a Protected Operating System Kernel.
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

Protected hard real-time: the next frontier.
Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011


  Loading...