| |
| 2003 | ||
|---|---|---|
| 6 | EE | Joachim Thees: Type Abstraction in Formal Protocol Specifications with Container Types. FORTE 2003: 383-398 |
| 5 | Reinhard Gotzhein, Christian Peper, Philipp Schaible, Joachim Thees: Durchgängige Entwicklung großer verteilter Systeme - Die SILICON-Fallstudie. KiVS 2003: 131-141 | |
| 1999 | ||
| 4 | Joachim Thees: Implementierungs- und Optimierungsmodelle des eXperimental Estelle Compilers. FBT 1999: 243-252 | |
| 1998 | ||
| 3 | EE | Joachim Thees, Reinhard Gotzhein: The experimental Estelle Compiler: automatic generation of implementations from formal specifications. FMSP 1998: 54-61 |
| 2 | Joachim Thees, Reinhard Gotzhein: Open Estelle - An FDT for Open Distributed Systems. FORTE 1998: 19-36 | |
| 1997 | ||
| 1 | Joachim Thees, Reinhard Gotzhein: Leistungsbewertung automatisch generierter Protokollimplementierungen. MMB (Kurzbeiträge) 1997: 26-33 | |
| 1 | Reinhard Gotzhein | [1] [2] [3] [5] |
| 2 | Christian Peper | [5] |
| 3 | Philipp Schaible | [5] |