Home | english  | Impressum | Datenschutz | Sitemap | KIT

An unserem Lehrstuhl werden keine neuen Abschlussarbeiten mehr angeboten.

Auf der Seite des Lehrstuhls "Anwendungsorientierte Formale Verifikation" von Prof. Beckert finden Sie Themen für studentische Arbeiten für verwandte Themenkomplexe.


 

Abgeschlossene Arbeiten (2012)
Titel Typ Autor Betreuer
Diplomarbeit

Timm Felden

Prof. Dr. P. H. Schmitt
Mattias Ulbrich



Abgeschlossene Arbeiten (2011)
Titel Typ Autor Betreuer
Studienarbeit

Timm Felden



Abgeschlossene Arbeiten (2010)
Titel Typ Autor Betreuer
Studienarbeit

Gregor Bethlen

Diplomarbeit

Alexander Pascanu

Studienarbeit

Daniel Peters



Abgeschlossene Arbeiten (2009)
Titel Typ Autor Betreuer
Diplomarbeit

Roman Krenický

Diplomarbeit

Daniel Bruns



Abgeschlossene Arbeiten (2008)
Titel Typ Autor Betreuer
Studienarbeit

Christopher Köker

Diplomarbeit

Denis Lohner

Diplomarbeit

Christoph Scheben



Abgeschlossene Arbeiten (2007, unvollständig)
Titel Typ Autor Betreuer
Diplomarbeit

Benjamin Weiß

Diplomarbeit

David Faragó

Diplomarbeit

Mattias Ulbrich