Dr. Christian Engel

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

Veröffentlichungen
Titel	Autor	Quelle
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	Technischer Bericht, Universität Karlsruhe (TH), 2007
Generating Unit Tests from Formal Proofs	Christian Engel Reiner Hähnle	International Conference on Tests And Proofs (TAP), ETH Zürich, Switzerland, 2007

Bearbeitete Studien- und Diplomarbeiten
Titel	Forschungsthema	Betreuer	Bearbeiter
A Translation From JML to JavaDL		Prof. P. H. Schmitt Andreas Roth	Christian Engel
Verification Based Test Case Generation		Prof. P. H. Schmitt Prof. R. Hähnle	Christian Engel

Lehre
Titel	Typ	Ort	Zeit
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