Joachim Thees

Publication Activity (10 Years)

Years Active: 1997-2003
Publications (10 Years): 0

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Reinhard Gotzhein, Christian Peper, Philipp Schaible, Joachim Thees
Durchgängige Entwicklung großer verteilter Systeme - Die SILICON-Fallstudie. KiVS (2003)
Joachim Thees
Type Abstraction in Formal Protocol Specifications with Container Types. FORTE (2003)
Joachim Thees
Implementierungs- und Optimierungsmodelle des eXperimental Estelle Compilers. FBT (1999)
Joachim Thees, Reinhard Gotzhein
The experimental Estelle Compiler: automatic generation of implementations from formal specifications. FMSP (1998)
Joachim Thees, Reinhard Gotzhein
Open Estelle - An FDT for Open Distributed Systems. FORTE (1998)
Joachim Thees, Reinhard Gotzhein
Leistungsbewertung automatisch generierter Protokollimplementierungen. MMB (Kurzbeiträge) (1997)