| 13 |       | 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 |
| 11 | | 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 |
| 10 | | Mark A. Hillebrand,
Dirk Leinenbach:
Formal Verification of a Reader-Writer Lock Implementation in C.
Electr. Notes Theor. Comput. Sci. 254: 123-141 (2009) |
| 9 | | 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) |
| 8 | | Eyad Alkassar,
Mark A. Hillebrand,
Dirk Leinenbach,
Norbert Schirmer,
Artem Starostin:
The Verisoft Approach to Systems Verification.
VSTTE 2008: 209-224 |
| 4 | | 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 |
| 2 | | Mauro Gargano,
Mark A. Hillebrand,
Dirk Leinenbach,
Wolfgang J. Paul:
On the Correctness of Operating System Kernels.
TPHOLs 2005: 1-16 |
- CSB - MetaPress - Google - Bing - Yahoo
Content released under the ODC-BY 1.0 license — See also our legal information page