Michael von Tessin

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2013

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

[BibT_eX]

[DOI]

PhD thesis, 2013

2011

What If You Could Actually Trust Your Kernel?

[BibT_eX]

[DOI]

Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

2010

Towards High-Assurance Multiprocessor Virtualisation.

[BibT_eX]

[DOI]

Proceedings of the 6th International Verification Workshop, 2010