Software and Computational Systems Lab

(Number in parentheses refer to weekly hours of presence time.)

Teaching in Summer 2024

Courses:

• Software Verification (Beyer, Jankola, Lee, 2+2 SWS, 6 ECTS)
• Software Testing (Jakobs, Barth, 2+2 SWS, 6 ECTS)
• Methods in Software Engineering (Ernst, Baier, 2+2 SWS, 6 ECTS)
• Science and Practice in Software Engineering (Beyer, Wendler, 2+0 SWS, 0 ECTS)

Seminars:

• Bachelorseminar "Algorithmen? Algorithmen!" (Majster-Cederbaum, 2 SWS, 3 ECTS)
• Bachelorseminar "Benchmarks Around Java" (Jakobs, Kettl, 2 SWS, 3 ECTS)
• Bachelorseminar "Software Quality Assurance" (Ernst, Brieger, 2 SWS, 3 ECTS)
• Masterseminar "Algorithms for Model Checking" (Beyer, Chien, Lee, 2 SWS, 6 ECTS)
• Masterseminar "Non-classical Logic and Correct Software" (Beyer, Brieger, Lingsch-Rosenfeld, 2 SWS, 6 ECTS)

Training (Praktikum):

• Software-Entwicklungs-Praktikum (SEP: Java-Programmierung) (Beyer, Lemberger, Wachowitz, 6 SWS, 12 ECTS)
• Praktikum Software Engineering für Fortgeschrittene (Beyer, Chien, Kettl, Lingsch-Rosenfeld, Wendler, 6 SWS, 6 ECTS)

Teaching in Winter 2023/24

Courses:

• Verification of Parallel Programs (Jakobs, Barth, 2+2 SWS, 6 ECTS)
• Einführung in die Informatik: Programmierung und Softwareentwicklung für Nebenfach (Jakobs, Wendler, 3+1+2 SWS, 6/9 ECTS)
• Formale Spezifikation und Verifikation (Ernst, Baier, Lingsch-Rosenfeld, 3+2 SWS, 6 ECTS)
• Softwaretechnik (Winter, Wachowitz, Lemberger, 3+2 SWS, 6 ECTS)
• Juristisches IT-Projektmanagement (Sarre, 2 SWS, 3/6 ECTS)
• Software-Engineering: Projektmanagement (Wirsing, Brieger, Blockveranstaltung)
• Semantik von Programmiersprachen (Knapp, Kettl, Blockveranstaltung)

Seminars:

• Bachelorseminar "Algorithmen? Algorithmen!" (Majster-Cederbaum, 2 SWS, 3 ECTS)
• Bachelorseminar "Validation of Verification Results" (Jakobs, Kettl , 2 SWS, 3 ECTS)
• Bachelorseminar "Verifikation von Programmen mit Schleifen und Arrays" (Ernst, Brieger, 2 SWS, 3 ECTS)
• Seminar "Modellierung dynamischer und adaptiver Systeme" (Hesse, Wirsing, 2 SWS, 3 ECTS)
• Masterseminar "Reproducibility of Software Engineering Research" (Winter, Lingsch-Rosenfeld, 2 SWS, 6 ECTS)
• Masterseminar "Algorithms for Model Checking" (Lee, Chien, 2 SWS, 6 ECTS)

Special Course for Bachelor Theses on the Analysis of Real-World Software

In WS 2023/2024, we offer a batch of thesis topics on the analysis of real-world software, accompanied by a course that provides mentoring. This focused course allows us to provide high-quality mentoring to more students. See the moodle course for more information and registration instructions.

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):

• Praktikum Software Engineering für Fortgeschrittene (Beyer, Kanav, Wendler, 6) (cancelled)

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):

• Software-Entwicklungs-Praktikum (SEP: Java-Programmierung) (Beyer, 6)

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):

• Praktikum zu Formale Spezifikation und Verifikation 2 (Beyer, 2)

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)