Bredereke, J.,
Lankenau, A.:
Safety-Relevant Mode Confusions - Modelling and Reducing Them.
Reliability Engineering & System Safety
88(3), 229-245 (June 2005).
(abstract -
pdf -
ps/gzip)
Bredereke, J.:
Maintaining Telephone Switching Software Requirements.
IEEE Communications Magazine 40(11), 104-109
(Nov. 2002).
(abstract -
draft in ps/gzip -
draft in PDF)
Bredereke, J.:
Detection of feature Interactions in Intelligent Networks by
Verification.
Software Concepts and Tools
17(3), 121-139 (1996).
(abstract)
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).
(abstract)
Bredereke, J.:
Atomarität in verteilt implementierten
Estelle-Spezifikationen.
Praxis der Informationsverarbeitung und Kommunikation (PIK),
Saur Verlag 4, 225-229 (Oct. 1994)
(abstract -
ps/gzip)
Bredereke, J.:
Configuring Members of a Family of Requirements
Using Features.
In Reiff-Marganiec, S. and Ryan, M. D., editors,
"Feature Interactions in Telecommunications and Software
Systems VIII", pp. 96-113.
IOS Press (Jun. 2005).
(abstract -
pdf -
ps/gzip -
slides in pdf)
Bredereke, J.:
On Feature Orientation and on Requirements Encapsulation
Using Families of Requirements.
In Ehrich, H.-D., Meyer, J.-J., and Ryan, M. editors, "Objects,
Agents, and Features",
pp. 26-44.
(c) Springer
Verlag,
LNCS
2975
(2004).
(abstract -
ps/gzip -
pdf)
Bredereke, J.:
On Preventing Telephony Feature Interactions
which are Shared-Control Mode Confusions.
In:
Amyot, D. and Logrippo, L., (eds.)
"Feature Interactions in Telecommunications and Software
Systems VII", pp. 159-176. IOS Press (June 2003).
(abstract -
ps/gzip -
pdf -
slides in pdf)
Bredereke, J.,
Lankenau, A.:
A Rigorous View of Mode Confusion.
In:
Anderson, S., Bologna, S., and Felici, M. (eds.)
"Computer Safety, Reliability and Security -
21st Int'l Conf., SafeComp 2002, Proceedings", pp. 19-31.
(c) Springer
Verlag,
LNCS 2434
(Sep. 2002).
(abstract -
ps/gzip -
pdf -
slides in pdf)
Bredereke, J.,
Schlingloff, B.-H.:
An Automated, Flexible Testing Environment for UMTS.
In:
"Testing of Communicating Systems XIV
- Application to Internet Technologies and Services"
, pp. 79-94.
Kluwer Academic Publishers (Mar. 2002).
(abstract -
slides in ps/gzip)
Bredereke, J.:
A Tool for Generating Specifications from a Family
of Formal Requirements.
In Kim, M., Chin, B., Kang, S., and Lee, D. (eds.):
"Formal Techniques for Networked and Distributed Systems",
pp. 319-334.
Kluwer Academic Publishers (Aug. 2001).
(abstract -
tool home page)
Bredereke, J.:
Families of Formal Requirements in Telephone Switching.
In: Calder, M. and Magill, E. (eds.),
"Feature Interactions in Telecommunication Networks VI",
pp. 257-273, Amsterdam (May 2000). IOS Press.
(abstract -
ps/gzip)
Bredereke, J.:
Avoiding feature interactions in the users' interface.
In:
Kimbler, K. and Bouma, L. G. (eds.),
"Feature Interactions in Telecommunication Networks V",
pp. 305-317. IOS Press,
Amsterdam (Sep. 1998).
(abstract -
ps/gzip)
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).
(abstract)
Bredereke, J. and
Gotzhein, R.:
Specification, detection and
resolution of IN feature interactions with Estelle.
In: Hogrefe, D.
and Leue, S. (eds.),
"Formal Description Techniques VII", pp. 376-378,
Chapman & Hall (1995).
(abstract -
ps/gzip)
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).
(abstract -
ps/gzip)
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",
pp. 153-168.
North-Holland. (1993).
(abstract -
ps/gzip)
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).
Bredereke, J.:
Maintaining Families of Rigorous Requirements
for Embedded Software Systems.
No. 25 in BISS Monographs.
Logos Verlag, Berlin, Germany
(2007).
Revised version.
ISBN 978-3-8325-1521-8.
(abstract -
pdf)
Bredereke, J.:
Modular Requirements Against Feature Interaction Problems (abstract).
In: Reussner, R., Stafford, J., Szyperski, C. (editors),
"Architecting Systems with Trustworthy Components",
No. 04511 in Dagstuhl Seminar Proceedings, p. 10 (Mar. 2006).
(full text of abstract -
slides in PDF)
Bredereke, J., Larsson, S., Krishnamurthi, S., Stuckenholz, A.,
Sulzmann, C., van Ommering, R., Szyperski, C., and Weck, W.:
04511 Breakout Group -- Blame Assignment (abstract).
In: Reussner, R., Stafford, J., Szyperski, C. (editors),
"Architecting Systems with Trustworthy Components",
No. 04511 in Dagstuhl Seminar Proceedings, p. 5 (Mar. 2006).
(full text of abstract)
Bredereke, J.:
Feature Orientation Considered Harmful? (abstract).
In Ehrich, H.-D., Meyer, J.-J., and Ryan, M. (editors),
"Objects, Agents and Features",
Materials
of
Dagstuhl Seminar
No.
03081
(Feb. 2003).
(full text of abstract -
slides in PDF)
Bredereke, J.:
A Tool for Generating Specifications from a Family
of Formal Requirements (abstract).
In: Anderson, S., Bloomfield, R., Heisel, M., Krämer, B. (editors),
"Dependability of Component Based Systems",
no. 359 in
Dagstuhl-Seminar-Report, pp. 1-2 (Nov. 2002).
(full text of abstract -
slides in ps/gzip)
Bredereke, J.:
Ein Werkzeug zum Generieren von Spezifikationen aus einer
Familie formaler Anforderungen.
In: Fischer, S., Jung, H. W. (editors),
"
Formale Beschreibungstechniken - 11. GI/ITG-Fachgespräch",
Bruchsal, Germany (21-22 June 2001).
(abstract -
ps/gzip -
PDF)
Bredereke, J.,
Schlingloff, B.-H.:
Specification Based Testing of the UMTS Protocol Stack.
In:
"Proc. of the 14th Int'l. Software & Internet Quality Week
- QW2001", San Francisco, USA
(29 May - 1 June 2001).
On CD-ROM.
(abstract -
slides in ps/gzip -
ps/gzip -
PDF)
Bredereke, J.:
Generating Specifications from a Family
of Formal Requirements.
In: Jähnichen, S., Kramer, J., Lemoine, M., and Wirsing, M. (editors),
"Can Formal Methods Cope with Software-Intensive Systems?",
no. 308 in
Dagstuhl-Seminar-Report, p. 15 (Jun. 2001).
(full text of abstract)
Bredereke, J.:
Hierarchische Familien formaler Anforderungen.
In: Grabowski, J., Heymer, S. (editors),
"
Formale Beschreibungstechniken für verteilte Systeme
- 10. GI/ITG-Fachgespräch",
pp. 31-40,
Lübeck, Germany (22-23 June 2000).
Shaker Verlag, Aachen, Germany.
(abstract -
ps/gzip)
Bredereke, J.:
Specifying Features in Requirements using CSP-OZ.
In:
Gilmore, S. and Ryan, M. (eds.),
"Proc. of
Workshop
on Language Constructs for Describing Features",
pp. 87-88, Glasgow, Scotland (15-16 May 2000).
ESPRIT Working Group 23531 - Feature Integration in Requirements Engineering.
(abstract)
Bredereke, J.:
Modular, Changeable Requirements for Telephone Switching
(abstract).
In: Jähnichen, S., Lemoine, M., Maibaum, T., and Wirsing, M. (editors),
"Rigorous Analysis and Design for Software Intensive Systems",
no. 258 in
Dagstuhl-Seminar-Report, p. 10 (Nov. 1999).
(full text of abstract)
Bredereke, J., Frühauf, K., Khedri, R., Krauß, S.,
Zeller, A.:
Maintenance.
In: Denert, E., Hoffman, D., Ludewig, J., Parnas, D. (eds.):
"Software Engineering Research and Education: Seeking a new Agenda",
no. 230 in
Dagstuhl-Seminar-Report, ISSN 0940-1121, pp. 41-43
(Feb. 1999).
(report in ps/gzip)
Atlee, J., Bartussek, W.,
Bredereke, J., Glinz, M., Khedri, R., Prechelt, L., Weiss, D.:
Requirements.
In: Denert, E., Hoffman, D., Ludewig, J., Parnas, D. (eds.):
"Software Engineering Research and Education: Seeking a new Agenda",
no. 230 in
Dagstuhl-Seminar-Report, ISSN 0940-1121, pp. 9-16
(Feb. 1999).
(report in ps/gzip)
Bredereke, J.:
Maintaining Telephone Switching System Requirements.
In: "Participants' notes of
Dagstuhl seminar 99071 -
software engineering research and education: seeking a new agenda"
(15-19 Feb. 1999). (Available on request / Erhältlich auf Anfrage)
Bredereke, J.:
Specification Style and Efficiency in Estelle.
In: Budkowski, S., Fischer, S., and Gotzhein, R., (eds.),
"Proc.
of the
Int'l. Workshop on the Formal Description
Technique Estelle - Estelle'98", Evry, France
(2 Nov. 1998). Institut National des Télécommunications.
(abstract -
ps/gzip)
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).
(abstract -
ps/gzip)
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).
(abstract -
ps/gzip)
Thees, J. and
Bredereke, J.:
Ein Werkzeug zur Analyse von Feature-Interaktionen in IN.
In: Gotzhein and Bredereke
"[GoBr95]", pp. 199-208.
(abstract -
ps/gzip)
Bredereke, J.:
Spezifikationsstil und Effizienz in Estelle.
4. GI/ITG-Fachgespräch für Verteilte Systeme, Kiel, Germany
(16-17 June 1994).
Gotzhein, R.,
Bredereke, J.:
Editorial: Trends in formal description techniques.
Comp. Networks and ISDN Syst. 30(9-10), 863-864 (May 1998).
(ps/gzip)
Gotzhein, R. and
Bredereke, J. (eds.):
Formal Description Techniques IX -
Theory, application and tools.
Chapman & Hall (Sep. 1996).
(Proceedings of
FORTE/PSTV'96)
Gotzhein, R. and
Bredereke, J. (eds.):
FORTE/PSTV'96 Tutorial Notes.
Univ. Kaiserslautern (Sep. 1996).
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).
(Proceedings)
Bredereke, J.:
Maintaining Families of Rigorous Requirements
for Embedded Software Systems.
Habilitation thesis, University of Bremen, Germany (2005).
(abstract -
pdf -
ps/gzip)
Bredereke, J.:
Communication Systems Design with Estelle - On Style, Efficiency,
and Analysis.
PhD thesis,
Shaker Verlag, Aachen, Germany,
ISBN 3-8265-2764-X
(Aug. 1997).
(abstract)
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).
(ps/gzip)
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).
Bredereke, J.:
genFamMem 2.0 Manual - a Specification Generator and
Type Checker for Families of Formal Requirements.
University of Bremen, Germany
(Oct. 2000).
(ps/gzip -
genFamMem home page)
Bredereke, J.:
Modular, changeable requirements for telephone switching in
CSP-OZ.
Tech. Rep. IBS-99-1, Univ. of Oldenburg, Oldenburg, Germany
(Oct. 1999).
(abstract -
ps/gzip)
Bredereke, J.:
Vermeidung von Feature-Interaktionen in Intelligenten
Netzwerken durch ein modulares Architekturmodell.
Abschlußbericht DFG-Forschungsstipendium Br 1797/1-1
(Feb. 1999).
(abstract -
ps/gzip -
PDF)
Bredereke, J.:
Requirements specification and design of a simplified telephone network
by functional documentation.
CRL Report 367, McMaster University, Hamilton, Ontario, Canada
(Dec. 1998).
(abstract -
ps/gzip-letter -
ps/gzip-A4)
Bredereke, J.:
Automata-Theoretic Criteria for Feature Interactions in Telecommunications
Systems.
Tech. Rep. 273/95, Univ. of Kaiserslautern, Dept. of Comp. Sce.
(Dec. 1995).
(ps/gzip)
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).
(abstract -
ps/gzip)
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).
(ps/gzip)
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).
(ps/gzip)
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).
(ps/gzip)
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).
Graumann, S. and Polke, N.:
Konzipierung und Implementierung eines Simulators für
Straßenbahnnetze.
Bachelor-Report, Univ. of Bremen (Oct. 2004).
(abstract -
pdf)
Michels, T.:
Spezifikation zusätzlicher Leistungsmerkmale
für ein Telefonvermittlungssystem.
Projektarbeit, Univ. of Kaiserslautern, Dept. of Comp. Sci. (Jul. 1997).
(abstract -
ps/gzip)
Jerusalem, D.:
Erweiterung eines Telefonvermittlungssystems
in Estelle.
Projektarbeit, Univ. of Kaiserslautern, Dept. of Comp. Sci. (Aug. 1997).
(abstract)
Barthel, D.:
Implementation von Kriterien zur Erkennung und
Einstufung von Feature-Interactions.
Masters thesis, Univ. of Kaiserslautern, Dept. of Comp. Sci. (Aug. 1996).
(abstract -
ps/gzip)
Bötzel, S.:
Integration von Zusicherungen in Estelle.
Projektarbeit, Univ. of Kaiserslautern, Dept. of Comp. Sci. (Jun. 1996).
(abstract -
ps/gzip)
Illerich, J.:
Entwurf eines Telefonvermittlungssystems in Estelle.
Projektarbeit, Univ. of Kaiserslautern, Dept. of Comp. Sci. (Oct. 1995).
(ps/gzip -
Estelle specification available on request.)
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).
(abstract -
ps/gzip)
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).
(ps/gzip)
Dahl, S.:
Spezifikation und Bewertung eines effizienten
Kommunikationsprotokolls.
Projektarbeit, Univ. of Kaiserslautern, Dept. of Comp. Sci. (Feb. 1995).
(abstract -
ps/gzip)
[Uni Bremen, FB Informatik] - [AG BS] - [PD Dr. Jan Bredereke] - [Publications / Veröffentlichungen]
brederek@tzi.de $Date: 2007/07/04 09:42:16 $GMT