Joachim Thees

According to our database, Joachim Thees authored at least 7 papers between 1997 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2005

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

Joachim Thees

PhD thesis, 2005

2003

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

Reinhard Gotzhein, Christian Peper, Philipp Schaible, Joachim Thees

Proceedings of the Kommunikation in Verteilten Systemen (KiVS), 2003

Type Abstraction in Formal Protocol Specifications with Container Types.

Joachim Thees

Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

1999

Implementierungs- und Optimierungsmodelle des eXperimental Estelle Compilers.

Joachim Thees

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

1998

Open Estelle - An FDT for Open Distributed Systems.

Joachim Thees, Reinhard Gotzhein

Proceedings of the Formal Description Techniques and Protocol Specification, 1998

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

Joachim Thees, Reinhard Gotzhein

Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998

1997

Leistungsbewertung automatisch generierter Protokollimplementierungen.

Joachim Thees, Reinhard Gotzhein

Proceedings of the MMB '97, 1997