| |
| 2008 | ||
|---|---|---|
| 6 | EE | Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer: Integrating Verification and Testing of Object-Oriented Software. TAP 2008: 182-191 |
| 2007 | ||
| 5 | EE | 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) | |
| 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] |