Prof. Dr. Jan Bredereke

Wend, S., Bredereke, J.: 
Automatisierte Auslieferung und Konfiguration einer Linux-Umgebung für Entwickler. 
PIK - Praxis der Informationverarbeitung und Kommunikation 38(1-2), 63-70, DOI 10.1515/pik-2015-0001 (Sep. 2015). (abstract) - pdf)

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 PDF - draft in ps/gzip)

Bredereke, J.: 
Detection of Feature Interactions in IN 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.:
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.
Also online at University of Bremen eLib, Bremen, Germany (2009). urn:nbn:de:gbv:46-ep000106275. (abstract - pdf)

Bredereke, J.: 
Enabling Neural Network Edge Computing on a Small Robot Vehicle. 
In: Intelligent Distributed Computing XV. (Bremen, Germany, 14th–15th Sept. 2022). Studies in Computational Intelligence 1089. Springer. (2023). DOI: 10.1007/978-3-031-29104-3_4. (abstract - pdf - slide handout in pdf)

Bredereke, J.:
A Survey of Time and Space Partitioning for Space Avionics. 
In: "DASIA 2018 Data Systems In Aerospace". (Oxford, UK, 29th-31st May 2018). Session A10: TSP including Multicore & PU. Eurospace. (abstract - pdf - slide handout in pdf - slides in pdf)

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) 
(Proceedings of 6th Int'l Feature Interaction Workshop'00.)

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.:
A Survey of Time and Space Partitioning for Space Avionics. 
In: "DASIA 2018 Data Systems In Aerospace". (Oxford, UK, 29th-31st May 2018). Session A10: TSP including Multicore & PU. Eurospace. (abstract - pdf - slide handout in pdf - slides in 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).