Dirk Leinenbach

Publication Activity (10 Years)

Years Active: 2003-2009
Publications (10 Years): 0

Publications

Dirk Leinenbach, Thomas Santen
Verifying the Microsoft Hyper-V Hypervisor with VCC. FM (2009)
Mark A. Hillebrand, Dirk Leinenbach
Formal Verification of a Reader-Writer Lock Implementation in C. Electron. Notes Theor. Comput. Sci. 254 (2009)
Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban
Balancing the Load. J. Autom. Reason. 42 (2-4) (2009)
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)
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)
Dirk Leinenbach, Elena Petrova
Pervasive Compiler Verification - From Verified Programs to Verified Systems. Electron. Notes Theor. Comput. Sci. 217 (2008)
Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin
The Verisoft Approach to Systems Verification. VSTTE (2008)
Sven Beyer, Christian Jacobi, Daniel Kröning, Dirk Leinenbach, Wolfgang J. Paul
Putting it all together - Formal verification of the VAMP. Int. J. Softw. Tools Technol. Transf. 8 (4-5) (2006)
Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul
On the Correctness of Operating System Kernels. TPHOLs (2005)
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)
Thomas In der Rieden, Dirk Leinenbach, Wolfgang J. Paul
Towards the Pervasive Verification of Automotive Systems. CHARME (2005)
Dirk Leinenbach, Wolfgang J. Paul, Elena Petrova
Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes. SEFM (2005)
Sven Beyer, Christian Jacobi, Daniel Kroening, Dirk Leinenbach, Wolfgang J. Paul
Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP. CHARME (2003)