Dirk Leinenbach

	2009
12		Dirk Leinenbach, Thomas Santen: Verifying the Microsoft Hyper-V Hypervisor with VCC. FM 2009: 806-809
11		Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies: VCC: A Practical System for Verifying Concurrent C. TPHOLs 2009: 23-42
10		Mark A. Hillebrand, Dirk Leinenbach: Formal Verification of a Reader-Writer Lock Implementation in C. Electr. Notes Theor. Comput. Sci. 254: 123-141 (2009)
9		Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban: Balancing the Load. J. Autom. Reasoning 42(2-4): 389-454 (2009)
	2008
8		Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin: The Verisoft Approach to Systems Verification. VSTTE 2008: 209-224
7		Dirk Leinenbach, Elena Petrova: Pervasive Compiler Verification - From Verified Programs to Verified Systems. Electr. Notes Theor. Comput. Sci. 217: 23-40 (2008)
	2006
6		Sven Beyer, Christian Jacobi, Daniel Kröning, Dirk Leinenbach, Wolfgang J. Paul: Putting it all together - Formal verification of the VAMP. STTT 8(4-5): 411-430 (2006)
	2005
5		Thomas In der Rieden, Dirk Leinenbach, Wolfgang J. Paul: Towards the Pervasive Verification of Automotive Systems. CHARME 2005: 3-4
4		Sven Beyer, Peter Böhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul: Towards the Formal Verification of Lower System Layers in Automotive Systems. ICCD 2005: 317-326
3		Dirk Leinenbach, Wolfgang J. Paul, Elena Petrova: Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes. SEFM 2005: 2-12
2		Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul: On the Correctness of Operating System Kernels. TPHOLs 2005: 1-16
	2003
1		Sven Beyer, Christian Jacobi, Daniel Kroening, Dirk Leinenbach, Wolfgang J. Paul: Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP. CHARME 2003: 51-65

Coauthor Index

1	Eyad Alkassar	[8] [9]
2	Sven Beyer	[1] [4] [6]
3	Peter Böhm	[4]
4	Ernie Cohen	[11]
5	Markus Dahlweid	[11]
6	Mauro Gargano	[2]
7	Michael Gerke	[4]
8	Mark A. Hillebrand	[2] [4] [8] [9] [10] [11]
9	Christian Jacobi	[1] [6]
10	Steffen Knapp	[4]
11	Daniel Kroening (Daniel Kröning)	[1] [6]
12	Michal Moskal	[11]
13	Wolfgang J. Paul	[1] [2] [3] [4] [5] [6]
14	Elena Petrova	[3] [7]
15	Thomas In der Rieden	[4] [5]
16	Thomas Santen	[11] [12]
17	Norbert Schirmer	[8] [9]
18	Wolfram Schulte	[11]
19	Artem Starostin	[8] [9]
20	Stephan Tobies	[11]
21	Alexandra Tsyban	[9]