Christian Engel

	2008
6		Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer: Integrating Verification and Testing of Object-Oriented Software. TAP 2008: 182-191
	2007
5		Christian Engel, Reiner Hähnle: Generating Unit Tests from Formal Proofs. TAP 2007: 169-188
	1997
4		Christian Engel: Code Generation for Real-Time Specifications. FBT 1997: 323-332
	1993
3		Christian Engel: Entwurf, Entwicklung und Implementierung von Hochleistungskommunikationsprotokollen auf einer parallelen Controller-Architektur mittels Petri-Netzen. Kommunikation in Verteilten Systemen 1993: 471-485
	1992
2		Christian Engel, Bernd Heinrichs: Flexibles Design von Hochleistungsprotokollen mittels höherer Petri-Netze. ARCS 1992: 237-249
	1988
1		Christian Engel, Michael Sonnenschein: CENSYS: Eine strukturorientierte Entwicklungsumgebung für C-Programme. Angewandte Informatik 30(9): 399-410 (1988)

Coauthor Index

1	Christoph Gladisch	[6]
2	Reiner Hähnle	[5]
3	Bernd Heinrichs	[2]
4	Vladimir Klebanov	[6]
5	Philipp Rümmer	[6]
6	Michael Sonnenschein	[1]

Colors in the list of coauthors