Every semester there are several lectures on safety-critical systems and different lectures on basic topics.

 

Teaching

 

  • Vorlesung: Discrete Structures [100087]
    (in cooperation with Jonas Stübbe)
    [ - | | wöchentlich | Di | M B 2 (M 2) | Prof. Dr. Anne Remke]
  • Projektseminar: Capstone Project: Design and Analysis of Safety-Critical Embedded Systems [100062]
    (in cooperation with Prof. Dr. Paula Herber, Julius Adelt, Pauline Blohm)
    [ - | | wöchentlich | Di | SRZ 202 | Prof. Dr. Anne Remke]
  • Oberseminar: Advanced Seminar "Safety-critical systems – current research perspectives" [100090]
    [wöchentlich | Prof. Dr. Anne Remke]
  • Anleitung zum wissenschaftlichen Arbeiten: Supervision of theses in computer science [100120]
    (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Dr. Carina da Silva, Prof. Dr. Jan Vahrenhold, Jun.-Prof. Tanya Braun, Prof. Dr. Ralph-Günther Holz)
  • Kolloquium: Computer Science Colloquium [100119]
    (in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Paula Herber, Prof. Dr. Lars Linsen, Prof. Dr. Ralph-Günther Holz, Jun.-Prof. Tanya Braun, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)
    [ - | | wöchentlich | Mi | M B 4 (M 4) | Prof. Dr. Sergei Gorlatch]
  • Introduction to Quantitative Model Checking [100089]
    (in cooperation with Pauline Blohm)
    [ - | | wöchentlich | Di | SRZ 202 | Prof. Dr. Anne Remke]
    [ - | | wöchentlich | Do | M B 6 (M 6) | Prof. Dr. Anne Remke]
  • Tutorial Discrete Structures [100088]
    (in cooperation with Jonas Stübbe)Details