Jan Philipps

2005
18		Erik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz: An Empirical Investigation of Requirements Specification Languages: Detecting Defects While Formalizing Requirements. Information Modeling Methods and Methodologies 2005: 125-147
2004
17	EE	Alexander Pretschner, Jan Philipps: Methodological Issues in Model-Based Testing. Model-Based Testing of Reactive Systems 2004: 281-291
16	EE	Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps: Model based testing in incremental system development. Journal of Systems and Software 70(3): 315-329 (2004)
2003
15	EE	Gabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner: Prototype-Based Tests for Hybrid Reactive Systems. IEEE International Workshop on Rapid System Prototyping 2003: 78-
14	EE	Jan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel, Kai Scholl: Model-Based Test Case Generation for Smart Cards. Electr. Notes Theor. Comput. Sci. 80: (2003)
2002
13	EE	Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps: Model-Based Development of Embedded Systems. OOIS Workshops 2002: 298-312
2001
12	EE	Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps: Model Based Testing in Evolutionary Software Development. IEEE International Workshop on Rapid System Prototyping 2001: 155-161
2000
11	EE	Max Breitling, Jan Philipps: Step by Step to Histories. AMAST 2000: 11-25
10		Max Breitling, Jan Philipps: Diagrams for Dataflow. FBT 2000: 101-110
9		Alexander K. Wißpeintner, Franz Huber, Jan Philipps: Model Checking and Random Competition - A Study Using the Model Checking Framework MIC. FBT 2000: 91-100
1999
8	EE	Jan Philipps, Oscar Slotosch: The Quest for Correct Systems: Model Checking of Diagrams and Datatypes. APSEC 1999: 449-
7		Erik Kamsties, Antje von Knethen, Jan Philipps, Bernhard Schätz: Eine vergleichende Fallstudie von acht CASE-Werkzeugen für formale und semi-formale Beschreibungstechniken. FBT 1999: 103-112
6		Jan Philipps: Entwurf verteilter Systeme im Sonderforschungsbereich 342. GI Jahrestagung 1999: 289-298
5	EE	Jan Philipps, Bernhard Rumpe: Refinement of Pipe-and-Filter Architectures. World Congress on Formal Methods 1999: 96-115
1998
4	EE	Jan Philipps, Peter Scholz: Formal Verification and Hardware Design with Statecharts. Prospects for Hardware Foundations 1998: 356-389
1997
3		Jan Philipps, Bernhard Rumpe: Refinement of Information Flow Architectures. ICFEM 1997: 203-212
2		Jan Philipps, Peter Scholz: Formal Verification of Statecharts with Instantaneous Chain Reaction. TACAS 1997: 224-238
1995
1		Max Fuchs, Jan Philipps: Focus. Formal Development of Reactive Systems 1995: 185-197

Coauthor Index

1	Ernst Aiglstorfer	[14]
2	Max Breitling	[10] [11]
3	Max Fuchs	[1]
4	Gabor Hahn	[15]
5	Franz Huber	[9] [13]
6	Erik Kamsties	[7] [18]
7	Antje von Knethen	[7] [18]
8	Stefan Kriebel	[14]
9	Heiko Lötzbeyer	[12] [16]
10	Alexander Pretschner	[12] [13] [14] [15] [16] [17]
11	Bernhard Rumpe	[3] [5]
12	Bernhard Schätz	[7] [13] [18]
13	Kai Scholl	[14]
14	Peter Scholz	[2] [4]
15	Oscar Slotosch	[8] [14]
16	Thomas Stauner	[15]
17	Alexander K. Wißpeintner	[9]

Colors in the list of coauthors