Mark A. Hillebrand

	2011
19		Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß: The 1st Verified Software Competition: Experience Report. FM 2011: 154-168
	2010
18		Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Hristo Pentchev: Modular specification and verification of interprocess communication. FMCAD 2010: 167-174
17		Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Mikhail Kovalev, Wolfgang J. Paul: Verifying shadow page table algorithms. FMCAD 2010: 267-270
16		Eyad Alkassar, Mark A. Hillebrand, Wolfgang J. Paul, Elena Petrova: Automated Verification of a Small Hypervisor. VSTTE 2010: 40-54
	2009
15		Mark A. Hillebrand, Sergey Tverdyshev: Formal Verification of Gate-Level Computer Systems. CSR 2009: 322-333
14		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
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] [14] [16] [17] [18] [19]
2	Rob Arthan	[19]
3	Sven Beyer	[4]
4	Peter Böhm	[4]
5	Vladimir Boyarinov	[14]
6	Derek Bronish	[19]
7	Rod Chapman	[19]
8	Ernie Cohen	[13] [14] [17] [18] [19]
9	Markus Dahlweid	[13] [14]
10	Iakov Dalinger	[6]
11	Ulan Degenbaev	[14]
12	Mauro Gargano	[3]
13	Michael Gerke	[4]
14	Thomas Grün	[1]
15	Bart Jacobs	[19]
16	Vladimir Klebanov	[19]
17	Steffen Knapp	[4] [7]
18	Mikhail Kovalev	[17]
19	Bruno Langenstein	[14]
20	Gary T. Leavens	[19]
21	Dirk Leinenbach	[3] [4] [10] [11] [12] [13] [14]
22	K. Rustan M. Leino	[19]
23	Rosemary Monahan	[19]
24	Michal Moskal	[13] [14]
25	Peter Müller	[19]
26	Steven Obua	[14]
27	Wolfgang J. Paul	[3] [4] [5] [6] [8] [14] [16] [17]
28	Hristo Pentchev	[14] [18]
29	Elena Petrova	[14] [16]
30	Frank Piessens	[19]
31	Nadia Polikarpova	[19]
32	Tom Ridge (Thomas Ridge)	[19]
33	Thomas In der Rieden	[4] [5]
34	Rostislav Rusev	[7]
35	Thomas Santen	[13] [14]
36	Norbert Schirmer (Bert Schirmer)	[10] [11] [14]
37	Sabine Schmaltz	[14]
38	Wolfram Schulte	[13] [14]
39	Thomas Schurger	[2]
40	Peter-Michael Seidel	[2]
41	Andrey Shadrin	[14]
42	Natarajan Shankar	[19]
43	Jan Smans	[19]
44	Artem Starostin	[10] [11]
45	Stephan Tobies	[13] [14] [19]
46	Alexandra Tsyban	[11] [14]
47	Thomas Tuerk	[19]
48	Sergey Tverdyshev	[7] [14] [15]
49	Mattias Ulbrich	[19]
50	Benjamin Weiß	[19]
51	Valentin Wüstholz	[19]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page