Articles in Scientific Journals and Magazines

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)