Publications of Jan Bredereke / Veröffentlichungen
Overview in EnglishÜberblick in Deutsch

Scientific Journals / wiss. Zeitschriften

[Bre96c] Bredereke, J.:
Detection of feature Interactions in Intelligent Networks by Verification.
Software Concepts and Tools 17(3), 121-139 (1996).
[GoBrEf96] Gotzhein, R., Bredereke, J., Effelsberg, W., Fischer, S., Held, T., König, H.:
Improving the Efficiency of Automated Protocol Implementation Using Estelle.
Computer Communications Journal 19(14), 1226-1235 (Dec. 1996).
[Bre94a] Bredereke, J.:
Atomarität in verteilt implementierten Estelle-Spezifikationen.
Praxis der Informationsverarbeitung und Kommunikation (PIK), Saur Verlag 4, 225-229 (Oct. 1994)

Books and Conference Proceedings / Bücher und Konferenzbände

[Bre96a] Bredereke, J.:
Formal Criteria for Feature Interactions in Telecommunications Systems.
In: Nørgaard, J. and Iversen, V. B. (eds.), "Intelligent Networks and New Technologies", Chapman & Hall (June 1996).
[BrGo94c] Bredereke, J. and Gotzhein, R.:
Specification, detection and resolution of IN feature interactions with Estelle.
In: Hogrefe, D. and Leue, S. (eds.), "FORTE'94 - Proceedings", pp. 366-368, Berne, Switzerland (4-7 Oct. 1994).
[BrGo94a] Bredereke, J. and Gotzhein, R.:
Increasing the concurrency in Estelle.
In Tenney, R. L., Amer, P. D. und Uyar, M. Ü. (eds.), "Formal Description Techniques VI". North-Holland. (1994).
[BrGoVo93] Bredereke, J., Gotzhein, R. and Vogt, F. H.:
Design of a formal Estelle semantics for verification.
In Diaz, M. und Groz, R. (eds.), "Formal Description Techniques V". North-Holland. (1993).
[AnBrHi91a] Andrae, C., Bredereke, J., Hille, C., et. al.:
Praktischer Einsatz und Weiterentwicklung von Estelle.
In Encarnacao, J. (ed.), "Telekommunikation und multimediale Anwendungen der Informatik", Informatik-Fachberichte 293, pp. 265-275, Proceedings, GI-21. Jahrestagung, Darmstadt (14-18 Oct. 1991).

Workshop Proceedings / Workshop-Tagungsbände

[Bre96b] Bredereke, J.:
Automata-Theoretic vs. Property-Oriented Approaches for the Detection of Feature Interactions in IN.
In: Margaria, T. (ed.), " International Workshop on Advanced Intelligent Networks 1996 - AIN96, Proceedings", Tech. Rep. MIP-9604, pp. 56-70. Univ. of Passau, Germany (25-26 Mar. 1996).
[Bre95a] Bredereke, J.:
Formal Criteria for Feature Interactions in Telecommunications Systems.
In: Iversen, V. B. and Nørgaard, J. (eds.), " IFIP International Working Conference on Intelligent Networks - IWCIN95, Proceedings", pp. 83-97, Copenhagen, Denmark (28-31 Aug. 1995).
[ThBr95] Thees, J. and Bredereke, J.:
Ein Werkzeug zur Analyse von Feature-Interaktionen in IN.
In: Gotzhein and Bredereke "[GoBr95]", pp. 199-208.
[Bre94b] Bredereke, J.:
Spezifikationsstil und Effizienz in Estelle.
4. GI/ITG-Fachgespräch für Verteilte Systeme, Kiel, Germany (16-17 June 1994).

Editor of Books / Herausgeber von Büchern

[GoBr96] Gotzhein, R. and Bredereke, J. (eds.):
Formal Description Techniques IX - Theory, application and tools.
Chapman & Hall (Sep. 1996).

(Proceedings of FORTE/PSTV'96)

[GoBr95] Gotzhein, R. and Bredereke, J. (eds.):
5. GI/ITG-Fachgespräch `Formale Beschreibungstechniken für verteilte Systeme'.
Univ. Kaiserslautern, FB Informatik (22-23 June 1995).

Theses / Dissertation, Diplomarbeit, ...

[Bre97a] Bredereke, J.:
Communication Systems Design with Estelle - On Style, Efficiency, and Analysis.
PhD thesis, Shaker Verlag, Aachen, Germany, (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).


Univ. Kaiserslautern FB Informatik AG Rechnernetze Personen und Adressen Dipl.-Inform. Jan Bredereke Publications / Veröffentlichungen

bredereke@informatik.uni-kl.de