S. Keramidis

According to our database, S. Keramidis authored at least 6 papers between 1979 and 1982.

Collaborative distances:

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

1982

A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication.

Reinhard Gotzhein, S. Keramidis, Manfred Reitenspieß

Proceedings of the Programmiersprachen und Programmentwicklung, 1982

1981

Sprachkonstrukte und Betriebssystemunterstützung für asynchrone und verteilte Prozeßsysteme.

S. Keramidis, Manfred Reitenspieß, K. Weber

Proceedings of the Implementierungssprachen für nichtsequentielle Programmsysteme, 1981

1980

Schutzmechanismen in einem Betriebssystem für eine Multimikrocomputerkonfiguration.

S. Keramidis, Manfred Reitenspieß

Proceedings of the GI - 10. Jahrestagung, Saarbrücken, 30. September, 1980

Ein Kalkül zur Konstruktion deadlockfreier Systeme.

S. Keramidis, L. Mackert

Proceedings of the GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen, 1980

1979

Specification and Implementation of Parallel Activities on Abstract Objects.

S. Keramidis, L. Mackert

Proceedings of the 4th International Conference on Software Engineering, 1979

Erfahrungen mit neueren Methoden zur Konstruktion zuverlässiger Software bei der Realisierung eines Vermittlungssystems für Rechnernetze in der Fertigungssteuerung.

F. Hofmann, S. Keramidis

Proceedings of the GI - 9. Jahrestagung, Bonn, 1.-5. Oktober 1979, Proceedings, 1979