| |
| 2008 | ||
|---|---|---|
| 3 | 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 | |
| 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 |
| 1 | Udo Frese | [3] |
| 2 | Reiner Hähnle | [2] |
| 3 | Daniel Hausmann | [3] |
| 4 | Christoph Lüth | [3] |
| 5 | Till Mossakowski | [1] |
| 6 | Jing Pan | [2] |
| 7 | Philipp Rümmer | [2] |
| 8 | Lutz Schröder | [1] |
| 9 | Holger Taubig | [3] |