(Number in parentheses refer to weekly hours of presence time.)
Teaching in Summer 2023
Courses:
- Software Verification (Beyer, Lee, 2+2 SWS, 6 ECTS)
- Software Testing (Jakobs, Winter, 2+1 SWS, 6 ECTS)
- Methods in Software Engineering (Ernst, Wendler, 2+2 SWS, 6 ECTS)
- Science and Practice in Software Engineering (Beyer, Wendler, Winter, 2+0 SWS, 0 ECTS)
- Testen (Beyer, Knapp, Blockveranstaltung, 6 ECTS)
Seminars:
- Bachelorseminar "Algorithmen? Algorithmen!" (Majster-Cederbaum, 2 SWS, 3 ECTS)
- Bachelorseminar "Formale Methoden für Cyber-Physical Systems" (Ernst, Brieger, 2 SWS, 3 ECTS)
- Bachelorseminar "Machine Learning in Software Engineering" (Beyer, Kettl, Wachowitz, 2 SWS, 3 ECTS)
- Bachelorseminar "Regression Verification" (Jakobs, 2 SWS, 3 ECTS)
- Bachelorseminar "Software Quality Assurance" (Jakobs, Spießl, 2 SWS, 3 ECTS)
- Masterseminar "Reproducibility of Software Engineering Research" (Beyer, Baier, Winter, 2 SWS, 6 ECTS)
Training (Praktikum):
- Software-Entwicklungs-Praktikum (SEP: Java-Programmierung) (Beyer, Wachowitz, 6 SWS, 12 ECTS)
- Praktikum Software Engineering für Fortgeschrittene (Beyer, Baier, Chien, Kettl, 6 SWS, 6 ECTS)
Teaching in Winter 2022/23
Courses:
- Softwaretechnik (Winter, Wachowitz, Bunk, 3+2 SWS, 6 ECTS)
- Formale Spezifikation und Verifikation (Ernst, Baier, Spiessl, 3+2 SWS, 6 ECTS)
- Juristisches IT-Projektmanagement (Sarre, 2 SWS, 3/6 ECTS)
- Einführung in die Informatik: Programmierung und Softwareentwicklung für Nebenfach (Ernst, Wendler, Bunk, 3+1+2 SWS, 6/9 ECTS)
- Software-Engineering: Projektmanagement (Wirsing, Spießl, Brieger, Blockveranstaltung)
- Semantik von Programmiersprachen (Beyer, Knapp, Kettl, Blockveranstaltung)
Seminars:
- Bachelorseminar "Algorithmen? Algorithmen!" (Majster-Cederbaum, 2 SWS, 3 ECTS)
- Bachelorseminar "Formale Methoden für Cyber-Physical Systems" (Ernst, Brieger, 2 SWS, 3 ECTS)
- Bachelorseminar "Software Verification: Tools and Techniques" (Winter, Kettl, Chien, 2 SWS, 3 ECTS)
- Bachelorseminar "Modellierung dynamischer und adaptiver Systeme" (Wirsing, 2 SWS, 3 ECTS)
- Masterseminar "Modellierung dynamischer und adaptiver Systeme" (Wirsing, 2 SWS, 6 ECTS)
- Masterseminar "Reproducibility of Software Engineering Research" (Winter, Lee, 2 SWS, 6 ECTS)
Teaching in Summer 2022
Courses:
- Methods in Software Engineering (Ernst, Lee, 2+0 SWS, 6 ECTS)
- Science and Practice in Software Engineering (Beyer, Lemberger, 2+0 SWS, 0 ECTS)
- Testen (Beyer, Knapp, Lemberger, Blockveranstaltung, 6 ECTS)
Seminars:
- Bachelorseminar "Algorithmen? Algorithmen!" (Majster-Cederbaum, 2 SWS, 3 ECTS)
- Bachelorseminar "Cooperative Verification" (Beyer, Kanav, 2 SWS, 3 ECTS)
- Bachelorseminar "Machine Learning in Software Engineering" (Beyer, Kanav, Lemberger, Wachowitz, 2 SWS, 3 ECTS)
- Bachelorseminar "Programmsynthese" (Ernst, Brieger, 2 SWS, 3 ECTS)
- Bachelorseminar "Software Testing Tools & Concepts" (Beyer, Winter, 2 SWS, 3 ECTS)
- Masterseminar "Reproducibility of Software Engineering Research" (Beyer, Winter, 2 SWS, 6 ECTS)
Training (Praktikum):
- Software-Entwicklungs-Praktikum (SEP: Java-Programmierung) (Beyer, Bunk, Wachowitz, 6 SWS, 12 ECTS)
- Praktikum Software Engineering für Fortgeschrittene (Beyer, Chien, Kettl, Spießl, Wendler, 6 SWS, 6 ECTS)
Teaching in Winter 2021/22
Courses:
- Softwaretechnik (Beyer, Weise, 3+2)
- Formale Spezifikation und Verifikation (Ernst, Bunk, 3+2)
- Software Verification (Beyer, Chien, Lee, Wendler, 3+2)
- Juristisches IT-Projektmanagement (Sarre, 2)
- Einführung in die Informatik: Programmierung und Softwareentwicklung für Nebenfach (Ernst, Spießl, 3+1+2)
- Software-Engineering: Projektmanagement (Wirsing, Spießl, Blockveranstaltung)
- Semantik von Programmiersprachen (Beyer, Knapp, Blockveranstaltung)
Seminars:
- Bachelorseminar "Wie kann man nachgefragte Güter fair verteilen? Eine algorithmische Perspektive" (Majster-Cederbaum, 2)
- Bachelorseminar "Tools for Software Verification" (Beyer, Kanav, 2)
- Bachelorseminar "Modellierung dynamischer und adaptiver Systeme" (Hesse, Wirsing, 2)
- Masterseminar "Modellierung dynamischer und adaptiver Systeme" (Hesse, Wirsing, 2)
- Masterseminar "Reproducibility of Scientific Results" (Beyer, Winter, 2)
Teaching in Summer 2021
Courses:
- Semantics for Programming Languages (Beyer, Knapp, Lemberger, Blockveranstaltung)
- Logik und Diskrete Strukturen (Johannsen, Holzner, 3+2)
- Methods in Software Engineering (Ernst, 2+0)
- Science and Practice in Software Engineering (Beyer, Wendler, 2+0)
- Testen (Beyer, Knapp, Lemberger, Blockveranstaltung)
Seminars:
- Bachelorseminar "Matching, Cake cutting and Apportionment" (Majster-Cederbaum, 2)
- Bachelorseminar "Softwarequalität" (Ernst, Kanav, 2)
- Masterseminar "Software Quality Assurance" (Ernst, Kanav, 2)
Training (Praktikum):
- Software-Entwicklungs-Praktikum (SEP: Java-Programmierung) (Beyer, Lemberger, Weise, 6)
- Praktikum Software Engineering für Fortgeschrittene (Beyer, Kanav, Spießl, Wendler, 6)
Teaching in Winter 2020/21
Courses:
- Softwaretechnik (Beyer, Friedberger, 3+2)
- Formale Spezifikation und Verifikation (Ernst, Holzner, 3+2)
- Software Verification (Beyer, Lemberger, Spießl, 3+2)
- Juristisches IT-Projektmanagement (Sarre, 2)
- Einführung in die Informatik: Programmierung und Softwareentwicklung für Nebenfach (Ernst, Wendler, 3+1+2)
- Software-Engineering: Projektmanagement (Wirsing, Spießl, Blockveranstaltung)
- Testen (Beyer, Knapp, Lemberger, Blockveranstaltung)
Seminars:
- Bachelorseminar "Partnersuche, Hochzeitstorte, Scheidung: Algorithmen und Strategien zur Verteilung teilbarer und unteilbarer Resourcen (Gruppe A)" (Majster-Cederbaum, 2)
- Bachelorseminar "Partnersuche, Hochzeitstorte, Scheidung: Algorithmen und Strategien zur Verteilung teilbarer und unteilbarer Resourcen (Gruppe B)" (Majster-Cederbaum, 2)
- Bachelorseminar "Modellierung dynamischer und adaptiver Systeme" (Hesse, Wirsing, 2)
- Masterseminar "Modellierung dynamischer und adaptiver Systeme" (Hesse, Wirsing, 2)
- Masterseminar "Software Quality Assurance" (Ernst, Kanav, 2)
Teaching in Summer 2020
Courses:
- Formale Sprachen und Komplexität (Beyer, 3+2)
- Theoretische Informatik für Medieninformatiker (Beyer, 3)
- Formale Spezifikation und Verifikation (Ernst, 3+2)
Wissenschaftliches Arbeiten (Beyer, 2)(cancelled)- Semantics for Programming Languages (Beyer, Knapp, Blockveranstaltung)
- Testen (Beyer, Knapp, Blockveranstaltung)
Seminars:
- Bachelorseminar "Partnersuche, Hochzeitstorte, Scheidung: Algorithmen und Strategien zur Verteilung teilbarer und unteilbarer Resourcen" (Majster-Cederbaum, 2)
- Masterseminar "Fehlerfreie Software (deduktive Softwareverifikation)" (Ernst, 2)
Training (Praktikum):
Teaching in Winter 2019/20
Courses:
- Softwaretechnik (Ernst, 3+2)
- Software Analysis and Verification (Beyer, 3+2)
- Juristisches IT-Projektmanagement (Sarre, 2)
- Einführung in die Informatik: Programmierung und Softwareentwicklung für Nebenfach (Ernst, Wendler, 3+1+2)
- Software-Engineering: Projektmanagement (Wirsing, Blockveranstaltung)
Seminars:
- Bachelorseminar "Spielen, Wählen, Teilen: Strategien und algorithmische Aspekte" (Majster-Cederbaum, 2)
- Bachelor- und Masterseminar "Modellierung dynamischer und adaptiver Systeme" (Hesse, Wirsing, 2)
- Masterseminar "Fuzz Testing" (Beyer, Ernst, 2)
Training (Praktikum):
Teaching in Summer 2019
Courses:
- Formale Spezifikation und Verifikation (Ernst, 3+2)
- Semantics for Programming Languages (Beyer, Knapp, Blockveranstaltung)
- Testen (Beyer, Knapp, Blockveranstaltung)
Seminars:
- Bachelorseminar "Zuordnungs- und Verteilungsprobleme" (Majster-Cederbaum, 2)
- Masterseminar "Fehlerfreie Software (deduktive Softwareverifikation)" (Ernst, 2)
Training (Praktikum):
- Software-Engineering Praktikum (SEP: Java-Programmierung) (Beyer, 6)
- Praktikum Software Engineering für Fortgeschrittene (Beyer, 6)
Teaching in Winter 2018/19
Courses:
- Softwaretechnik (Beyer, 3+2)
- Software Analysis and Verification (Beyer, Jakobs, 3+2)
- Juristisches IT-Projektmanagement (Sarre, 2)
- Einführung in die Informatik: Programmierung und Softwareentwicklung für Nebenfach (Sabel, Wendler, 3+1+2)
- Software-Engineering: Projektmanagement (Wirsing, Blockveranstaltung)
Seminars:
- Bachelorseminar "Network Flows" (Majster-Cederbaum, 2)
- Bachelor- und Masterseminar "Modellierung dynamischer und adaptiver Systeme" (Hesse, Wirsing, 2)
Training (Praktikum):
- Software-Entwicklungs-Praktikum (SEP: Java-Programmierung) (Beyer, 6)
- Masterpraktikum Software Verification (Beyer, 6)
Teaching in Summer 2018
Courses:
- Formale Spezifikation und Verifikation (Beyer, 3+2)
- Testen (Beyer, Knapp)
- Praktische Methoden der IT-Sicherheit (Wirsing, Blockveranstaltung)
- Mini-Course on Configurable Software Model Checking (Beyer, Winter School RiSE at TU Wien)
- Mini-Course on Configurable Software Model Checking (Beyer, Summer School on Formal Techniques)
Seminars:
- Bachelorseminar "Matching und Preferences" (Majster-Cederbaum, 2)
- Masterseminar "Softwareverifikation" (Jakobs, 2)
Training (Praktikum):
- Software-Engineering Praktikum (SEP: Java-Programmierung) (Beyer, 6)
- Praktikum Software Engineering für Fortgeschrittene (Beyer, 6)
Teaching in Winter 2017/18
Courses:
- Softwaretechnik (Beyer, 3+2)
- Formale Spezifikation und Verifikation 2 (Beyer and Hofmann, 3+2)
- Juristisches IT-Projektmanagement (Sarre, 2)
- Einführung in die Informatik: Programmierung und Softwareentwicklung (Hennicker, 3+1+2)
- Software-Engineering: Projektmanagement (Wirsing, Blockveranstaltung)
Seminars:
- Bachelor- und Masterseminar "Modellierung dynamischer und adaptiver Systeme" (Hesse, Wirsing, 2)
- Bachelorseminar "Algorithmen für Suche, Spiele und Geheimnisse" (Majster-Cederbaum, 2)
- Bachelorseminar "Das Stable Marriage Problem und andere (verwandte) Zuordnungs- und Verteilungsprobleme" (Majster-Cederbaum, 2)
Training (Praktikum):
Teaching in Summer 2017
Courses:
- Formale Spezifikation und Verifikation (Beyer, 3+2)
- Software Engineering für spezielle Anwendungsgebiete: Entwurf und Implementierung paralleler Programme (Hennicker, 3+2)
- Praktikum Software Engineering für Fortgeschrittene (Beyer, 6)
- Praktische Methoden der IT-Sicherheit (Wirsing, Blockveranstaltung)
Seminars:
- Bachelorseminar "Das Stable Marriage Problem und andere (verwandte) Zuordnungs- und Verteilungsprobleme" (Majster-Cederbaum, 2)
Teaching in Winter 2016/17
Courses:
- Softwaretechnik (Beyer, 3+2)
- Juristisches IT-Projektmanagement (Sarre, 2)
- Einführung in die Informatik: Programmierung und Softwareentwicklung (Hennicker, 3+1+2)
- Software-Engineering: Projektmanagement (Wirsing, Blockveranstaltung)
Seminars:
- Bachelor- und Masterseminar "Modellierung dynamischer und adaptiver Systeme" (Hesse, Wirsing, 2)
- Bachelorseminar "Das Stable Marriage Problem und andere (verwandte) Zuordnungs- und Verteilungsprobleme" (Majster-Cederbaum, 2)
Information on teaching in previous semesters can be found on the PST homepage (German).