Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP. - Sven Beyer; Christian Jacobi 002; Daniel Kroening; Dirk Leinenbach; Wolfgang J. Paul (CHARME, 2003)

Towards the Pervasive Verification of Automotive Systems. - Thomas In der Rieden; Dirk Leinenbach; 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)

Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes. - Dirk Leinenbach; Wolfgang J. Paul; Elena Petrova (SEFM, 2005)

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

Putting it all together - Formal verification of the VAMP. - Sven Beyer; Christian Jacobi 002; Daniel Kröning; Dirk Leinenbach; Wolfgang J. Paul (Int. J. Softw. Tools Technol. Transf., 2006)

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

Pervasive Compiler Verification - From Verified Programs to Verified Systems. - Dirk Leinenbach; Elena Petrova (SSV, 2008)

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)

Verifying the Microsoft Hyper-V Hypervisor with VCC. - Dirk Leinenbach; Thomas Santen (FM, 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)