Heiko Lötzbeyer

	2004
6		Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps: Model based testing in incremental system development. Journal of Systems and Software 70(3): 315-329 (2004)
	2002
5		Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl: Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems. Ada Deutschland Tagung 2002: 37-52
4		Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl: Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems CoRR cs.SE/0201023: (2002)
	2001
3		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
2		Peter Braun, Heiko Lötzbeyer, Bernhard Schätz, Oscar Slotosch: Consistent Integration of Formal Methods. TACAS 2000: 48-62
1		Guido Wimmel, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch: Specification based test sequence generation with propositional logic. Softw. Test., Verif. Reliab. 10(4): 229-248 (2000)

Coauthor Index

1	Andree Blotz	[4] [5]
2	Peter Braun	[2]
3	Franz Huber	[4] [5]
4	Jan Philipps	[3] [6]
5	Alexander Pretschner	[1] [3] [4] [5] [6]
6	Bernhard Schätz	[2]
7	Oscar Slotosch	[1] [2] [4] [5]
8	Guido Wimmel	[1]
9	Hans-Peter Zängerl	[4] [5]