We are moving!
From 1st April, 2021 we will move to University of Oldenburg. Hence, we will not offer any course/seminar/thesis from the summer semester 2021 onwards. We wish you all the best!
| Continous |
|---|
| Group Seminar |
Courses in WS 2020/21
| Number | Courses |
|---|---|
| L.079.05100 | Programmierung |
| L.079.07503 | Proseminar: Ausgewählte Themen der Software Verifikation |
| L.079.08011 | Seminar: Advanced Topics in Software Analysis (in English) |
Courses in SS 2020
| Number | Courses |
|---|---|
| L.079.05603 | Softwaremodellierung mit formalen Methoden |
| L.079.05817 | Model Checking |
| Seminar: Advanced Techniques in Software Analysis |
Courses in WS 2019/20
| Number | Courses |
|---|---|
| L.079.05102 | Modellierung |
| L.079.05716 | Software Analysis (in English) |
| L.079.08015 | Seminar: Software Testing (in English) |
Courses in SS 2019
| Number | Courses |
|---|---|
| L.079.07000 | Project group: Bare Android Native ANAlysis (BANANA) - Part 1 |
No further classes (sabbatical of Prof. Wehrheim)
Courses in WS 2018/19
| Number | Courses |
|---|---|
| L.079.05102 | Modellierung |
| L.079.05709 | Model Checking |
| L.079.08006 | Software Testing |
Courses in SS 2018
| Number | Courses |
|---|---|
| L.079.05603 | Softwaremodellierung mit formalen Methoden |
| L.079.07502 | Proseminar: Android App Analysis |
| L.079.08000 | Seminar: Selected Topics in Software Analysis |
Courses in WS 2017/18
| Number | Courses |
|---|---|
| L.079.05101 | Modellierung |
| L.079.05700 | Software Analysis (in English) |
| L.079.08000 | Seminar: Software Transactional Memory (in English) |
Courses in SS 2017
| Number | Courses |
|---|---|
| L.079.05200 | Grundlagen der Programmierung 2 |
| L.079.05609 | Softwaremodellierung mit formalen Methoden |
| L.079.07500 | Proseminar: Softwareanalyse Verfahren und Werkzeuge |
Courses in WS 2016/17
| Number | Courses |
|---|---|
| L.079.05731 | Model Checking (in English) |
| L.079.08000 | Seminar: Formal Models for Safe and Secure Systems (in English) |
Courses in SS 2016
| Number | Courses |
|---|---|
| L.079.05200 | Grundlagen der Programmierung |
| L.079.05609 | Softwaremodellierung mit formalen Methoden |
| L.079.07500 | Proseminar: Moderne Programmiersprachen |
