 | 2009 |
|---|
| 5 |       | Christoph Lüth,
Dennis Walter:
Certifiable Specification and Verification of C Programs.
FM 2009: 419-434 |
| 2008 |
|---|
| 4 |  | Udo Frese,
Daniel Hausmann,
Christoph Lüth,
Holger Taubig,
Dennis Walter:
Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung.
Software Engineering (Workshops) 2008: 335-338 |
| 3 | | Reiner Hähnle,
Jing Pan,
Philipp Rümmer,
Dennis Walter:
Integration of a security type system into a program logic.
Theor. Comput. Sci. 402(2-3): 172-189 (2008) |
| 2006 |
|---|
| 2 | | Reiner Hähnle,
Jing Pan,
Philipp Rümmer,
Dennis Walter:
Integration of a Security Type System into a Program Logic.
TGC 2006: 116-131 |
| 2005 |
|---|
| 1 | | Dennis Walter,
Lutz Schröder,
Till Mossakowski:
Parametrized Exceptions.
CALCO 2005: 424-438 |
