Every semester there are several lectures on safety-critical systems and different lectures on basic topics.
Teaching
- Vorlesung: Modeling and analysis of dynamical systems [108086]
(in cooperation with Joanna Delicaris, Jonas Stübbe, Pauline Blohm)
[ - | | wöchentlich | Fr. | M B 5 (M 5) | Joanna Delicaris]
[ - | | wöchentlich | Di | M B 5 (M 5) | Joanna Delicaris] - Oberseminar: Advanced Seminar "Safety-critical systems – current research perspectives" [108091]
[ - | SRZ 104 | Prof. Dr. Anne Remke]
[Prof. Dr. Anne Remke] - Anleitung zum wissenschaftlichen Arbeiten: Supervision of theses in computer science [108119]
(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 [108118]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Jun.-Prof. Tanya Braun, Prof. Dr. Ralph-Günther Holz, 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] - Tutorial "Modeling and analysis of dynamic systems" [108087]
(in cooperation with Joanna Delicaris, Jonas Stübbe, Pauline Blohm)
[ - | | wöchentlich | Do | SRZ 202 | Joanna Delicaris]
[ | wöchentlich | Do | M A 503 (SR 5) | Joanna Delicaris]
- Vorlesung: Discrete Structures [106127]
(in cooperation with Jonas Stübbe, Pauline Blohm) - Oberseminar: Advanced Seminar "Parallel and Distributed Systems" [106129]
- Anleitung zum wissenschaftlichen Arbeiten: Supervision of theses in computer science [106114]
(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 [106115]
(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) - Modeling with automata and probabilities (MAP) [106130]
(in cooperation with Mathis Niehage) - Tutorial Discrete Structures [106128]
(in cooperation with Jonas Stübbe, Pauline Blohm)
- Oberseminar: Advanced Seminar "Parallel and Distributed Systems"
- Anleitung zum wissenschaftlichen Arbeiten: Supervision of theses in computer science [104560]
(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, Prof. Dr. Jan Vahrenhold, Jun.-Prof. Tanya Braun, Prof. Dr. Ralph-Günther Holz) - Kolloquium: Computer Science Colloquium [104561]
(in cooperation with Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Jun.-Prof. Tanya Braun, Prof. Dr. Ralph-Günther Holz, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)
- Vorlesung: Discrete Structures [102059]
(in cooperation with Jonas Stübbe) - Vorlesung: Selected topics of safety critical systems [102062]
(in cooperation with Mathis Niehage) - Projektseminar: Optimizing the use of storage in water distribution [102068]
(in cooperation with Pauline Blohm) - Oberseminar: Advanced Seminar "Parallel and Distributed Systems" [102061]
(in cooperation with Mathis Niehage, Joanna Delicaris, Jonas Stübbe, Pauline Blohm) - 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) - 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) - Tutorial Discrete Structures [102060]
(in cooperation with Jacqueline Strob, Jonas Stübbe, Pauline Blohm)
- Oberseminar: Advanced Seminar "Parallel and Distributed Systems" [100093]
- 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) - 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) - Computer Networks and their Performance [100091]
(in cooperation with Dr. Carina da Silva, Jonas Stübbe) - Quantitative Model Checking [100092]
(in cooperation with Mathis Niehage, Pauline Blohm)
- Vorlesung: Discrete Structures [108087]
(in cooperation with Joanna Delicaris) - Oberseminar: Advanced Seminar "Parallel and Distributed Systems" [108071]
- 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) - 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) - Methods and Applications for Randomised Systems [108089]
(in cooperation with Mathis Niehage, Joanna Delicaris) - Tutorial Discrete Structures [108088]
(in cooperation with Joanna Delicaris, Phil Steinhorst)
- Vorlesung: Modeling and analysis of dynamical systems [106033]
(in cooperation with Mathis Niehage, Joanna Delicaris) - Projektseminar: IT-security for power grids [106035]
(in cooperation with Dr. Dietmar Lammers) - 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) - 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) - Tutorial "Modeling and analysis of dynamic systems" [106034]
(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) - 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) - 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) - Tutorial Discrete Structures [104034]
(in cooperation with Mathis Niehage, Joanna Delicaris)
- Projektseminar: Efficient model checking of hybrid systems in multiple dimensions [102032]
(in cooperation with Joanna Delicaris, Dr. Stefan Alexander Schupp) - Anleitung zum wissenschaftlichen Arbeiten: Bachelor in Communication Studies (Single Subject) [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) - 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) - Quantitative Model Checking [102034]
(in cooperation with Dr. Stefan Alexander Schupp) - Computer Networks and their Performance [102033]
(in cooperation with Joanna Delicaris)
- Vorlesung: Discrete Structures [100031]
(in cooperation with Dr. Carina da Silva, Joanna Delicaris) - Seminar: Variants of Hybrid Automata [100041]
(in cooperation with Mathis Niehage, Dr. Carina da Silva, Joanna Delicaris) - Oberseminar: Variants of Hybrid Automata [100040]
- 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) - 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) - Tutorial Discrete Structures [100032]
(in cooperation with Dr. Carina da Silva, Joanna Delicaris)
- Vorlesung: Modeling and analysis of dynamical systems [108030]
(in cooperation with Dr. Carina da Silva) - Seminar: Learning Center Informatik [108069]
(in cooperation with Dr. Carina da Silva) - Projektseminar: Implementation of a SCADA Testbed [108033]
(in cooperation with Jannik Hüls) - 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) - 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) - Tutorial "Modeling and analysis of dynamic systems" [108032]
(in cooperation with Dr. Carina da Silva)
- 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 [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)
- Seminar: Variants of Hybrid Automata [102053]
(in cooperation with Dr. Carina da Silva) - 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) - 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) - 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) - Computer Networks and their Performance [104031]
(in cooperation with Jannik Hüls) - Quantitative Model Checking [104030]
(in cooperation with Dr. Carina da Silva)
- Vorlesung: Discrete Structures [102029]
(in cooperation with Dr. Carina da Silva) - Seminar: Variants of Hybrid Automata [102037]
(in cooperation with Dr. Carina da Silva) - 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) - 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) - Methods and Applications for Randomised Systems [102028]
- Tutorial Discrete Structures [102030]
(in cooperation with Dr. Carina da Silva)
- Vorlesung: Modeling and analysis of dynamical systems [100034]
(in cooperation with Dr. Carina da Silva) - Projektseminar: Implementation of a SCADA Testbed [100037]
(in cooperation with Jannik Hüls) - 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) - 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) - Tutorial "Modeling and analysis of dynamic systems" [100035]
(in cooperation with Dr. Carina da Silva)
- Vorlesung: Discrete Structures [108378]
(in cooperation with Dr. Carina da Silva) - Projektseminar: Implementierung eines SCADA Testbed [108389]
(in cooperation with Jannik Hüls) - 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) - 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) - Computer Networks and their Performance [108380]
(in cooperation with Dr. Carina da Silva) - Tutorial Discrete Structures [108379]
(in cooperation with Dr. Carina da Silva)
- Projektseminar: Capstone Project "GameLab: Design and Development of Virtual Game Environments" [106162]
(in cooperation with Dr. Carina da Silva) - 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) - 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) - Quantitative Model Checking [166161]
- Vorlesung: Discrete Structures [104163]
- 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) - 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) - Methods and Applications for Randomised Systems [104162]
(in cooperation with Jannik Hüls) - Tutorial Discrete Structures [104164]
(in cooperation with Jannik Hüls)
- Projektseminar: Modelling and Evaluation of Smart Homes [102316]
(in cooperation with Dominique Meiländer) - 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) - 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) - Quantitative Model Checking [102315]
- 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) - 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)