Courses (Archive)

Winter Term 2015/16
Title Type Place Time
Formale Systeme Lecture Gaede-Hörsaal (Bldg. 30.22) Donnerstag, 14:00 - 15:30
Freitag, 11:30 - 13:00
Praxis der Forschung (PdF) Team Project by appt. by appt.
Desaster in der Software-Sicherheit Proseminar Bldg. 50.34, Room 236 21.10.2015, 13.00 - 14.00
Summer Term 2015
Title Type Place Time
Anwendung Formaler Verifikation Lecture Bldg. 50.34, Room 236 Dienstag, 11:30 - 13:00
Freitag, 11:30 - 13:00
Praxis der Forschung (PdF) Team Project by appt. by appt.
Desaster in der Software-Sicherheit Proseminar Bldg. 50.34, Room 131 15.04.2015, 13.00 - 14.00
Winter Term 2014/15
Title Type Place Time
Formale Systeme Lecture Gaede-Hörsaal (Bldg. 30.22) Donnerstag, 14:00 - 15:30
Freitag, 11:30 - 13:00
Praxis der Forschung (PdF) Team Project by appt. by appt.
Desaster in der Software-Sicherheit Proseminar Bldg. 50.34, Room 236 22.10.2014, 13.00 - 14.00
Praxis der Software-Entwicklung (PSE) Laboratory Bldg. 50.34, Room 211 weekly, by appt.
Summer Term 2014
Title Type Place Time
Usability von Entwicklerwerkzeugen Team Project by appt. by appt.
Automated Software Privacy Analysis Team Project by appt. by appt.
Desaster in der Software-Sicherheit Proseminar Bldg. 50.34, Room 236 22.04.2014, 13.00 - 14.00
Winter Term 2013/2014
Title Type Place Time
Hybrid Systems Verification Team Project Bldg. 50.34, Room 211 by appt.
Verifying Component-Based Security Team Project Bldg. 50.34, Room 211 by appt.
Formale Methoden der Softwareentwicklung Team Project Bldg. 50.34, Room 211 by appt.
Formale Analyse von Wahlverfahren Proseminar Bldg. 50.34, Room 236 23.10.2013, 13:00 - 14:00
Praxis der Softwareentwicklung Laboratory Bldg. 50.34, Room 211 weekly, by appt.
Summer Term 2013
Title Type Place Time
Anwendung formaler Verifikation mit Übung Lecture Bldg. 50.34, Room 236
18.04.2013, 11:30 - 13:00


19.04.2013, 11:30 - 13:00

25.04.2013, 11:30 - 13:00

26.04.2013, 11:30 - 13:00

02.05.2013, 11:30 - 13:00

03.05.2013, 11:30 - 13:00

10.05.2013, 11:30 - 13:00

16.05.2013, 11:30 - 13:00

17.05.2013, 11:30 - 13:00

23.05.2013, 11:30 - 13:00

24.05.2013, 11:30 - 13:00

31.05.2013, 11:30 - 13:00

06.06.2013, 11:30 - 13:00

07.06.2013, 11:30 - 13:00

13.06.2013, 11:30 - 13:00

14.06.2013, 11:30 - 13:00

20.06.2013, 11:30 - 13:00

21.06.2013, 11:30 - 13:00

27.06.2013, 11:30 - 13:00

28.06.2013, 11:30 - 13:00

04.07.2013, 11:30 - 13:00

05.07.2013, 11:30 - 13:00

11.07.2013, 11:30 - 13:00

12.07.2013, 11:30 - 13:00

18.07.2013, 11:30 - 13:00

19.07.2013, 11:30 - 13:00
Formale Methoden der Softwareentwicklung:
Regression Verification
Team Project Bldg. 50.34, Room 211 by appt.
Winter Term 2012/13
Title Type Place Time
Formale Methoden der Softwareentwicklung:
Regression Verification
Team Project Bldg. 50.34, Room 211 by appt.
Formale Entwicklung objektorientierter Software Laboratory For lecture dates
Bldg. 50.34, Room 301;
For meetings and student
presentations
Bldg. 50.34, Room 211
Wednesday, 17.30 - 19.00 ;
For student presentations:
Group 1: 17:30 - 18:00 ,
Group 2: 18:00 - 18:30 ,
Group 3: 18:30 - 19:00
(Groups may agree on order
among themselves)
Software-Entwicklung 3 Laboratory Bldg. 50.34, Room 211 weekly, by appt.
Summer Term 2012
Title Type Place Time
Anwendung formaler Verifikation mit Übung Lecture Bldg. 50.34, Room 236 19.04.2012, 11:30 - 13:00


20.04.2012, 11:30 - 13:00

26.04.2012, 11:30 - 13:00

27.04.2012, 11:30 - 13:00

03.05.2012, 11:30 - 13:00

04.05.2012, 11:30 - 13:00

10.05.2012, 11:30 - 13:00

11.05.2012, 11:30 - 13:00

18.05.2012, 11:30 - 13:00

24.05.2012, 11:30 - 13:00

25.05.2012, 11:30 - 13:00

31.05.2012, 11:30 - 13:00

01.06.2012, 11:30 - 13:00

08.06.2012, 11:30 - 13:00

14.06.2012, 11:30 - 13:00

15.06.2012, 11:30 - 13:00

21.06.2012, 11:30 - 13:00

22.06.2012, 11:30- 13:00

28.06.2012, 11:30 - 13:00

29.06.2012, 11:30 - 13:00

05.07.2012, 11:30 - 13:00

06.07.2012, 11:30 - 13:00

12.07.2012, 11:30 - 13:00

13.07.2012, 11:30- 13:00

19.07.2012, 11:30 - 13:00

20.07.2012, 11:30 - 13:00
Formale Methoden für Software-Sicherheit Seminar Bldg. 50.34, Room 236 Block seminar at
the end of the term
Praxis der Software-Entwicklung (PSE) Laboratory Bldg. 50.34, Room 211 weekly, by appt.
Winter Term 2011/12
Title Type Place Time
Formale Systeme und Methoden Seminar Bldg. 50.34, Room -120 Block seminar at
the end of the term
Formale Entwicklung objektorientierter Software Laboratory Bldg. 50.34, Room 211 Tuesday, 17.30 - 19.00
Software-Entwicklung 3 Laboratory by appt. weekly, by appt.
Summer Term 2011
Title Type Place Time
Anwendung formaler Verifikation mit Übung Lecture Bldg. 50.34, Room 236 Thursday, 11:30 - 13:00
Friday, 11:30 - 13:00
Formal Methods: Best of 2010 Seminar Bldg. 50.34, Room 131 Block seminar at
the end of the term
Winter Term 2010/11
Title Type Place Time
Formale Systeme Lecture / Common Exercises Gaede-Hörsaal (Bldg. 30.22) Thursday, 14:00 - 15:30
Friday, 11:30 - 13:00
Software-Entwicklung 3 Laboratory Bldg. 50.34, Room 211 weekly, by appt.
Summer Term 2010
Title Type Place Time
Anwendung formaler Verifikation mit Übung Lecture Bldg. 50.34, Room 236 Thursday, 11:30 - 13:00
Friday, 11:30 - 13:00
Formale Programmentwicklung Seminar Bldg. 50.34, Room 301 21.4.2010, 13:00 - 14:00
Winter Term 2009/10
Title Type Place Time
Formale Systeme mit Übung Lecture / Common Exercises Gaede-Hörsaal (Bldg. 30.22) Thursday, 14:00 - 15:30 ,
Friday, 11:30 - 13:00
Software-Entwicklung 3 Laboratory Bldg. 50.34, Room 211 weekly, by appt.