Jan Bredereke

24 papers B 1C 5Misc 1Journal 7Unranked 8
YearRankTypeTitle / Venue / Authors
2022 Misc conf
Enabling Neural Network Edge Computing on a Small Robot Vehicle.
IDC
Jan Bredereke
2015 J jnl
Automatisierte Auslieferung und Konfiguration einer Linux-Umgebung für Entwickler.
Prax. Inf.verarb. Kommun.
Steven Wend, Jan Bredereke
2007 — book
Maintaining families of rigorous requirements for embedded software systems.
Jan Bredereke
2005 — conf
Configuring Members of a Family of Requirements Using Features.
FIW
Jan Bredereke
2005 J jnl
Safety-relevant mode confusions - modelling and reducing them.
Reliab. Eng. Syst. Saf.
Jan Bredereke, Axel Lankenau
2003 — conf
On Feature Orientation and on Requirements Encapsulation Using Families of Requirements.
Objects, Agents, and Features
Jan Bredereke
2003 — conf
On Preventing Telephony Feature Interactions which are Shared-Control Mode Confusions.
FIW
Jan Bredereke
2002 B conf
A Rigorous View of Mode Confusion.
SAFECOMP
Jan Bredereke, Axel Lankenau
2002 — conf
An Automated, Flexible Testing Environment for UMTS.
TestCom
Jan Bredereke, Bernd-Holger Schlingloff
2002 J jnl
Maintaining telephone switching software requirements.
IEEE Commun. Mag.
Jan Bredereke
2001 C conf
A Tool for Generating Specifications from a Family of Formal Requirements.
FORTE
Jan Bredereke
2000 — conf
Families of Formal Requirements in Telephone Switching.
FIW
Jan Bredereke
2000 — conf
Hierarchische Familien formaler Anforderungen.
FBT
Jan Bredereke
1998 — conf
Avoiding Feature Interactions in the Users' Interface.
FIW
Jan Bredereke
1998 J jnl
Trends in Formal Description Techniques.
Comput. Networks
Reinhard Gotzhein, Jan Bredereke
1997 — book
Communication systems design with Estelle - on style, efficiency, and analysis.
Jan Bredereke
1996 J jnl
Detection of Feature Interactions in Intelligent Networks by Verification.
Softw. Concepts Tools
Jan Bredereke
1996 C ed.
Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996
FORTE
Reinhard Gotzhein, Jan Bredereke
1996 J jnl
Improving the efficiency of automated protocol implementation using Estelle.
Comput. Commun.
Reinhard Gotzhein, Jan Bredereke, Wolfgang Effelsberg, Stephan Fischer, Thomas Held, Hartmut König
1994 J jnl
Atomarität in parallel implementierten Estelle-Spezifikationen.
Prax. Inf.verarb. Kommun.
Jan Bredereke
1994 C conf
Specification, detection and resolution of IN feature interactions with Estelle.
FORTE
Jan Bredereke, Reinhard Gotzhein
1993 C conf
Increasing the Concurrency in Estelle.
FORTE
Jan Bredereke, Reinhard Gotzhein
1992 C conf
Design of a formal Estelle semantics for verification.
FORTE
Jan Bredereke, Reinhard Gotzhein, Friedrich H. Vogt
1991 — conf
Praktischer Einsatz und Weiterentwicklung von Estelle.
GI Jahrestagung
Caroline Andrae, Jan Bredereke, C. Hille, D. Peter, T. Reimer, U. Schüler, Reinhard Gotzhein, Friedrich H. Vogt