Home | english  | Impressum | Sitemap | KIT

Dr. Benjamin Weiß

benjamin(dot)weissYtm8∂alumni(dot)uni-karlsruhe(dot)de

 

 


Projekte
Titel


Software

KeY
- the KeY verification tool for Java programs
KeYHeap - a major revision of KeY based on a different way of modelling heap memory
Veröffentlichungen
Titel Autor(en) Quelle

Science of Computer Programming 76 (10), Elsevier, 2011

17th International Symposium on Formal Methods (FM 2011), Limerick, Ireland. LNCS 6664, Springer, 2011. Best paper award at FM 2011.

PhD thesis, Karlsruhe Institute of Technology. KIT Scientific Publishing, 2011

International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010), Paris, France. LNCS 6528, Springer, 2011

7th International Symposium on Formal Methods for Components and Objects (FMCO 2008), Sophia Antipolis, France. LNCS 5751, Springer, 2009

Technical Report 2009-9, Department of Computer Science, University of Karlsruhe, 2009

7th International Conference on integrated Formal Methods (iFM 2009), Düsseldorf, Germany. LNCS 5423, Springer, 2009

4th International Verification Workshop (VERIFY'07), Workshop at CADE-21, Bremen, Germany, 2007



Studien- und Diplomarbeit
Titel Typ Betreuer Jahr
Diplomarbeit 2007
Studienarbeit 2006


Lehre
Titel Typ
Praktikum
Seminar
Praktikum
Seminar
Praktikum
Seminar
Praktikum
Seminar


Betreute Studien- und Diplomarbeiten
Titel Typ Autor Jahr
Diplomarbeit

Roman Krenický

2009
Diplomarbeit

Daniel Bruns

2009
Studienarbeit

Gregor Bethlen

2010
Studienarbeit

Daniel Peters

2010
Diplomarbeit

Denis Lohner

2008
Diplomarbeit

Christoph Scheben

2008