Home | deutsch | Legals | Sitemap | KIT
Dr. Christian Engel
engelcRfx0∂ira uka de

 

 
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
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


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