Concepedia

Dirk Leinenbach

DL

Statistics

Publications

6

Citations

305

H-Index

6

Active since

2005

Affiliations

Saarland University(Current)

German Research Centre for Artificial Intelligence

Dirk Leinenbach is an author at Saarland University specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationSystem SoftwareProgram AnalysisSoftware AnalysisComputer EngineeringHardware Security

Publications per year

2005–2009

6

Publications

6

Towards the formal verification of a C0 compiler: code generation and implementation correctness

Dirk Leinenbach, W. Paul · 2005 · 95 citations

Program Checking, Engineering, Verification +22

Putting it all together – Formal verification of the VAMP

Sven Beyer, Christian Jacobi, Daniel Kröning et al. · International Journal on Software Tools for Technology Transfer · 2006 · 90 citations · Full text

– Formal Verification, Humanities, Existentialism +6

Balancing the Load

Eyad Alkassar, Mark Hillebrand, Dirk Leinenbach et al. · Journal of Automated Reasoning · 2009 · 51 citations

Load Balancing (Computing), Line Balancing, Engineering +6

Pervasive Compiler Verification – From Verified Programs to Verified Systems

Dirk Leinenbach · Electronic Notes in Theoretical Computer Science · 2008 · 37 citations · Full text

Program Checking, Engineering, Verification +20

Towards the formal verification of lower system layers in automotive systems

Sven Beyer, Paula Böhm, M. Gerke et al. · 2006 · 20 citations

Engineering, Hardware Verification Language, Verification +23

1–5 of 6