Dirk Leinenbach
Dirk Leinenbach
Unknown affiliation
Verified email at dirkleinenbach.de
Title
Cited by
Cited by
Year
VCC: A practical system for verifying concurrent C
E Cohen, M Dahlweid, M Hillebrand, D Leinenbach, M Moskal, T Santen, ...
Theorem Proving in Higher Order Logics, 23-42, 2009
7542009
Verifying the microsoft hyper-V hypervisor with VCC
D Leinenbach, T Santen
FM 2009: Formal Methods, 806-809, 2009
1592009
Towards the formal verification of a C0 compiler: Code generation and implementation correctness
D Leinenbach, W Paul, E Petrova
Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE …, 2005
1352005
Putting it all together–Formal verification of the VAMP
S Beyer, C Jacobi, D Kröning, D Leinenbach, WJ Paul
International Journal on Software Tools for Technology Transfer (STTT) 8 (4 …, 2006
1222006
On the correctness of operating system kernels
M Gargano, M Hillebrand, D Leinenbach, W Paul
Theorem Proving in Higher Order Logics, 1-16, 2005
852005
The Verisoft approach to systems verification
E Alkassar, M Hillebrand, D Leinenbach, N Schirmer, A Starostin
Verified Software: Theories, Tools, Experiments, 209-224, 2008
832008
Balancing the load
E Alkassar, MA Hillebrand, DC Leinenbach, NW Schirmer, A Starostin, ...
Journal of Automated Reasoning 42 (2), 389-454, 2009
592009
Instantiating uninterpreted functional units and memory system: Functional verification of the VAMP
S Beyer, C Jacobi, D Kröning, D Leinenbach, W Paul
Correct Hardware Design and Verification Methods, 51-65, 2003
582003
Pervasive compiler verification-from verified programs to verified systems
D Leinenbach, E Petrova
Electronic Notes in Theoretical Computer Science 217, 23-40, 2008
552008
Compiler verification in the context of pervasive system verification
DC Leinenbach
Universitätsbibliothek, 2008
442008
Towards the formal verification of lower system layers in automotive systems
S Beyer, P Bohm, M Gerke, M Hillebrand, TI der Rieden, S Knapp, ...
Computer Design: VLSI in Computers and Processors, 2005. ICCD 2005 …, 2005
272005
Formal verification of a reader-writer lock implementation in C
MA Hillebrand, DC Leinenbach
Electronic Notes in Theoretical Computer Science 254, 123-141, 2009
252009
Correct hardware by synthesis from PVS
S Beyer, C Jacobi, D Kröning, D Leinenbach
Submitted for publication, 2002
182002
Invariants, modularity, and rights
E Cohen, E Alkassar, V Boyarinov, M Dahlweid, U Degenbaev, ...
Perspectives of Systems Informatics, 43-55, 2010
132010
Formal verification of the VAMP microprocessor (project status)
C Berg, S Beyer, C Jacobi, D Kröning, D Leinenbach
Symposium on the Effectiveness of Logic in Computer Science (ELICS02), 31-36, 2002
112002
Implementierung eines maschinell verifizierten Prozessors
D Leinenbach, PPDWJ Paul
Master’s thesis, Saarland University, Germany, 2002
52002
Towards the Pervasive Verification of Automotive Systems
D Leinenbach, W Paul, TI Rieden
IFIP Lecture Notes in Computer Science (LNCS) 3725 (3725), 3-4, 2011
4*2011
Towards the pervasive verification of automotive systems
T der Rieden, D Leinenbach, W Paul
Correct Hardware Design and Verification Methods, 3-4, 2005
42005
Die sprache C0
D Leinenbach
Internal Technical Report 2, Universität des Saarlandes, June 2004. http …, 2004
42004
Multidimensional and Adaptive Non-Intrusive Anomaly Detection in Network Services
K Hendrawan, T Sinnwell, D Leinenbach
12011
The system can't perform the operation now. Try again later.
Articles 1–20