Mark A. Hillebrand

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

10EEEyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin: The Verisoft Approach to Systems Verification. VSTTE 2008: 209-224
9EEEyad Alkassar, Mark A. Hillebrand: Formal Functional Verification of Device Drivers. VSTTE 2008: 225-239
8EEMark A. Hillebrand, Wolfgang J. Paul: On the Architecture of System Verification Environments. Haifa Verification Conference 2007: 153-168
7EEEyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev: Formal Device and Programming Model for a Serial Interface. VERIFY 2007
6EEIakov Dalinger, Mark A. Hillebrand, Wolfgang J. Paul: On the Verification of Memory Management Mechanisms. CHARME 2005: 301-316
5EEMark 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
4EESven 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
3EEMauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul: On the Correctness of Operating System Kernels. TPHOLs 2005: 1-16
2EEMark A. Hillebrand, Thomas Schurger, Peter-Michael Seidel: How to Half Wire Lengths in the Layout of Cyclic Shifter. VLSI Design 2001: 339-344
1EEThomas Grün, Mark A. Hillebrand: NAS Integer Sort on Multi-threaded Shared Memory Machines. Euro-Par 1998: 999-1009

Coauthor Index

1Eyad Alkassar [7] [9] [10]
2Sven Beyer [4]
3Peter Böhm [4]
4Iakov Dalinger [6]
5Mauro Gargano [3]
6Michael Gerke [4]
7Thomas Grün [1]
8Steffen Knapp [4] [7]
9Dirk Leinenbach [3] [4] [10]
10Wolfgang J. Paul [3] [4] [5] [6] [8]
11Thomas In der Rieden [4] [5]
12Rostislav Rusev [7]
13Norbert Schirmer [10]
14Thomas Schurger [2]
15Peter-Michael Seidel [2]
16Artem Starostin [10]
17Sergey Tverdyshev [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)