Home | deutsch | Legals | Sitemap | KIT

Dr. Benjamin Weiß

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

 

 


Projects
Title


Software

KeY
- the KeY verification tool for Java programs
KeYHeap - a major revision of KeY based on a different way of modelling heap memory
Publications
Title Author(s) Source

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



Minor and Diploma Thesis
Title Type Supervisor Year
Diplomarbeit 2007
Studienarbeit 2006


Teaching
Title Type
Praktikum
Seminar
Praktikum
Seminar
Praktikum
Seminar
Praktikum
Seminar


Supervised Theses
Title Type Author Year
Studienarbeit

Gregor Bethlen

2010
Studienarbeit

Daniel Peters

2010
Diplomarbeit

Roman Krenický

2009
Diplomarbeit

Daniel Bruns

2009
Diplomarbeit

Denis Lohner

2008
Diplomarbeit

Christoph Scheben

2008