Teaching

Systembeschreibungssparchen, WS 2007/08
Formale Hardwareverifikation in der Industrie, WS 2006/07
Formale Hardwareverifikation in der Industrie, WS 2005/06
Softwareentwicklung mit C++, WS 2004/05
Formale Hardwareverifikation in der Industrie, WS 2004/05
Hardwareverifikation in der Industrie II / formale Methoden, WS 2003/04

Seminar Software Verifikation: SW-Spezifikation, -Test und -Verifikation, SS 2007
Seminar Formale Eigenschaftsverifikation: Algorithmen und Werkzeuge, SS 2006
Aktuelle Debugging-Methoden für SW- und HW-Systeme, SS 2005
SW-Architekturen und Produktlinien in der industriellen Praxis, SS 2004

We are looking for students who can help us in implementing, installing and testing programms/tools.

Topics: parallel Computing (MPI), Software-Verification, UML/SysML,...

- Translating UML state machines to SymC
- Connecting SymC and Blast
- Analysing the BOGOR-Framework for Software-Verification
- Extending the SystemC-Temporal-Checker for PSL
- System analysis of SystemOnChips with UML/SysML

However:, if you are interested in working on projects in our domain, feel free to contact us. We will certainly find an appropriate topic for a student project.

Currently no vacant diploma theses available.

However, if you are interested in working on projects in our domain, feel free to contact us. We will certainly find an appropriate topic for a diploma thesis.