Dr. Christian Engel

Projects
Titel	Ansprechpartner
DIANA	Prof. P. H. Schmitt Christian Engel
KeY	Prof. P. H. Schmitt Mattias Ulbrich Benjamin Weiß

Publications
Title	Author(s)	Source
A Formalization of the RTSJ Scoped Memory Model in Dynamic Logic	Christian Engel Peter H. Schmitt	Logics for System Analysis (LfSA 2010), Edinburgh, UK, 2010
Enhanced Dispatchability of Aircrafts using Multi-Static Configurations	Christian Engel Eric Jenn Peter H. Schmitt Rodrigo Coutinho Tobias Schoofs	Embedded Real Time Software and Systems (ERTS² 2010), Toulouse, France, 2010
Deductive Verification of Safety-Critical Java Programs	Christian Engel	Digitales Volltextarchiv des KIT
Verification of Modifies Clauses in Dynamic Logic with Non-rigid Functions	Christian Engel Andreas Roth Peter H. Schmitt Benjamin Weiß	Technical Report 2009-9, Department of Computer Science, University of Karlsruhe, 2009
Deductive Verification of RTSJ Programs	Christian Engel	2nd Junior Researcher Workshop on Real-Time Computing (JRWRTC 2008), Rennes, France, 2008
Integrating Verification and Testing of Object-Oriented Software	Christian Engel Christoph Gladisch Vladimir Klebanov Philipp Rümmer	2nd International Conference on Tests and Proofs, Prato, Italy, 2008
Verification of Memory Performance Contracts with KeY	Christian Engel	Technical Report, University of Karlsruhe, 2007
Generating Unit Tests from Formal Proofs	Christian Engel Reiner Hähnle	International Conference on Tests And Proofs (TAP), ETH Zürich, Switzerland, 2007

Minor and Diploma Thesis
Title	Research topic	Supervisor	Author
Verification Based Test Case Generation		Prof. P. H. Schmitt Prof. R. Hähnle	Christian Engel
A Translation From JML to JavaDL		Prof. P. H. Schmitt Andreas Roth	Christian Engel

Teaching
Title	Type	Place	Time
Formale Entwicklung objektorientierter Software (WS 09/10)	Praktikum	Raum 305	Mo, 14.00 - 15.30
Formale Programmentwicklung (SS 09)	Seminar		Blockveranstaltung am Semesterende
Formale Entwicklung objektorientierter Software (WS 08/09)	Praktikum	SR 301	Mi, 17:30 - 19:00
Formale Software-Entwicklung (SS 08)	Seminar		Blockveranstaltung am Semesterende
Formale Entwicklung objektorientierter Software (WS 07/08)	Praktikum	SR 301	Mi, 17:30 - 19:00
Formale Software-Entwicklung (SS 07)	Seminar		Blockveranstaltung am Semesterende
Formale Entwicklung objektorientierter Software (WS 06/07)	Praktikum	SR 301	Mi, 17:30 - 19:00