Joachim Thees

The experimental Estelle Compiler: automatic generation of implementations from formal specifications

Reinhard Gotzhein, Joachim Thees, 1998, FMSP '98.

A Formal Syntax and a Formal Semantics for Open Estelle

Reinhard Gotzhein, Joachim Thees, 1997 .

Implementierungs- und Optimierungsmodelle des eXperimental Estelle Compilers

Joachim Thees, 1999, FBT.

Leistungsbewertung automatisch generierter Protokollimplementierungen

Reinhard Gotzhein, Joachim Thees, R. Gotzhein, 1997, Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen.

Protocol Implementation with Estelle from Prototypes to Efficient Implementations 1

Joachim Thees, 1998 .

Type Abstraction in Formal Protocol Specifications with Container Types

Joachim Thees, 2003, FORTE.

Durchgängige Entwicklung großer verteilter Systeme - Die SILICON-Fallstudie

Reinhard Gotzhein, Philipp Schaible, Christian Peper, 2003, KiVS.

Ausdrucksfähigkeit und effiziente Implementierbarkeit formaler Beschreibungstechniken am Beispiel von Estelle

Joachim Thees, Joachim Thees, 2004 .

Open Estelle - An FDT for Open Distributed Systems

Reinhard Gotzhein, Joachim Thees, 1998, FORTE.