NAS Integer Sort on Multi-threaded Shared Memory Machines. - Thomas Grün; Mark A. Hillebrand (Euro-Par, 1998)

How to Half Wire Lengths in the Layout of Cyclic Shifter. - Mark A. Hillebrand; Thomas Schurger; Peter-Michael Seidel (VLSI Design, 2001)

On the Verification of Memory Management Mechanisms. - Iakov Dalinger; Mark A. Hillebrand; Wolfgang J. Paul (CHARME, 2005)

Towards the Formal Verification of Lower System Layers in Automotive Systems. - Sven Beyer; Peter Böhm; Michael Gerke 002; Mark A. Hillebrand; Thomas In der Rieden; Steffen Knapp; Dirk Leinenbach; Wolfgang J. Paul (ICCD, 2005)

Dealing with I/O Devices in the Context of Pervasive System Verification. - Mark A. Hillebrand; Thomas In der Rieden; Wolfgang J. Paul (ICCD, 2005)

On the Correctness of Operating System Kernels. - Mauro Gargano; Mark A. Hillebrand; Dirk Leinenbach; Wolfgang J. Paul (TPHOLs, 2005)

Formal Device and Programming Model for a Serial Interface. - Eyad Alkassar; Mark A. Hillebrand; Steffen Knapp; Rostislav Rusev; Sergey Tverdyshev (VERIFY, 2007)

On the Architecture of System Verification Environments. - Mark A. Hillebrand; Wolfgang J. Paul (Haifa Verification Conference, 2007)

Formal Functional Verification of Device Drivers. - Eyad Alkassar; Mark A. Hillebrand (VSTTE, 2008)

The Verisoft Approach to Systems Verification. - Eyad Alkassar; Mark A. Hillebrand; Dirk Leinenbach; Norbert Schirmer; Artem Starostin (VSTTE, 2008)

Formal Verification of Gate-Level Computer Systems. - Mark A. Hillebrand; Sergey Tverdyshev (CSR, 2009)

Invariants, Modularity, and Rights. - 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; et al. (Ershov Memorial Conference, 2009)

VCC: A Practical System for Verifying Concurrent C. - Ernie Cohen; Markus Dahlweid; Mark A. Hillebrand; Dirk Leinenbach; Michal Moskal; Thomas Santen; Wolfram Schulte; Stephan Tobies (TPHOLs, 2009)

Formal Verification of a Reader-Writer Lock Implementation in C. - Mark A. Hillebrand; Dirk Leinenbach (SSV, 2009)

Balancing the Load. - Eyad Alkassar; Mark A. Hillebrand; Dirk Leinenbach; Norbert Schirmer; Artem Starostin; Alexandra Tsyban (J. Autom. Reason., 2009)

Verifying shadow page table algorithms. - Eyad Alkassar; Ernie Cohen; Mark A. Hillebrand; Mikhail Kovalev; Wolfgang J. Paul (FMCAD, 2010)

Modular specification and verification of interprocess communication. - Eyad Alkassar; Ernie Cohen; Mark A. Hillebrand; Hristo Pentchev (FMCAD, 2010)

Automated Verification of a Small Hypervisor. - Eyad Alkassar; Mark A. Hillebrand; Wolfgang J. Paul; Elena Petrova (VSTTE, 2010)

The 1st Verified Software Competition: Experience Report. - Vladimir Klebanov; Peter Müller 001; Natarajan Shankar; Gary T. Leavens; Valentin Wüstholz; Eyad Alkassar; Rob Arthan; Derek Bronish; Rod Chapman; Ernie Cohen; Mark A. Hillebrand; Bart Jacobs 002; et al. (FM, 2011)