Erfahrungen mit neueren Methoden zur Konstruktion zuverlässiger Software bei der Realisierung eines Vermittlungssystems für Rechnernetze in der Fertigungssteuerung. - F. Hofmann; S. Keramidis (GI Jahrestagung, 1979)

Specification and Implementation of Parallel Activities on Abstract Objects. - S. Keramidis; L. Mackert (ICSE, 1979)

Ein Kalkül zur Konstruktion deadlockfreier Systeme. - S. Keramidis; L. Mackert (ARCS, 1980)

Schutzmechanismen in einem Betriebssystem für eine Multimikrocomputerkonfiguration. - S. Keramidis; Manfred Reitenspieß (GI Jahrestagung, 1980)

Sprachkonstrukte und Betriebssystemunterstützung für asynchrone und verteilte Prozeßsysteme. - S. Keramidis; Manfred Reitenspieß; K. Weber (Implementierungssprachen für nichtsequentielle Programmsysteme, 1981)

A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication. - Reinhard Gotzhein; S. Keramidis; Manfred Reitenspieß (Fachtagung über Programmiersprachen, 1982)