Jan Bredereke

According to our database, Jan Bredereke authored at least 23 papers between 1991 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Enabling Neural Network Edge Computing on a Small Robot Vehicle.

Jan Bredereke

Proceedings of the Intelligent Distributed Computing XV, 2022

2015

Automatisierte Auslieferung und Konfiguration einer Linux-Umgebung für Entwickler.

Steven Wend, Jan Bredereke

Prax. Inf.verarb. Kommun., 2015

2007

Maintaining families of rigorous requirements for embedded software systems.

Jan Bredereke

BISS monographs 25, Logos, ISBN: 978-3-8325-1521-8, 2007

2005

Safety-relevant mode confusions - modelling and reducing them.

Jan Bredereke, Axel Lankenau

Reliab. Eng. Syst. Saf., 2005

Configuring Members of a Family of Requirements Using Features.

Jan Bredereke

Proceedings of the Feature Interactions in Telecommunications and Software Systems VIII, 2005

2003

On Preventing Telephony Feature Interactions which are Shared-Control Mode Confusions.

Jan Bredereke

Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003

On Feature Orientation and on Requirements Encapsulation Using Families of Requirements.

Jan Bredereke

Proceedings of the Objects, 2003

2002

Maintaining telephone switching software requirements.

Jan Bredereke

IEEE Commun. Mag., 2002

A Rigorous View of Mode Confusion.

Jan Bredereke, Axel Lankenau

Proceedings of the Computer Safety, 2002

An Automated, Flexible Testing Environment for UMTS.

Jan Bredereke, Bernd-Holger Schlingloff

Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

2001

A Tool for Generating Specifications from a Family of Formal Requirements.

Jan Bredereke

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

2000

Families of Formal Requirements in Telephone Switching.

Jan Bredereke

Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000

Hierarchische Familien formaler Anforderungen.

Jan Bredereke

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

1998

Trends in Formal Description Techniques.

Reinhard Gotzhein, Jan Bredereke

Comput. Networks, 1998

Avoiding Feature Interactions in the Users' Interface.

Jan Bredereke

Proceedings of the Feature Interactions in Telecommunications and Software Systems V, September 29, 1998

1997

Communication systems design with Estelle - on style, efficiency, and analysis.

Jan Bredereke

Berichte aus der Informatik, Shaker, ISBN: 978-3-8265-2764-7, 1997

1996

Detection of Feature Interactions in Intelligent Networks by Verification.

Jan Bredereke

Softw. Concepts Tools, 1996

Improving the efficiency of automated protocol implementation using Estelle.

Reinhard Gotzhein, Jan Bredereke, Wolfgang Effelsberg, Stephan Fischer, Thomas Held, Hartmut König

Comput. Commun., 1996

1994

Atomarität in parallel implementierten Estelle-Spezifikationen.

Jan Bredereke

Prax. Inf.verarb. Kommun., 1994

Specification, detection and resolution of IN feature interactions with Estelle.

Jan Bredereke, Reinhard Gotzhein

Proceedings of the Formal Description Techniques VII, 1994

1993

Increasing the Concurrency in Estelle.

Jan Bredereke, Reinhard Gotzhein

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

1992

Design of a formal Estelle semantics for verification.

Jan Bredereke, Reinhard Gotzhein, Friedrich H. Vogt

Proceedings of the Formal Description Techniques, 1992

1991

Praktischer Einsatz und Weiterentwicklung von Estelle.

Caroline Andrae, Jan Bredereke, C. Hille, D. Peter, T. Reimer, U. Schüler, Reinhard Gotzhein, Friedrich H. Vogt

Proceedings of the Telekommunikation und multimediale Anwendungen der Informatik, 1991