Mark A. Hillebrand

	2009
14		Mark A. Hillebrand, Sergey Tverdyshev: Formal Verification of Gate-Level Computer Systems. CSR 2009: 322-333
13		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
12		Mark A. Hillebrand, Dirk Leinenbach: Formal Verification of a Reader-Writer Lock Implementation in C. Electr. Notes Theor. Comput. Sci. 254: 123-141 (2009)
11		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
10		Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin: The Verisoft Approach to Systems Verification. VSTTE 2008: 209-224
9		Eyad Alkassar, Mark A. Hillebrand: Formal Functional Verification of Device Drivers. VSTTE 2008: 225-239
	2007
8		Mark A. Hillebrand, Wolfgang J. Paul: On the Architecture of System Verification Environments. Haifa Verification Conference 2007: 153-168
7		Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev: Formal Device and Programming Model for a Serial Interface. VERIFY 2007
	2005
6		Iakov Dalinger, Mark A. Hillebrand, Wolfgang J. Paul: On the Verification of Memory Management Mechanisms. CHARME 2005: 301-316
5		Mark A. Hillebrand, Thomas In der Rieden, Wolfgang J. Paul: Dealing with I/O Devices in the Context of Pervasive System Verification. ICCD 2005: 309-316
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		Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul: On the Correctness of Operating System Kernels. TPHOLs 2005: 1-16
	2001
2		Mark A. Hillebrand, Thomas Schurger, Peter-Michael Seidel: How to Half Wire Lengths in the Layout of Cyclic Shifter. VLSI Design 2001: 339-344
	1998
1		Thomas Grün, Mark A. Hillebrand: NAS Integer Sort on Multi-threaded Shared Memory Machines. Euro-Par 1998: 999-1009

Coauthor Index

1	Eyad Alkassar	[7] [9] [10] [11]
2	Sven Beyer	[4]
3	Peter Böhm	[4]
4	Ernie Cohen	[13]
5	Markus Dahlweid	[13]
6	Iakov Dalinger	[6]
7	Mauro Gargano	[3]
8	Michael Gerke	[4]
9	Thomas Grün	[1]
10	Steffen Knapp	[4] [7]
11	Dirk Leinenbach	[3] [4] [10] [11] [12] [13]
12	Michal Moskal	[13]
13	Wolfgang J. Paul	[3] [4] [5] [6] [8]
14	Thomas In der Rieden	[4] [5]
15	Rostislav Rusev	[7]
16	Thomas Santen	[13]
17	Norbert Schirmer	[10] [11]
18	Wolfram Schulte	[13]
19	Thomas Schurger	[2]
20	Peter-Michael Seidel	[2]
21	Artem Starostin	[10] [11]
22	Stephan Tobies	[13]
23	Alexandra Tsyban	[11]
24	Sergey Tverdyshev	[7] [14]

Colors in the list of coauthors