Lehrveranstaltungen
Wintersemester/Winter Term 2021/2022
Software Engineering Kurswebseite
Automated Theorem Proving Course Website
Seminar: Deductive and Interactive Verifiers Seminar Website
Sommersemester/Summer Term 2021
Lecture: Formal Specification and Verification of Software Course Website
Lecture: Model Checking Course Website
Seminar: Symbolic Execution Seminar Website
Wintersemester/Winter Term 2020/2021
Software Engineering Kurswebseite
Seminar: Actor-based Languages Seminarwebseite
Sommersemester/Summer Term 2020
Analysis of Hybrid Systems (engl.) Kurswebseite
Automated Theorem Proving (engl.) Kurswebseite
Research Seminar: Software Engineering using Formal Methods (dt./engl.) Mitarbeiter_innen & Bachelor-/Masterarbeitschreibende
Wintersemester/Winter Term 2019/2020
Software Engineering Raumaufteilung Klausur
Formale Methoden im Software Entwurf (dt.) Kurswebseite
Seminar: Actor-based Languages (TUCaN)
Sommersemester/Summer Term 2019
Formal Specification and Verification of Software (engl.) Kurswebseite
Seminar: Symbolic Execution (dt./engl.) Seminar Webseite
Bachelorpraktikum für PsychIt Kurswebseite
Research Seminar: Software Engineering using Formal Methods (dt./engl.) Mitarbeiter_innen & Bachelor-/Masterarbeitschreibende
Wintersemester/Winter Term 2018/2019
Formale Methoden im Software Entwurf (dt.) Kurswebseite
Seminar: Symbolic Execution Seminar Webseite
Research Seminar: Software Engineering using Formal Methods (dt./engl.) Mitarbeiter_innen & Bachelor-/Masterarbeitschreibende
Sommersemester/Summer Term 2018
Formale Methoden im Software Entwurf (dt.) Kurswebseite
Seminar: Modeling and Analysis of actor-based Software Systems (engl.) Seminar Website
Research Seminar: Software Engineering using Formal Methods (dt./engl.) Mitarbeiter_innen & Bachelor-/Masterarbeitschreibende