- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| j4 |      | Mark A. Hillebrand, Dirk Leinenbach: Formal Verification of a Reader-Writer Lock Implementation in C. Electr. Notes Theor. Comput. Sci. 254: 123-141 (2009) |
| j3 | | Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban: Balancing the Load. J. Autom. Reasoning 42(2-4): 389-454 (2009) |
| c9 | | 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: Invariants, Modularity, and Rights. Ershov Memorial Conference 2009: 43-55 |
| c8 | | Dirk Leinenbach, Thomas Santen: Verifying the Microsoft Hyper-V Hypervisor with VCC. FM 2009: 806-809 |
| c7 | | Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies: VCC: A Practical System for Verifying Concurrent C. TPHOLs 2009: 23-42 |
| 2008 | ||
| j2 | | Dirk Leinenbach, Elena Petrova: Pervasive Compiler Verification - From Verified Programs to Verified Systems. Electr. Notes Theor. Comput. Sci. 217: 23-40 (2008) |
| c6 | | Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin: The Verisoft Approach to Systems Verification. VSTTE 2008: 209-224 |
| 2006 | ||
| j1 | | Sven Beyer, Christian Jacobi, Daniel Kröning, Dirk Leinenbach, Wolfgang J. Paul: Putting it all together - Formal verification of the VAMP. STTT 8(4-5): 411-430 (2006) |
| 2005 | ||
| c5 | | Thomas In der Rieden, Dirk Leinenbach, Wolfgang J. Paul: Towards the Pervasive Verification of Automotive Systems. CHARME 2005: 3-4 |
| c4 | | Sven Beyer, Peter Böhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul: Towards the Formal Verification of Lower System Layers in Automotive Systems. ICCD 2005: 317-326 |
| c3 | | Dirk Leinenbach, Wolfgang J. Paul, Elena Petrova: Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes. SEFM 2005: 2-12 |
| c2 | | Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul: On the Correctness of Operating System Kernels. TPHOLs 2005: 1-16 |
| 2003 | ||
| c1 | | Sven Beyer, Christian Jacobi, Daniel Kroening, Dirk Leinenbach, Wolfgang J. Paul: Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP. CHARME 2003: 51-65 |
Data released under the ODC-BY 1.0 license — See also our legal information page