| 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 | 840 | 2009 |
| Verifying the microsoft hyper-V hypervisor with VCC D Leinenbach, T Santen FM 2009: Formal Methods, 806-809, 2009 | 198 | 2009 |
| 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 | 139 | 2005 |
| 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 | 133 | 2006 |
| The Verisoft approach to systems verification E Alkassar, M Hillebrand, D Leinenbach, N Schirmer, A Starostin Verified Software: Theories, Tools, Experiments, 209-224, 2008 | 101 | 2008 |
| On the correctness of operating system kernels M Gargano, M Hillebrand, D Leinenbach, W Paul Theorem Proving in Higher Order Logics, 1-16, 2005 | 88 | 2005 |
| Balancing the load E Alkassar, MA Hillebrand, DC Leinenbach, NW Schirmer, A Starostin, ... Journal of Automated Reasoning 42 (2), 389-454, 2009 | 63 | 2009 |
| Pervasive compiler verification-from verified programs to verified systems D Leinenbach, E Petrova Electronic Notes in Theoretical Computer Science 217, 23-40, 2008 | 61 | 2008 |
| 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 | 61 | 2003 |
| Compiler verification in the context of pervasive system verification DC Leinenbach Universitätsbibliothek, 2008 | 45 | 2008 |
| 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 | 29 | 2005 |
| Formal verification of a reader-writer lock implementation in C MA Hillebrand, DC Leinenbach Electronic Notes in Theoretical Computer Science 254, 123-141, 2009 | 26 | 2009 |
| Correct hardware by synthesis from PVS S Beyer, C Jacobi, D Kröning, D Leinenbach Submitted for publication, 2002 | 19 | 2002 |
| Invariants, modularity, and rights E Cohen, E Alkassar, V Boyarinov, M Dahlweid, U Degenbaev, ... Perspectives of Systems Informatics, 43-55, 2010 | 13 | 2010 |
| 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 | 11 | 2002 |
| 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 | 5* | 2011 |
| Towards the pervasive verification of automotive systems T der Rieden, D Leinenbach, W Paul Correct Hardware Design and Verification Methods, 3-4, 2005 | 5 | 2005 |
| Implementierung eines maschinell verifizierten Prozessors D Leinenbach, PPDWJ Paul Master’s thesis, Saarland University, Germany, 2002 | 5 | 2002 |
| Die sprache C0 D Leinenbach Internal Technical Report 2, Universität des Saarlandes, June 2004. http …, 2004 | 4 | 2004 |
| Multidimensional and Adaptive Non-Intrusive Anomaly Detection in Network Services K Hendrawan, T Sinnwell, D Leinenbach | 1 | 2011 |
Stephan TobiesSynopsys在 tobies.info 的电子邮件经过验证
Stephan TobiesSynopsys在 tobies.info 的电子邮件经过验证
Daniel KroeningAmazon在 amazon.com 的电子邮件经过验证
Dr.-Ing. Artem StarostinFinanz Informatik Solutions Plus GmbH在 f-i-solutions-plus.de 的电子邮件经过验证