Year 1995

Books and Journals

 Towards a Basic Reference Model of Open Distributed Processing
[Go95]
R. Gotzhein
Computer Networks and ISDN Systems (North-Holland), Special Issue ISO Reference Model for Open Distributed Processing, No. 27, 1995, pp. 1287-1304

Proceedings

 Ein Werkzeug zur Analyse von Feature-Interaktionen in IN
[ThBr95]
J. Thees, J. Bredereke
in: R. Gotzhein und J. Bredereke (Hrsg.): Formale Beschreibungstechniken für verteilte Systeme, Proceedings des 5. GI/ITG-Fachgesprächs, Kaiserslautern, 22.- 23.6.1995, 199-208

 Formal Criteria for Feature Interactions in Telecommunications Systems
[Br95a]
J. Bredereke
in: V. B. Iversen, J. Nørgaard, (Hrsg.), "IFIP International Working Conference on Intelligent Networks - IWCIN95, Proceedings", pp. 83-97, Copenhagen, Denmark, 28.-21. August 1995

 Formale Beschreibungstechniken für verteilte Systeme
[GoBr95]
R. Gotzhein, J. Bredereke
Proceedings des 5. GI/ITG-Fachgesprächs, Kaiserslautern, Germany, 1995

Technical reports

 Automata-Theoretic Criteria for Feature Interactions in Telecommunications Systems
[Br95b]
J. Bredereke
Interner Bericht 273/95, Fachbereich Informatik, Universität Kaiserslautern, 1995

 Improving the Efficiency of Automated Protocol Implementation Using Estelle
[GoBrEf95]
R. Gotzhein, J. Bredereke, W. Effelsberg, S. Fischer, T. Held, H. König
Technical Report 274/95, Department of Computer Sciences, University of Kaiserslautern, Germany, 1995

Diploma thesis

 Entwurf und Implementierung eines Werkzeugs zur Analyse von Feature-Interaktionen in Estelle-Spezifikationen
[The95]
J. Thees
Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, April 1995

 Vergleich von Estelle und STATEMATE anhand eines Schiebefensterprotokolls
[Gum95]
N. Gumprecht
Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Jan. 1995

Project thesis

 Einbettung automatisch generierter Protokollimplementierungen in eine reale Netzumgebung
[Sc95]
P. Schaible
Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Nov. 1995

 Entwurf eines Telefonvermittlungssystems in Estelle
[Ill95]
J. Illerich
Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Okt. 1995

 Identifikation und Spezifikation einzelner Protokollfunktionalitäten des Xpress Transfer Protokolls (XTP)
[Krae95]
M. Kraemer
Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, April 1995

 Spezifikation und Bewertung eines Effizienten Kommunikationsprotokolls
[Dah95]
S. Dahl
Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Feb. 1995

 Untersuchung und Beschreibung unterschiedlicher unterschiedlicher Spezifikationsstile in der formalen Beschreibungstechnik Estelle anhand des "Association Control Service Elements"
[Bar95]
D. Barthel
Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, April 1995

Presentations

 Modeling and Specifying Dynamic Architectures of Open Distributed Systems
[Go95p]
R. Gotzhein
(Invited Presentation), Workshop on "Dynamic Modeling of Real-Time Distributed Systems", Yamagata, Japan, 31.3.1995




 Superordinated page: Publications

 Feedback
Go to the contact details of the person in charge of this page

 Deutsch
This page in german. Diese Seite auf deutsch.