Jahr 1996

Zeitschriften- und Buchbeiträge

 Applying a Temporal Logic to the RPC-Memory Specification Problem
[Go96]
R. Gotzhein
in: M. Broy, S. Merz und K. Spies (Hrsg.): Formal Systems Specification - The RPC-Memory Specification Case Study, LNCS 1169, 1996, pp. 253-273

 Detection of feature Interactions in Intelligent Networks by Verification
[Br96c]
J. Bredereke
Software Concepts & Tools 17(3), 121-139 (1996)

 Formal Description Techniques IX - Theory, Application and Tools
[GoBr96]
R. Gotzhein, J. Bredereke (Eds.):
Chapman & Hall, 1996

 Improving the Efficiency of Automated Protocol Implementation Using Estelle
[Go+96a]
R. Gotzhein, J. Bredereke, W. Effelsberg, S. Fischer, T. Held, H. König
Computer Communications Journal 19(12),1996

Konferenzbeiträge

 Automata-Theoretic vs. Property-Oriented Approaches for the Detection of Feature Interactions in IN
[Br96b]
J. Bredereke
in: T. Margaria (Hrsg.), "International Workshop on Advanced Intelligent Networks 1996 - AIN'96, Proceedings", Tech. Rep. MIP-9604, pp. 56-70. Univ. of Passau, Germany, 25.-26. Mar. 1996

 Towards Open Estelle
[GoRoTh96]
R. Gotzhein, F. Rößler, J. Thees
in: U. Herzog, H. Hermanns (Hrsg.): Formale Beschreibungstechniken für verteilte Systeme, Proceedings des 6. GI/ITG-Fachgesprächs, Erlangen, Germany, 1996, pp. 89-98

Technische Berichte

 A Clock-independent Model for Real-Time
[RoGeGo96]
F. Rößler, R. Gotzhein
SFB 501 Report 18/1996

 A Tailored Real Time Temporal Logic for Specifying Requirements of Building Automation Systems
[KrGoPe96]
M. Kronenburg , R. Gotzhein, C. Peper
SFB 501 Report 16/1996, Department of Computer Sciences, Universit< of Kaiserslautern, Germany, 1996

 Automatic Configuration of Communication Subsystems - A Survey
[GeRo96a]
B. Geppert, F. Rößler
SFB 501 Report 17/1996

 Generic Layout of Communication Subsystems - A Case Study
[Go+96b]
R. Gotzhein, B. Geppert, C. Peper, F. Rößler
SFB 501 Report 14/1996, Department of Computer Sciences, University of Kaiserslautern, Germany, 1996

 Pattern-based Configuring of a Customized Resource Reservation Protocol with SDL
[GeRo96b]
B. Geppert, F. Rößler
SFB 501 Report 19/1996

 Specifying and Reasoning about Generic Real-Time Requirements - A Case Study
[GoKrPe96]
R. Gotzhein, M. Kronenburg, C. Peper
SFB 501 Report 15/1996, Department of Computer Sciences, University of Kaiserslautern, Germany, 1996

Diplomarbeiten

 Überwachung eines heterogenen Rechnernetzes mit NetView for AIX
[Por96]
A. Portz
Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Feb. 1996

 Entwurf und Implementierung eines Ressourcen-Verwalters zur Echtzeitkommunikation
[Bob96]
C. Bobek
Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Aug. 1996

 Erstellung eines Software-Monitors zur Analyse automatisch generierter Protokollimplementierungen
[Pen96]
H. Penner
Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Jan. 1996

 Implementation von Kriterien zur Erkennung und Einstufung von Feature-Interactions
[Bar96]
D. Barthel
Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Aug. 1996

 Maßschneiderung von Kommunikationssystemen anhand einer Regelungsaufgabe
[Reu96]
B. Reuther
Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Jan. 1996

 Performancevergleich von Protokollimplementierungen
[Dah96]
S. Dahl
Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Okt. 1996

Projektarbeiten

 Integration von Zusicherungen in Estelle
[Boe96]
S. Bötzel
Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, 1996

 Maßnahmen zur Optimierung von Kommunikationsprotokollen
[Schm96]
G. Schmidt
Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Juni 1996

 Spezifikation und (halb-)automatische Implementierung einer Audioanwendung über Ethernet
[Schu96]
A. Schulz
Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Juni 1996

Vorträge

 Generic Layout of Communication Subsystems
[Go96p]
R. Gotzhein
Wissenschaftliches Kolloquium des SFB 501, Kaiserslautern, 3.9.1996

 CONFINE - Ein Werkzeug zur Analyse von Estelle-Spezifikationen (Tutorial)
[The96]
J. Thees
Fachbereich Informatik, Universität Kaiserslautern, 1996

 Formal Criteria for Feature Interactions in Telecommunications Systems
[Br96a]
J. Bredereke
in: J. Nørgaard, V. B. Iversen (Hrsg.), Intelligent Networks and New Technologies, Chapman & Hall, 1996

 Formale Anforderungsbeschreibung
[SFB96b]
SFB 501 Team 2
Online-Dokument, 1996

 Sensoren und Aktuatoren
[SFB96a]
SFB 501 Team 2
Online-Dokument, 1996




 Übergeordnete Seite: Publikationen

 Feedback
Zu den Kontaktdetails des Verantwortlichen dieser Seite

 English
This page in english. Diese Seite auf englisch.