Dirk Leinenbach

13 papers B 2C 1Journal 2Unranked 8
YearRankTypeTitle / Venue / Authors
2009 J jnl
Balancing the Load.
J. Autom. Reason.
Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban
2009 — conf
Formal Verification of a Reader-Writer Lock Implementation in C.
SSV
Mark A. Hillebrand, Dirk Leinenbach
2009 — conf
Invariants, Modularity, and Rights.
Ershov Memorial Conference
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
2009 — conf
VCC: A Practical System for Verifying Concurrent C.
TPHOLs
Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies
2009 B conf
Verifying the Microsoft Hyper-V Hypervisor with VCC.
FM
Dirk Leinenbach, Thomas Santen
2008 — conf
Pervasive Compiler Verification - From Verified Programs to Verified Systems.
SSV
Dirk Leinenbach, Elena Petrova
2008 — conf
The Verisoft Approach to Systems Verification.
VSTTE
Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin
2006 J jnl
Putting it all together - Formal verification of the VAMP.
Int. J. Softw. Tools Technol. Transf.
Sven Beyer, Christian Jacobi, Daniel Kröning, Dirk Leinenbach, Wolfgang J. Paul
2005 — conf
On the Correctness of Operating System Kernels.
TPHOLs
Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul
2005 C conf
Towards the Formal Verification of Lower System Layers in Automotive Systems.
ICCD
Sven Beyer, Peter Böhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul
2005 B conf
Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes.
SEFM
Dirk Leinenbach, Wolfgang J. Paul, Elena Petrova
2005 — conf
Towards the Pervasive Verification of Automotive Systems.
CHARME
Thomas In der Rieden, Dirk Leinenbach, Wolfgang J. Paul
2003 — conf
Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP.
CHARME
Sven Beyer, Christian Jacobi, Daniel Kroening, Dirk Leinenbach, Wolfgang J. Paul