Praktischer Einsatz und Weiterentwicklung von Estelle. - Caroline Andrae; Jan Bredereke; C. Hille; D. Peter; T. Reimer; U. Schüler; Reinhard Gotzhein; Friedrich H. Vogt (GI Jahrestagung, 1991)

Design of a formal Estelle semantics for verification. - Jan Bredereke; Reinhard Gotzhein; Friedrich H. Vogt (FORTE, 1992)

Increasing the Concurrency in Estelle. - Jan Bredereke; Reinhard Gotzhein (FORTE, 1993)

Specification, detection and resolution of IN feature interactions with Estelle. - Jan Bredereke; Reinhard Gotzhein (FORTE, 1994)

Atomarität in parallel implementierten Estelle-Spezifikationen. - Jan Bredereke (Prax. Inf.verarb. Kommun., 1994)

Improving the efficiency of automated protocol implementation using Estelle. - Reinhard Gotzhein; Jan Bredereke; Wolfgang Effelsberg; Stephan Fischer 001; Thomas Held; Hartmut König (Comput. Commun., 1996)

Detection of Feature Interactions in Intelligent Networks by Verification. - Jan Bredereke (Softw. Concepts Tools, 1996)

Communication systems design with Estelle - on style, efficiency, and analysis. - Jan Bredereke (Shaker, 1997)

Avoiding Feature Interactions in the Users' Interface. - Jan Bredereke (FIW, 1998)

Trends in Formal Description Techniques. - Reinhard Gotzhein; Jan Bredereke (Comput. Networks, 1998)

Hierarchische Familien formaler Anforderungen. - Jan Bredereke (FBT, 2000)

Families of Formal Requirements in Telephone Switching. - Jan Bredereke (FIW, 2000)

A Tool for Generating Specifications from a Family of Formal Requirements. - Jan Bredereke (FORTE, 2001)

An Automated, Flexible Testing Environment for UMTS. - Jan Bredereke; Bernd-Holger Schlingloff (TestCom, 2002)

A Rigorous View of Mode Confusion. - Jan Bredereke; Axel Lankenau (SAFECOMP, 2002)

Maintaining telephone switching software requirements. - Jan Bredereke (IEEE Commun. Mag., 2002)

On Feature Orientation and on Requirements Encapsulation Using Families of Requirements. - Jan Bredereke (Objects, Agents, and Features, 2003)

On Preventing Telephony Feature Interactions which are Shared-Control Mode Confusions. - Jan Bredereke (FIW, 2003)

Configuring Members of a Family of Requirements Using Features. - Jan Bredereke (FIW, 2005)

Safety-relevant mode confusions - modelling and reducing them. - Jan Bredereke; Axel Lankenau (Reliab. Eng. Syst. Saf., 2005)

Maintaining families of rigorous requirements for embedded software systems. - Jan Bredereke (Logos, 2007)

Automatisierte Auslieferung und Konfiguration einer Linux-Umgebung für Entwickler. - Steven Wend; Jan Bredereke (Prax. Inf.verarb. Kommun., 2015)

Enabling Neural Network Edge Computing on a Small Robot Vehicle. - Jan Bredereke (IDC, 2022)