| 2005 |
|---|
| 17 | | Jan Bredereke:
Configuring Members of a Family of Requirements Using Features.
FIW 2005: 96-113 |
| 2003 |
|---|
| 16 | | Jan Bredereke:
On Preventing Telephony Feature Interactions which are Shared-Control Mode Confusions.
FIW 2003: 159-176 |
| 15 | EE | Jan Bredereke:
On Feature Orientation and on Requirements Encapsulation Using Families of Requirements.
Objects, Agents, and Features 2003: 26-44 |
| 2002 |
|---|
| 14 | EE | Jan Bredereke,
Axel Lankenau:
A Rigorous View of Mode Confusion.
SAFECOMP 2002: 19-31 |
| 13 | | Jan Bredereke,
Bernd-Holger Schlingloff:
An Automated, Flexible Testing Environment for UMTS.
TestCom 2002: 79-94 |
| 2001 |
|---|
| 12 | | Jan Bredereke:
A Tool for Generating Specifications from a Family of Formal Requirements.
FORTE 2001: 319-334 |
| 2000 |
|---|
| 11 | | Jan Bredereke:
Hierarchische Familien formaler Anforderungen.
FBT 2000: 31-40 |
| 10 | | Jan Bredereke:
Families of Formal Requirements in Telephone Switching.
FIW 2000: 257-273 |
| 1998 |
|---|
| 9 | | Jan Bredereke:
Avoiding Feature Interactions in the Users' Interface.
FIW 1998: 305-317 |
| 8 | EE | Reinhard Gotzhein,
Jan Bredereke:
Trends in Formal Description Techniques.
Computer Networks 30(9-10): 863-864 (1998) |
| 1996 |
|---|
| 7 | | Reinhard Gotzhein,
Jan Bredereke:
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
Chapman & Hall 1996 |
| 6 | EE | Reinhard Gotzhein,
Jan Bredereke,
Wolfgang Effelsberg,
Stephan Fischer,
Thomas Held,
Hartmut König:
Improving the efficiency of automated protocol implementation using Estelle.
Computer Communications 19(14): 1226-1235 (1996) |
| 5 | | Jan Bredereke:
Detection of Feature Interactions in Intelligent Networks by Verification.
Software - Concepts and Tools 17(3): 121-139 (1996) |
| 1994 |
|---|
| 4 | | Jan Bredereke,
Reinhard Gotzhein:
Specification, detection and resolution of IN feature interactions with Estelle.
FORTE 1994: 376-378 |
| 1993 |
|---|
| 3 | | Jan Bredereke,
Reinhard Gotzhein:
Increasing the Concurrency in Estelle.
FORTE 1993: 125-139 |
| 1992 |
|---|
| 2 | | Jan Bredereke,
Reinhard Gotzhein,
Friedrich H. Vogt:
Design of a formal Estelle semantics for verification.
FORTE 1992: 153-168 |
| 1991 |
|---|
| 1 | | Caroline Andrae,
Jan Bredereke,
C. Hille,
D. Peter,
T. Reimer,
U. Schüler,
Reinhard Gotzhein,
Friedrich H. Vogt:
Praktischer Einsatz und Weiterentwicklung von Estelle.
GI Jahrestagung 1991: 265-275 |
