Michael von Tessin

According to our database1, Michael von Tessin authored at least 3 papers between 2010 and 2013.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
The clustered multikernel: an approach to formal verification of multiprocessor operating-system kernels.
PhD thesis, 2013

2011
What If You Could Actually Trust Your Kernel?
Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

2010
Towards High-Assurance Multiprocessor Virtualisation.
Proceedings of the 6th International Verification Workshop, 2010


  Loading...