Benutzerschnittstelle des PIX End-zu-End Protokolls. - Hans Eckert (Kommunikation in Verteilten Systemen, 1979)

A Computation-System Based Method for Automated Proving of Protocols Against Services. - Hans Eckert; Rainer Prinoth (Protocol Specification, Testing, and Verification, 1983)

Modelling of OSI-Communication Services and Protocols Using Predicate/Transition Nets. - Heinz Jürgen Burkhardt; Hans Eckert; Rainer Prinoth (PSTV, 1984)

Modellierung von OSI-Kommunikationsdiensten und Protokollen mit Hilfe von Prädikat-Transitionsnetzen. - Heinz Jürgen Burkhardt; Hans Eckert; Rainer Prinoth (Kommunikation in Verteilten Systemen (1), 1985)

Testing of protocol implementations. A systematic approach to derivation of test sequences form global protocol specifications. - Heinz Jürgen Burkhardt; Hans Eckert; Alfred Giessler (PSTV, 1985)

Ein mathematisches Verfahren zur automatisierten Verifikation von Kommunikationsprotokollen. - Hans Eckert (Oldenbourg, 1985)

From Protocol Specification to Implementation and Test. - Heinz Jürgen Burkhardt; Hans Eckert (Networking in Open Systems, 1986)

Implementing OSI Communication Protocols - A Systematic Approach to Derive SDL-Implementation Specifications from Global Protocol Specifications. - Heinz Jürgen Burkhardt; Hans Eckert; Rainer Prinoth (ICCC, 1986)