Visitenkarte - Alle Veranstaltungen für "Prof. Dr. Heike Wehrheim"
Aktuelle Lehrveranstaltungen für Prof. Dr. Heike Wehrheim
Sommersemester 2024
Wintersemester 2023/2024
- 2.01.489 Verification of Parallel Programs
- 2.01.490 Seminar: Logical Methods in AI Verification
- 2.01.800-B Proseminar: Graphen - Konzepte, Algorithmen und Komplexität
- 2.01.801-B Forschungsseminar Formale Methoden
- 2.01.803 Softwareverifikation (V)
- 2.01.803-A Softwareverifikation (Ü)
- 2.01.AM-22 Oberseminar Formale Methoden
Sommersemester 2023
- 2.01.1011 Oberseminar Formale Methoden
- 2.01.410 Formale Methoden: Petrinetze, Prozessalgebren & Co.
- 2.01.481 Software Analysis
- 2.01.490 Seminar: Logical Methods in AI Verification and Explanation
- 2.01.801-B Forschungsseminar Formale Methoden
Wintersemester 2022/2023
- 2.01.1011 Oberseminar Formale Methoden
- 2.01.401 Grundlagen der Theoretischen Informatik
- 2.01.401a Übung Grundlagen der Theoretischen Informatik
- 2.01.401b Übung Grundlagen der Theoretischen Informatik
- 2.01.401c Übung Grundlagen der Theoretischen Informatik
- 2.01.401d Übung Grundlagen der Theoretischen Informatik
- 2.01.401e Übung Grundlagen der Theoretischen Informatik
- 2.01.490 Seminar Schwache Speichermodelle - Semantik und Verifikation
- 2.01.801-B Forschungsseminar Formale Methoden
- 2.01.803-B Praktikum Softwareverifikation
Sommersemester 2022
- 2.01.410 Formale Methoden
- 2.01.455 Model Checking
- 2.01.490 Seminar Spezialthemen der Software Verifikation
- 2.01.801-B Forschungsseminar Formale Methoden
- 2.01.AM-B Oberseminar Formale Methoden
Wintersemester 2021/2022
- 2.01.401 Vorlesung Grundlagen der Theoretischen Informatik
- 2.01.401a Übung Grundlagen der Theoretischen Informatik
- 2.01.401b Übung Grundlagen der Theoretischen Informatik
- 2.01.401c Übung Grundlagen der Theoretischen Informatik
- 2.01.401d Übung Grundlagen der Theoretischen Informatik
- 2.01.401f Übung Grundlagen der Theoretischen Informatik
- 2.01.490 Seminar Invariantengenerierung
- 2.01.801-P Forschungsseminar Formale Methoden
- 2.01.803 Praktikum Softwareverifikation
- 2.01.803-A Praktikum Softwareverifikation
- 2.01.803-B Praktikum Softwareverifikation
- 2.01.AM-P Oberseminar Formale Methoden
Sommersemester 2021
- 2.01.481 Software Analysis
- 2.01.490 Seminar Formale Methoden (Arbeitstitel)
- 2.01.801-J Forschungsseminar Formale Methoden
- 2.01.803 Formale Methoden
- 2.01.AM-B Oberseminar Formale Methoden