| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 8 |      | Christian Engel: Deductive verification of safety-critical Java programs. Karlsruhe Institute of Technology 2009 |
| 2008 | ||
| 7 | | Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer: Integrating Verification and Testing of Object-Oriented Software. TAP 2008: 182-191 |
| 2007 | ||
| 6 | | Christian Engel, Reiner Hähnle: Generating Unit Tests from Formal Proofs. TAP 2007: 169-188 |
| 2006 | ||
| 5 | | Christian Engel: Auf dem Weg zum elektronischen Personalausweis - Der elektronische Personalausweis (ePA) als universelles Identifikationsdokument. Datenschutz und Datensicherheit 30(4): 207-210 (2006) |
| 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 | [7] |
| 2 | Reiner Hähnle | [6] |
| 3 | Bernd Heinrichs | [2] |
| 4 | Vladimir Klebanov | [7] |
| 5 | Philipp Rümmer | [7] |
| 6 | Michael Sonnenschein | [1] |
Colors in the list of coauthors
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page