Marcus Völp

	2009
5		Hendrik Tews, Marcus Völp, Tjark Weber: Formal Memory Models for the Verification of Low-Level Operating-System Code. J. Autom. Reasoning 42(2-4): 189-227 (2009)
	2008
4		Marcus Völp: Statically Checking Confidentiality of Shared Memory Programs with Dynamic Labels. ARES 2008: 268-275
3		Marcus Völp, Claude-Joachim Hamann, Hermann Härtig: Avoiding timing channels in fixed-priority schedulers. ASIACCS 2008: 44-55
2		Hendrik Tews, Tjark Weber, Marcus Völp: A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code. Electr. Notes Theor. Comput. Sci. 217: 79-96 (2008)
	2000
1		Jochen Liedtke, Marcus Völp, Kevin Elphinstone: Preliminary thoughts on memory-bus scheduling. ACM SIGOPS European Workshop 2000: 207-210

Coauthor Index

1	Kevin Elphinstone	[1]
2	Claude-Joachim Hamann	[3]
3	Hermann Härtig (Hermann Haertig)	[3]
4	Jochen Liedtke	[1]
5	Hendrik Tews	[2] [5]
6	Tjark Weber	[2] [5]

Colors in the list of coauthors