General
Coordinates
News
Curriculum Vitae
Teaching
Research
Interests
Publications
Talks
Projects
Private
Design:
Roland Weiss
General
Name:
Jörg Behrend
Position:
Doctoral Candidate
Interests:
verification technology, grid computing.
Teaching
SS 07:
Seminar Software Verifikation
WS 06/07:
Seminar Grid-Computing
SS 2006:
Seminar Formale Eigenschaftsverifikation: Algorithmen und Werkzeuge
Student research project
Analyse und Optimierung einer C++-Anwendung am Beispiel von SymC
Diploma thesis
Analyse und Optimierung einer C++-Anwendung am Beispiel von SymC