Pauline Blohm, M.Sc.
Einsteinstr. 62, 48149 Münster
Raum 218
Phone: +49 251 83 33807
Co-Betreut mit Prof. Dr. Anne Remke
Research Articles in Edited Proceedings (Conferences)
- Blohm P, Fränzle M, Herber P, Kröger P, Remke A. Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems in: Margaria T, Steffen B, eds. Leveraging Applications of Formal Methods, Verification and Validation proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification. ISoLA 2024, Crete. Heidelberg: Springer pp. 26–47. (Lecture Notes in Computer Science). doi: 10.1007/978-3-031-75380-0_3.
- Blohm P, Herber P, Remke A. Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata in: Kosmatov N, Kovács L, eds. Integrated Formal Methods. iFM 2024 proceedings of the Integrated Formal Methods. iFM 2024, Manchester. Berlin: Springer Nature pp. 172–193. (Lecture Notes in Computer Science). doi: 10.1007/978-3-031-76554-4_10.
- Tasche P, Monti RE, Drerup SE, Blohm P, Herber P, Huisman M. Deductive Verification of Parameterized Embedded Systems Modeled in SystemC in: Dimitrova R, Lahav O, Wolff S, eds. Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024 proceedings of the Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London. Heidelberg: Springer pp. 187–209. (Lecture Notes in Computer Science). doi: 10.1007/978-3-031-50521-8_9.
- Mense S, Höveler K, Blohm PA, Willemsen LC. Designing a tool for authoring digital problem-solving tasks in an app – an integrative learning design study in: Drijvers , Csapodi , Palmér , Gosztonyi , Kónya , eds. Proceedings of the 13th Congress of the European Society for Research in Mathematics Education (CERME13) proceedings of the 13th Congress of the European Society for Research in Mathematics Education (CERME13), Budapest. Budapest: Alfréd Rényi Institute of Mathematics and ERME pp. 2993–3000.
- Blohm P, Adelt J, Herber P. Safe Integration of Learning in SystemC using Timed Contracts and Model Checking in: von Hanxleden R, Edwards SA, Brandt J, Zhu Qi, eds. 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023 proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg. New York City: Wiley-IEEE Computer Society Press pp. 12–22. doi: 10.1145/3610579.3611078.
Teaching
- Projektseminar: Capstone Project: Design and Analysis of Safety-Critical Embedded Systems [100062]
(in cooperation with Prof. Dr. Paula Herber, Prof. Dr. Anne Remke, Julius Adelt)
[ - | | wöchentlich | Di | SRZ 202 | Prof. Dr. Anne Remke] - Oberseminar: Research Topics in Embedded Systems [100064]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Julius Adelt)
[ - | | wöchentlich | Di | SRZ 202 | Julius Adelt] - Introduction to Quantitative Model Checking [100089]
(in cooperation with Prof. Dr. Anne Remke)
[ - | | wöchentlich | Di | SRZ 202 | Prof. Dr. Anne Remke]
[ - | | wöchentlich | Do | M B 6 (M 6) | Prof. Dr. Anne Remke]
- Vorlesung: Modeling and analysis of dynamical systems [108086]
(in cooperation with Joanna Delicaris, Prof. Dr. Anne Remke, Jonas Stübbe) - Seminar: Seminar Safe & Secure Embedded Systems [108063]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Julius Adelt) - 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) - Oberseminar: Research Topics in Embedded Systems [108061]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Julius Adelt) - Tutorial "Modeling and analysis of dynamic systems" [108087]
(in cooperation with Joanna Delicaris, Prof. Dr. Anne Remke, Jonas Stübbe)
- Vorlesung: Discrete Structures [106127]
(in cooperation with Prof. Dr. Anne Remke, Jonas Stübbe) - Projektseminar: Capstone Project: Design of Safe Embedded Systems [106042]
(in cooperation with Prof. Dr. Paula Herber, Julius Adelt) - Oberseminar: Research Topics in Embedded Systems [106038]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Julius Adelt) - Tutorial Discrete Structures [106128]
(in cooperation with Prof. Dr. Anne Remke, Jonas Stübbe) - Tutorial "Quality-oriented Design of Embedded Systems" [106037]
(in cooperation with Prof. Dr. Paula Herber, Julius Adelt)
- Seminar: Seminar Safe & Secure Embedded Systems [104761]
(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) - Oberseminar: Research Topics in Embedded Systems [104758]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Julius Adelt) - Embedded Systems [104770]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok)
- Projektseminar: Optimizing the use of storage in water distribution [102068]
(in cooperation with Prof. Dr. Anne Remke) - 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) - Tutorial Discrete Structures [102060]
(in cooperation with Jacqueline Strob, Prof. Dr. Anne Remke, Jonas Stübbe)
- Seminar: Seminar Safe & Secure Embedded Systems [100063]
(in cooperation with Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Julius Adelt) - Quantitative Model Checking [100092]
(in cooperation with Mathis Niehage, Prof. Dr. Anne Remke)
- Projektseminar: Capstone Project: Design and Analysis of Safety-Critical Embedded Systems [100062]