Pauline Blohm, M.Sc. Einsteinstr. 62, 48149 Münster Raum 218 Phone: +49 251 83 33807 pauline.blohm@uni-muenster.de Co-Betreut mit Prof. Dr. Anne Remke
Teaching Winter Term 2024/25Übung: Tutorial "Modeling and analysis of dynamic systems" [108087](in cooperation with Prof. Dr. Anne Remke, Jonas Stübbe)[17.10.2024 - 30.01.2025 | 12:00 - 14:00 | wöchentlich | Do. | Prof. Dr. Anne Remke]Oberseminar: Research Topics in Embedded Systems [108061](in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Julius Adelt)[08.10.2024 - 21.01.2025 | 10:00 - 12:00 | wöchentlich | Di. | Pauline Blohm]Projektseminar: Capstone Project: Design of a Safe Walking Hexapod Robot [108062](in cooperation with Janosch Bajorath, Prof. Dr. Paula Herber, Prof. Dr. Malte Schilling, Julius Adelt)[07.10.2024 - 27.01.2025 | 16:00 - 18:00 | wöchentlich | Mo. | Janosch Bajorath]Seminar: Seminar Safe & Secure Embedded Systems [108063](in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Julius Adelt)[n. V. | Prof. Dr. Paula Herber]Vorlesung: Modeling and analysis of dynamical systems [108086](in cooperation with Prof. Dr. Anne Remke, Jonas Stübbe)[11.10.2024 - 24.01.2025 | 12:00 - 14:00 | wöchentlich | Fr. | M B 5 (M 5) | Prof. Dr. Anne Remke][15.10.2024 - 21.01.2025 | 12:00 - 14:00 | wöchentlich | Di. | M B 5 (M 5) | Prof. Dr. Anne Remke]Summer Term 2024 Übung: Tutorial Discrete Structures [106128](in cooperation with Prof. Dr. Anne Remke, Jonas Stübbe)[11.04.2024 - 11.07.2024 | 12:00 - 14:00 | wöchentlich | Do. | M A 503 (SR 5) | Jonas Stübbe][11.04.2024 - 11.07.2024 | 10:00 - 12:00 | wöchentlich | Do. | SRZ 115 | Jonas Stübbe][12.04.2024 - 12.07.2024 | 12:00 - 14:00 | wöchentlich | Fr. | M A 503 (SR 5) | Jonas Stübbe][12.04.2024 - 12.07.2024 | 14:00 - 16:00 | wöchentlich | Fr. | SRZ 117 | Jonas Stübbe][Di., 07.05.2024, 14:00 - 16:00 | SRZ 17 | Jonas Stübbe][Di., 28.05.2024, 14:00 - 16:00 | M B 2 (M 2) | Jonas Stübbe]Übung: Tutorial "Quality-oriented Design of Embedded Systems" [106037](in cooperation with Prof. Dr. Paula Herber, Julius Adelt)[15.04.2024 - 08.07.2024 | 14:00 - 16:00 | wöchentlich | Mo. | SRZ 202 | Prof. Dr. Paula Herber]Oberseminar: Research Topics in Embedded Systems [106038](in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Julius Adelt)[08.04.2024 - 08.07.2024 | 10:00 - 12:00 | wöchentlich | Mo. | SRZ 202 | Julius Adelt]Projektseminar: Capstone Project: Design of Safe Embedded Systems [106042](in cooperation with Prof. Dr. Paula Herber, Julius Adelt)[09.04.2024 - 09.07.2024 | 14:00 - 16:00 | wöchentlich | Di. | SRZ 202 | Prof. Dr. Paula Herber]Vorlesung: Discrete Structures [106127](in cooperation with Prof. Dr. Anne Remke, Jonas Stübbe)[09.04.2024 - 09.07.2024 | 10:00 - 12:00 | wöchentlich | Di. | M B 2 (M 2) | Jonas Stübbe][Mo., 15.07.2024, 14:00 - 16:00 | M B 4 (M 4) | Jonas Stübbe][Fr., 19.07.2024, 14:00 - 16:00 | SRZ 117 | Jonas Stübbe]Winter Term 2023/24Oberseminar: Research Topics in Embedded Systems [104758](in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Julius Adelt)Projektseminar: Capstone Project: Design of a Safe Walking Hexapod Robot [104757](in cooperation with Prof. Dr. Paula Herber, Prof. Dr. Malte Schilling, Julius Adelt)Seminar: Seminar Safe & Secure Embedded Systems [104761](in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Julius Adelt)V/Ü: Embedded Systems [104770](in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok)Summer Term 2023 Übung: Tutorial Discrete Structures [102060](in cooperation with Jacqueline Strob, Prof. Dr. Anne Remke, Jonas Stübbe)Oberseminar: Advanced Seminar "Parallel and Distributed Systems" [102061](in cooperation with Mathis Niehage, Joanna Delicaris, Prof. Dr. Anne Remke, Jonas Stübbe)Oberseminar: Research Topics in Embedded Systems [102029](in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Julius Adelt)Projektseminar: Optimizing the use of storage in water distribution [102068](in cooperation with Prof. Dr. Anne Remke)Winter Term 2022/23Seminar: Seminar Safe & Secure Embedded Systems [100063](in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Julius Adelt)V/Ü: Quantitative Model Checking [100092](in cooperation with Mathis Niehage, Prof. Dr. Anne Remke)
Teaching Winter Term 2024/25Übung: Tutorial "Modeling and analysis of dynamic systems" [108087](in cooperation with Prof. Dr. Anne Remke, Jonas Stübbe)[17.10.2024 - 30.01.2025 | 12:00 - 14:00 | wöchentlich | Do. | Prof. Dr. Anne Remke]Oberseminar: Research Topics in Embedded Systems [108061](in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Julius Adelt)[08.10.2024 - 21.01.2025 | 10:00 - 12:00 | wöchentlich | Di. | Pauline Blohm]Projektseminar: Capstone Project: Design of a Safe Walking Hexapod Robot [108062](in cooperation with Janosch Bajorath, Prof. Dr. Paula Herber, Prof. Dr. Malte Schilling, Julius Adelt)[07.10.2024 - 27.01.2025 | 16:00 - 18:00 | wöchentlich | Mo. | Janosch Bajorath]Seminar: Seminar Safe & Secure Embedded Systems [108063](in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Julius Adelt)[n. V. | Prof. Dr. Paula Herber]Vorlesung: Modeling and analysis of dynamical systems [108086](in cooperation with Prof. Dr. Anne Remke, Jonas Stübbe)[11.10.2024 - 24.01.2025 | 12:00 - 14:00 | wöchentlich | Fr. | M B 5 (M 5) | Prof. Dr. Anne Remke][15.10.2024 - 21.01.2025 | 12:00 - 14:00 | wöchentlich | Di. | M B 5 (M 5) | Prof. Dr. Anne Remke]Summer Term 2024 Übung: Tutorial Discrete Structures [106128](in cooperation with Prof. Dr. Anne Remke, Jonas Stübbe)[11.04.2024 - 11.07.2024 | 12:00 - 14:00 | wöchentlich | Do. | M A 503 (SR 5) | Jonas Stübbe][11.04.2024 - 11.07.2024 | 10:00 - 12:00 | wöchentlich | Do. | SRZ 115 | Jonas Stübbe][12.04.2024 - 12.07.2024 | 12:00 - 14:00 | wöchentlich | Fr. | M A 503 (SR 5) | Jonas Stübbe][12.04.2024 - 12.07.2024 | 14:00 - 16:00 | wöchentlich | Fr. | SRZ 117 | Jonas Stübbe][Di., 07.05.2024, 14:00 - 16:00 | SRZ 17 | Jonas Stübbe][Di., 28.05.2024, 14:00 - 16:00 | M B 2 (M 2) | Jonas Stübbe]Übung: Tutorial "Quality-oriented Design of Embedded Systems" [106037](in cooperation with Prof. Dr. Paula Herber, Julius Adelt)[15.04.2024 - 08.07.2024 | 14:00 - 16:00 | wöchentlich | Mo. | SRZ 202 | Prof. Dr. Paula Herber]Oberseminar: Research Topics in Embedded Systems [106038](in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Julius Adelt)[08.04.2024 - 08.07.2024 | 10:00 - 12:00 | wöchentlich | Mo. | SRZ 202 | Julius Adelt]Projektseminar: Capstone Project: Design of Safe Embedded Systems [106042](in cooperation with Prof. Dr. Paula Herber, Julius Adelt)[09.04.2024 - 09.07.2024 | 14:00 - 16:00 | wöchentlich | Di. | SRZ 202 | Prof. Dr. Paula Herber]Vorlesung: Discrete Structures [106127](in cooperation with Prof. Dr. Anne Remke, Jonas Stübbe)[09.04.2024 - 09.07.2024 | 10:00 - 12:00 | wöchentlich | Di. | M B 2 (M 2) | Jonas Stübbe][Mo., 15.07.2024, 14:00 - 16:00 | M B 4 (M 4) | Jonas Stübbe][Fr., 19.07.2024, 14:00 - 16:00 | SRZ 117 | Jonas Stübbe]Winter Term 2023/24Oberseminar: Research Topics in Embedded Systems [104758](in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Julius Adelt)Projektseminar: Capstone Project: Design of a Safe Walking Hexapod Robot [104757](in cooperation with Prof. Dr. Paula Herber, Prof. Dr. Malte Schilling, Julius Adelt)Seminar: Seminar Safe & Secure Embedded Systems [104761](in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Julius Adelt)V/Ü: Embedded Systems [104770](in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok)Summer Term 2023 Übung: Tutorial Discrete Structures [102060](in cooperation with Jacqueline Strob, Prof. Dr. Anne Remke, Jonas Stübbe)Oberseminar: Advanced Seminar "Parallel and Distributed Systems" [102061](in cooperation with Mathis Niehage, Joanna Delicaris, Prof. Dr. Anne Remke, Jonas Stübbe)Oberseminar: Research Topics in Embedded Systems [102029](in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Julius Adelt)Projektseminar: Optimizing the use of storage in water distribution [102068](in cooperation with Prof. Dr. Anne Remke)Winter Term 2022/23Seminar: Seminar Safe & Secure Embedded Systems [100063](in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Julius Adelt)V/Ü: Quantitative Model Checking [100092](in cooperation with Mathis Niehage, Prof. Dr. Anne Remke)