Jan Bredereke

	2005
18		Jan Bredereke: Configuring Members of a Family of Requirements Using Features. FIW 2005: 96-113
	2003
17		Jan Bredereke: On Preventing Telephony Feature Interactions which are Shared-Control Mode Confusions. FIW 2003: 159-176
16		Jan Bredereke: On Feature Orientation and on Requirements Encapsulation Using Families of Requirements. Objects, Agents, and Features 2003: 26-44
	2002
15		Jan Bredereke, Axel Lankenau: A Rigorous View of Mode Confusion. SAFECOMP 2002: 19-31
14		Jan Bredereke, Bernd-Holger Schlingloff: An Automated, Flexible Testing Environment for UMTS. TestCom 2002: 79-94
	2001
13		Jan Bredereke: A Tool for Generating Specifications from a Family of Formal Requirements. FORTE 2001: 319-334
	2000
12		Jan Bredereke: Hierarchische Familien formaler Anforderungen. FBT 2000: 31-40
11		Jan Bredereke: Families of Formal Requirements in Telephone Switching. FIW 2000: 257-273
	1998
10		Jan Bredereke: Avoiding Feature Interactions in the Users' Interface. FIW 1998: 305-317
9		Reinhard Gotzhein, Jan Bredereke: Trends in Formal Description Techniques. Computer Networks 30(9-10): 863-864 (1998)
	1997
8		Jan Bredereke: Communication systems design with Estelle - on style, efficiency, and analysis. Shaker 1997: I-XIII, 1-200
	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		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

Coauthor Index

1	Caroline Andrae	[1]
2	Wolfgang Effelsberg	[6]
3	Stephan Fischer	[6]
4	Reinhard Gotzhein	[1] [2] [3] [4] [6] [7] [9]
5	Thomas Held	[6]
6	C. Hille	[1]
7	Hartmut König	[6]
8	Axel Lankenau	[15]
9	D. Peter	[1]
10	T. Reimer	[1]
11	Bernd-Holger Schlingloff (Holger Schlingloff)	[14]
12	U. Schüler	[1]
13	Friedrich H. Vogt	[1] [2]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page