dblp.uni-trier.dewww.uni-trier.de

Dirk Leinenbach Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
10EEErnie 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
9EEEyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban: Balancing the Load. J. Autom. Reasoning 42(2-4): 389-454 (2009)
2008
8EEEyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin: The Verisoft Approach to Systems Verification. VSTTE 2008: 209-224
7EEDirk Leinenbach, Elena Petrova: Pervasive Compiler Verification - From Verified Programs to Verified Systems. Electr. Notes Theor. Comput. Sci. 217: 23-40 (2008)
2006
6EESven 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
5EEThomas In der Rieden, Dirk Leinenbach, Wolfgang J. Paul: Towards the Pervasive Verification of Automotive Systems. CHARME 2005: 3-4
4EESven 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
3EEDirk Leinenbach, Wolfgang J. Paul, Elena Petrova: Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes. SEFM 2005: 2-12
2EEMauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul: On the Correctness of Operating System Kernels. TPHOLs 2005: 1-16
2003
1EESven 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

Coauthor Index

1Eyad Alkassar [8] [9]
2Sven Beyer [1] [4] [6]
3Peter Böhm [4]
4Ernie Cohen [10]
5Markus Dahlweid [10]
6Mauro Gargano [2]
7Michael Gerke [4]
8Mark A. Hillebrand [2] [4] [8] [9] [10]
9Christian Jacobi [1] [6]
10Steffen Knapp [4]
11Daniel Kroening (Daniel Kröning) [1] [6]
12Michal Moskal [10]
13Wolfgang J. Paul [1] [2] [3] [4] [5] [6]
14Elena Petrova [3] [7]
15Thomas In der Rieden [4] [5]
16Thomas Santen [10]
17Norbert Schirmer [8] [9]
18Wolfram Schulte [10]
19Artem Starostin [8] [9]
20Stephan Tobies [10]
21Alexandra Tsyban [9]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)