Dirk Leinenbach

	2009
13		Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev: Invariants, Modularity, and Rights. Ershov Memorial Conference 2009: 43-55
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] [13]
2	Sven Beyer	[1] [4] [6]
3	Peter Böhm	[4]
4	Vladimir Boyarinov	[13]
5	Ernie Cohen	[11] [13]
6	Markus Dahlweid	[11] [13]
7	Ulan Degenbaev	[13]
8	Mauro Gargano	[2]
9	Michael Gerke	[4]
10	Mark A. Hillebrand	[2] [4] [8] [9] [10] [11] [13]
11	Christian Jacobi	[1] [6]
12	Steffen Knapp	[4]
13	Daniel Kroening (Daniel Kröning)	[1] [6]
14	Bruno Langenstein	[13]
15	Michal Moskal	[11] [13]
16	Steven Obua	[13]
17	Wolfgang J. Paul	[1] [2] [3] [4] [5] [6] [13]
18	Hristo Pentchev	[13]
19	Elena Petrova	[3] [7] [13]
20	Thomas In der Rieden	[4] [5]
21	Thomas Santen	[11] [12] [13]
22	Norbert Schirmer (Bert Schirmer)	[8] [9] [13]
23	Sabine Schmaltz	[13]
24	Wolfram Schulte	[11] [13]
25	Andrey Shadrin	[13]
26	Artem Starostin	[8] [9]
27	Stephan Tobies	[11] [13]
28	Alexandra Tsyban	[9] [13]
29	Sergey Tverdyshev	[13]

Last update Sun Feb 12 22:50:56 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page