| |
| 1982 | ||
|---|---|---|
| 6 | Reinhard Gotzhein, S. Keramidis, Manfred Reitenspieß: A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication. Fachtagung über Programmiersprachen 1982: 105-116 | |
| 1981 | ||
| 5 | S. Keramidis, Manfred Reitenspieß, K. Weber: Sprachkonstrukte und Betriebssystemunterstützung für asynchrone und verteilte Prozeßsysteme. Implementierungssprachen für nichtsequentielle Programmsysteme 1981: 37-62 | |
| 1980 | ||
| 4 | S. Keramidis, L. Mackert: Ein Kalkül zur Konstruktion deadlockfreier Systeme. ARCS 1980: 217-233 | |
| 3 | S. Keramidis, Manfred Reitenspieß: Schutzmechanismen in einem Betriebssystem für eine Multimikrocomputerkonfiguration. GI Jahrestagung 1980: 305 | |
| 1979 | ||
| 2 | F. Hofmann, S. Keramidis: Erfahrungen mit neueren Methoden zur Konstruktion zuverlässiger Software bei der Realisierung eines Vermittlungssystems für Rechnernetze in der Fertigungssteuerung. GI Jahrestagung 1979: 121-131 | |
| 1 | S. Keramidis, L. Mackert: Specification and Implementation of Parallel Activities on Abstract Objects. ICSE 1979: 203-211 | |
| 1 | Reinhard Gotzhein | [6] |
| 2 | F. Hofmann | [2] |
| 3 | L. Mackert | [1] [4] |
| 4 | Manfred Reitenspieß | [3] [5] [6] |
| 5 | K. Weber | [5] |