(Aug. 1997).
[Bre92] |
Bredereke, J.:
Entwurf einer formalen Semantik für Estelle
unter Verwendung von TLA mit Prädikatentransformatoren.
Diplomarbeit Nr. 858, Univ. of Hamburg, Dept. of Comp. Sci. (June 1992).
|
[Bre90] |
Bredereke, J.:
Spezifikation und Verifikation des InRes-Protokolls
unter Verwendung von Estelle und temporaler Logik.
Studienarbeit Nr. 700, Univ. of Hamburg, Dept. of Comp. Sci. (Nov. 1990).
|
|
Technical Reports / technische Berichte
|
|
[Bre95b] |
Bredereke, J.:
Automata-Theoretic Criteria for Feature Interactions in Telecommunications
Systems.
Tech. Rep. 273/95, Univ. of Kaiserslautern, Dept. of Comp. Sce.
(Dec. 1995).
|
[GoBrEf95] |
Gotzhein, R.,
Bredereke, J.,
Effelsberg, W., Fischer, S., Held, T.,
König, H.:
Improving the Efficiency of Automated Protocol Implementation Using
Estelle.
Tech. Rep. 274/95, Univ. of Kaiserslautern, Dept. of Comp. Sce.
(Sept. 1995).
|
[BrGo94b] |
Bredereke, J. and
Gotzhein, R.:
A case study on specification,
detection and resolution of IN feature interactions with
Estelle.
Tech. Rep. 245/94, Univ. of Kaiserslautern, Dept. of Comp. Sce.
(May 1994).
|
[Bre93] |
Bredereke, J.:
Entwurf eines parallelisierten OSI-TP in Estelle
.
Tech. Rep. FBI-HH-M-234/93, Univ. of Hamburg, Dept. of Comp. Sce.
(Dec. 1993).
|
[BrGo93a] |
Bredereke, J. and
Gotzhein, R.:
Eine Estelle-Erweiterung zur Steigerung der
Nebenläufigkeit.
Tech. Rep. FBI-HH-M-219/93,
Univ. of Hamburg, Dept. of Comp. Sce. (Feb. 1993).
|
[AnBrHi91b] |
Andrae, C.,
Bredereke, J.,
Hille, C., et. al.:
Praktischer Einsatz und Weiterentwicklung von Estelle.
Tech. Rep. FBI-HH-M-150/91,
Univ. of Hamburg, Dept. of Comp. Sce. (Feb. 1991).
|
|
Supervised Theses of Students / betreute Arbeiten von Studenten
|
|
[Mic97] |
Michels, T.:
Spezifikation zusätzlicher Leistungsmerkmale
für ein Telefonvermittlungssystem.
Projektarbeit, Univ. of Kaiserslautern, Dept. of Comp. Sci. (Jul. 1997).
|
[Jer97] |
Jerusalem, D.:
Erweiterung eines Telefonvermittlungssystems
in Estelle.
Projektarbeit, Univ. of Kaiserslautern, Dept. of Comp. Sci. (1997).
To appear.
|
[Bar96] |
Barthel, D.:
Implementation von Kriterien zur Erkennung und
Einstufung von Feature-Interactions.
Masters thesis, Univ. of Kaiserslautern, Dept. of Comp. Sci. (Aug. 1996).
|
[Böt96] |
Bötzel, S.:
Integration von Zusicherungen in Estelle.
Projektarbeit, Univ. of Kaiserslautern, Dept. of Comp. Sci. (Jun. 1996).
|
[Ill95] |
Illerich, J.:
Entwurf eines Telefonvermittlungssystems in Estelle.
Projektarbeit, Univ. of Kaiserslautern, Dept. of Comp. Sci. (Oct. 1995).
(Estelle specification available on request.)
|
[The95] |
Thees, J.:
Entwurf und Implementierung eines Werkzeugs zur Analyse von
Feature-Interaktionen in Estelle-Spezifikationen.
Masters thesis, Univ. of Kaiserslautern, Dept. of Comp. Sci. (Apr. 1995).
|
[Bar95] |
Barthel, D.:
Untersuchung und Beschreibung unterschiedlicher
Spezifikationsstile in der formalen Beschreibungstechnik Estelle anhand des
`Association Control Service Elements'.
Projektarbeit, Univ. of Kaiserslautern, Dept. of Comp. Sci. (Apr. 1995).
|
[Dah95] |
Dahl, S.:
Spezifikation und Bewertung eines effizienten
Kommunikationsprotokolls.
Projektarbeit, Univ. of Kaiserslautern, Dept. of Comp. Sci. (Feb. 1995).
|
|
Related Papers by Others of My
Former Group in K'lautern
/ verwandte Arbeiten der
AG RN in K'lautern
|
|
[The96] |
Thees, J.:
Confine - Ein Werkzeug zur Analyse von Estelle-Spezifikationen
(Tutorial).
Univ. of Kaiserslautern, Dept. of Comp. Sci. (Feb. 1996).
|
[Pen96] |
Penner, H.:
Erstellung eines Software-Monitors zur Analyse
automatisch generierter Protokollimplementierungen.
Masters thesis, Univ. of Kaiserslautern, Dept. of Comp. Sci. (Jan. 1996).
|