Every semester there are several lectures on safety-critical systems and different lectures on basic topics.
Teaching
- Kolloquium: Computer Science Colloquium [102091]
(in cooperation with Prof. Dr. Sergei Gorlatch, Jun.-Prof. Dominik Köppl, Prof. Dr. Paula Herber, Prof. Dr. Lars Linsen, 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] - Anleitung zum wissenschaftlichen Arbeiten: Supervision of theses in computer science [102090]
(in cooperation with Prof. Dr. Sergei Gorlatch, Jun.-Prof. Dominik Köppl, 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, Prof. Dr. Jan Vahrenhold, Jun.-Prof. Tanya Braun, Dr. Ludger Becker) - Übung: Tutorial Discrete Structures [102060]
(in cooperation with Jacqueline Strob, Jonas Stübbe)[ - | | wöchentlich | Do. | M A 401 (SR 4) | Prof. Dr. Anne Remke]
[ - | | wöchentlich | Do. | M A 401 (SR 4) | Prof. Dr. Anne Remke]
[ - | | wöchentlich | Fr. | M A 401 (SR 4) | Prof. Dr. Anne Remke]
[ - | | wöchentlich | Fr. | M A 401 (SR 4) | Prof. Dr. Anne Remke] - Oberseminar: Advanced Seminar "Parallel and Distributed Systems" [102061]
[ - | | wöchentlich | Do. | SRZ 202 | Prof. Dr. Anne Remke] - Projektseminar: IT-security for power grids [102068]
(in cooperation with Pauline Blohm)
[ - | | Blockveranstaltung (Mo-Fr) | SRZ 114a | Prof. Dr. Anne Remke] - Vorlesung: Selected topics of safety critical systems [102062]
[ - | | wöchentlich | Di. | SRZ 205 | Prof. Dr. Anne Remke]
[ - | | wöchentlich | Do. | SRZ 205 | Prof. Dr. Anne Remke] - Vorlesung: Discrete Structures [102059]
(in cooperation with Jonas Stübbe)
[ - | | wöchentlich | Di. | M B 2 (M 2) | Prof. Dr. Anne Remke]
- Kolloquium: Computer Science Colloquium [100117]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Jan Vahrenhold, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Jun.-Prof. Tanya Braun, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Markus Müller-Olm)
[ - | | wöchentlich | Mi. | M B 4 (M 4) | Prof. Dr. Sergei Gorlatch] - Anleitung zum wissenschaftlichen Arbeiten: Supervision of theses in computer science [100112]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Dr. Ludger Becker, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Prof. Dr. Jan Vahrenhold, Dr. Marco Wehrmeister, Jun.-Prof. Tanya Braun) - Oberseminar: Advanced Seminar "Parallel and Distributed Systems" [100093]
[ - | | wöchentlich | Do. | M A 401 (SR 4) | Prof. Dr. Anne Remke] - V/Ü: Computer Networks and their Performance [100091]
(in cooperation with Dr. Carina da Silva)
[ - | | wöchentlich | Di. | M B 5 (M 5) | Dr. Carina da Silva]
[ - | | wöchentlich | Fr. | M B 5 (M 5) | Dr. Carina da Silva] - V/Ü: Quantitative Model Checking [100092]
(in cooperation with Mathis Niehage, Pauline Blohm)
[ - | | wöchentlich | Mo. | M B 6 (M 6) | Mathis Niehage]
[ - | | wöchentlich | Do. | M B 6 (M 6) | Mathis Niehage]
- Kolloquium: Computer Science Colloquium [108116]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Paula Herber, Prof. Dr. Lars Linsen, Prof. Dr. Benjamin Risse, Jun.-Prof. Tanya Braun, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold) - Anleitung zum wissenschaftlichen Arbeiten: Supervision of theses in computer science [108113]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Prof. Dr. Jan Vahrenhold, Dr. Stefan Schiffner, Prof. Dr. Benjamin Risse, Jun.-Prof. Tanya Braun, Dr. Marco Wehrmeister, Dr. Ludger Becker) - Übung: Tutorial Discrete Structures [108088]
(in cooperation with Joanna Delicaris, Phil Steinhorst) - Oberseminar: Advanced Seminar "Parallel and Distributed Systems" [108071]
- V/Ü: Methods and Applications for Randomised Systems [108089]
(in cooperation with Mathis Niehage, Joanna Delicaris) - Vorlesung: Discrete Structures [108087]
(in cooperation with Joanna Delicaris)
- Kolloquium: Computer Science Colloquium [106089]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Dr. Stefan Schiffner, Prof. Dr. Benjamin Risse, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold) - Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [106085]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Prof. Dr. Jan Vahrenhold, Dr. Stefan Schiffner, Prof. Dr. Benjamin Risse, Jun.-Prof. Tanya Braun, Dr. Marco Wehrmeister, Dr. Ludger Becker) - Übung: Tutorial "Modeling and analysis of dynamic systems" [106034]
(in cooperation with Mathis Niehage, Joanna Delicaris) - Projektseminar: IT-security for power grids [106035]
(in cooperation with Dr. Dietmar Lammers) - Vorlesung: Modeling and analysis of dynamical systems [106033]
(in cooperation with Mathis Niehage, Joanna Delicaris)
- Kolloquium: Computer Science Colloquium [104091]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Benjamin Risse, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Christian Beecks, Jun.-Prof. Christian Scheffer, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold) - Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [104084]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Christian Beecks, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Jun.-Prof. Christian Scheffer, Prof. Dr. Jan Vahrenhold, Prof. Dr. Benjamin Risse, Dr. Ludger Becker) - Übung: Tutorial Discrete Structures [104034]
(in cooperation with Mathis Niehage, Joanna Delicaris) - Vorlesung: Selected topics of safety critical systems [104036]
- Vorlesung: Discrete Structures [104033]
(in cooperation with Dr. Carina da Silva, Joanna Delicaris)
- Kolloquium: Computer Science Colloquium [102088]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Paula Herber, Prof. Dr. Lars Linsen, Prof. Dr. Benjamin Risse, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Christian Beecks, Prof. Dr. Markus Müller-Olm, Jun.-Prof. Christian Scheffer, Prof. Dr. Jan Vahrenhold) - Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [102085]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Christian Beecks, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Jun.-Prof. Christian Scheffer, Prof. Dr. Jan Vahrenhold, Prof. Dr. Benjamin Risse, Dr. Ludger Becker) - Projektseminar: Efficient model checking of hybrid systems in multiple dimensions [102032]
(in cooperation with Joanna Delicaris, Dr. Stefan Alexander Schupp) - V/Ü: Computer Networks and their Performance [102033]
(in cooperation with Joanna Delicaris) - V/Ü: Quantitative Model Checking [102034]
(in cooperation with Dr. Stefan Alexander Schupp)
- Kolloquium: Computer Science Colloquium [100120]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Benjamin Risse, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Christian Beecks, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold) - Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [100087]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Dr. Ludger Becker, Prof. Dr. Christian Beecks, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Prof. Dr. Jan Vahrenhold, Prof. Dr. Benjamin Risse) - Übung: Tutorial Discrete Structures [100032]
(in cooperation with Dr. Carina da Silva, Joanna Delicaris) - Oberseminar: Variants of Hybrid Automata [100040]
- Seminar: Variants of Hybrid Automata [100041]
(in cooperation with Mathis Niehage, Dr. Carina da Silva, Joanna Delicaris) - Vorlesung: Discrete Structures [100031]
(in cooperation with Dr. Carina da Silva, Joanna Delicaris)
- Kolloquium: Computer Science Colloquium [108117]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Paula Herber, Prof. Dr. Lars Linsen, Prof. Dr. Benjamin Risse, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Christian Beecks, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold) - Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [108116]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Dr. Ludger Becker, Prof. Dr. Christian Beecks, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Prof. Dr. Jan Vahrenhold, Prof. Dr. Benjamin Risse) - Übung: Tutorial "Modeling and analysis of dynamic systems" [108032]
(in cooperation with Dr. Carina da Silva) - Projektseminar: Implementation of a SCADA Testbed [108033]
(in cooperation with Jannik Hüls) - Seminar: Learning Center Informatik [108069]
(in cooperation with Dr. Carina da Silva) - Vorlesung: Modeling and analysis of dynamical systems [108030]
(in cooperation with Dr. Carina da Silva)
- Kolloquium: Computer Science Colloquium [106116]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Benjamin Risse, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Christian Beecks, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold) - Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [106063]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Dr. Ludger Becker, Prof. Dr. Christian Beecks, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Prof. Dr. Jan Vahrenhold, Prof. Dr. Benjamin Risse)
- Kolloquium: Computer Science Colloquium [104117]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Jan Vahrenhold, Prof. Dr. Lars Linsen, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Christian Beecks, Prof. Dr. Markus Müller-Olm) - Anleitung zum wissenschaftlichen Arbeiten: 2.5 Courses sorted by Subjects [104090]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Benjamin Risse, Prof. Dr. Xiaoyi Jiang, Dr. Ludger Becker, Prof. Dr. Christian Beecks, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Prof. Dr. Jan Vahrenhold) - Projektseminar: App developement for combinatorical counting strategies in primary school [104036]
(in cooperation with Prof. Dr. Karina Höveler, Dr. Carina da Silva, Janet Winzen) - Seminar: Variants of Hybrid Automata [102053]
(in cooperation with Dr. Carina da Silva) - V/Ü: Computer Networks and their Performance [104031]
(in cooperation with Jannik Hüls) - V/Ü: Quantitative Model Checking [104030]
(in cooperation with Dr. Carina da Silva)
- Kolloquium: Computer Science Colloquium [102089]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Jan Vahrenhold, Prof. Dr. Lars Linsen, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Markus Müller-Olm) - Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [102088]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Xiaoyi Jiang, Dr. Ludger Becker, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Prof. Dr. Jan Vahrenhold) - Übung: Tutorial Discrete Structures [102030]
(in cooperation with Dr. Carina da Silva) - Seminar: Variants of Hybrid Automata [102037]
(in cooperation with Dr. Carina da Silva) - V/Ü: Methods and Applications for Randomised Systems [102028]
- Vorlesung: Discrete Structures [102029]
(in cooperation with Dr. Carina da Silva)
- Kolloquium: Computer Science Colloquium [100118]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Jan Vahrenhold, Prof. Dr. Lars Linsen, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Markus Müller-Olm) - Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [100116]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Xiaoyi Jiang, Dr. Ludger Becker, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Prof. Dr. Jan Vahrenhold) - Übung: Tutorial "Modeling and analysis of dynamic systems" [100035]
(in cooperation with Dr. Carina da Silva) - Projektseminar: Implementation of a SCADA Testbed [100037]
(in cooperation with Jannik Hüls) - Vorlesung: Modeling and analysis of dynamical systems [100034]
(in cooperation with Dr. Carina da Silva)
- Kolloquium: Computer Science Colloquium [108406]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Jan Vahrenhold, Prof. Dr. Lars Linsen, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Markus Müller-Olm) - Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [108377]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Xiaoyi Jiang, Dr. Ludger Becker, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Prof. Dr. Jan Vahrenhold) - Übung: Tutorial Discrete Structures [108379]
(in cooperation with Dr. Carina da Silva) - Projektseminar: Implementierung eines SCADA Testbed [108389]
(in cooperation with Jannik Hüls) - V/Ü: Computer Networks and their Performance [108380]
(in cooperation with Dr. Carina da Silva) - Vorlesung: Discrete Structures [108378]
(in cooperation with Dr. Carina da Silva)
- Kolloquium: Media Market Research and Analysis of Media Use [106265]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Jan Vahrenhold, Prof. Dr. Mesut Günes, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Markus Müller-Olm) - Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [106163]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Mesut Günes, Prof. Dr. Xiaoyi Jiang, Dr. Ludger Becker, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Prof. Dr. Jan Vahrenhold) - Projektseminar: Capstone Project "GameLab: Design and Development of Virtual Game Environments" [106162]
(in cooperation with Dr. Carina da Silva) - V/Ü: Quantitative Model Checking [166161]
- Kolloquium: Computer Science Colloquium [104262]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Jan Vahrenhold, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Mesut Günes, Prof. Dr. Markus Müller-Olm) - Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [104264]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Mesut Günes, Prof. Dr. Xiaoyi Jiang, Dr. Ludger Becker, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Prof. Dr. Jan Vahrenhold) - Übung: Tutorial Discrete Structures [104164]
(in cooperation with Jannik Hüls) - V/Ü: Methods and Applications for Randomised Systems [104162]
(in cooperation with Jannik Hüls) - Vorlesung: Discrete Structures [104163]
- Kolloquium: Module 4/Semester 4 [102141]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Jan Vahrenhold, Prof. Dr. Mesut Günes, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Markus Müller-Olm) - Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [102143]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Mesut Günes, Prof. Dr. Xiaoyi Jiang, Dr. Ludger Becker, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Prof. Dr. Jan Vahrenhold) - Projektseminar: Modelling and Evaluation of Smart Homes [102316]
(in cooperation with Dominique Meiländer) - V/Ü: Quantitative Model Checking [102315]
- Kolloquium: Computer Science Colloquium [101345]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Jan Vahrenhold, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Mesut Günes, Prof. Dr. Markus Müller-Olm) - Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [101838]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Mesut Günes, Prof. Dr. Xiaoyi Jiang, Dr. Ludger Becker, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Prof. Dr. Jan Vahrenhold)