| 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 | EE | 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 | EE | 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 | EE | Dennis Walter,
Lutz Schröder,
Till Mossakowski:
Parametrized Exceptions.
CALCO 2005: 424-438 |
