Michael von Tessin 个人学术档案 - 学术资源搜索

引用次数

	总计	2020 年至今
引用	42	10
h 指数	4	2
i10 指数	2	0

0

10

5

2011201220132014201520162017201820192020202120222023202420251 1 9 5 5 7 2 2 2 2 4 1 1

合著作者

Gernot HeiserProfessor of Computer Science, University of New South Wales在 unsw.edu.au 的电子邮件经过验证
Leonid RyzhykFeldera在 feldera.com 的电子邮件经过验证

Michael von Tessin

Michael von Tessin

UNSW Australia

在 sonova.com 的电子邮件经过验证

operating systems security formal verification


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
The Clustered Multikernel: An Approach to Formal Verification of Multiprocessor OS Kernels M von Tessin 2nd Workshop on Systems for Future Multi-core Architectures (SFMA 2012), 2012	19	2012
The clustered multikernel: An approach to formal verification of multiprocessor operating-system kernels M von Tessin University of New South Wales, Sydney, Australia, 2013	10	2013
What If You Could Actually Trust Your Kernel? G Heiser, L Ryzhyk, M von Tessin, A Budzynowski 13th Workshop on Hot Topics in Operating Systems (HotOS 2011), 2011	8	2011
Towards High-Assurance Multiprocessor Virtualisation M von Tessin 6th International Verification Workshop (VERIFY 2010), 2010	5	2010
Towards A Formally Verifiable Multiprocessor Microkernel M von Tessin Poster presentation at the 2009 USENIX ATC, 2009		2009

系统目前无法执行此操作，请稍后再试。

文章 1–5