Dirk Leinenbach

According to our database, Dirk Leinenbach authored at least 13 papers between 2003 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2009

Balancing the Load.

Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban

J. Autom. Reason., 2009

Formal Verification of a Reader-Writer Lock Implementation in C.

Mark A. Hillebrand, Dirk Leinenbach

Proceedings of the 4th International Workshop on Systems Software Verification, 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

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

Verifying the Microsoft Hyper-V Hypervisor with VCC.

Dirk Leinenbach, Thomas Santen

Proceedings of the FM 2009: Formal Methods, 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, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev

Proceedings of the Perspectives of Systems Informatics, 2009

2008

Pervasive Compiler Verification - From Verified Programs to Verified Systems.

Dirk Leinenbach, Elena Petrova

Proceedings of the 3rd International Workshop on Systems Software Verification, 2008

The Verisoft Approach to Systems Verification.

Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin

Proceedings of the Verified Software: Theories, 2008

2006

Putting it all together - Formal verification of the VAMP.

Sven Beyer, Christian Jacobi, Daniel Kröning, Dirk Leinenbach, Wolfgang J. Paul

Int. J. Softw. Tools Technol. Transf., 2006

2005

On the Correctness of Operating System Kernels.

Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes.

Dirk Leinenbach, Wolfgang J. Paul, Elena Petrova

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Towards the Formal Verification of Lower System Layers in Automotive Systems.

Sven Beyer, Peter Böhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

Towards the Pervasive Verification of Automotive Systems.

Thomas In der Rieden, Dirk Leinenbach, Wolfgang J. Paul

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2003

Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP.

Sven Beyer, Christian Jacobi, Daniel Kroening, Dirk Leinenbach, Wolfgang J. Paul

Proceedings of the Correct Hardware Design and Verification Methods, 2003