Pauline Blohm

Pauline Blohm
Researcher (PhD Student)
Co-supervised with Prof. Dr. Paula Herber, University of Duisburg-Essem

Room 218
Einsteinstr. 62
48149 Münster

T: +49 251 83-33807
pauline.blohm@uni-muenster.de

Research Interests
My research focuses on the formal analysis of Simulink models under uncertainty. Simulink is a modeling language widely used in industry. The core of my work is the development of a modular transformation of stochastic Simulink models into stochastic hybrid automata. The resulting automaton can then be analyzed with tools such as RealySt, or with statistical model checking tools such as modes, to determine reachability probabilities. We are currently working on combining this quantitative approach with a qualitative analysis

Research Articles in Edited Proceedings (Conferences)
2027
- Blohm P, Remke A, Herber P. Towards Quantitative Analysis of Intelligent Simulink Models Using Stochastic Hybrid Automata in: Margaria T, Steffen B, eds. Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI. proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI. ISoLA 2026., Kos. Kos: Springer Nature Switzerland pp. 173–195. (Lecture Notes in Computer Science; Vol. 17144). doi: 10.1007/978-3-032-40121-2_10.
2025
- Blohm P, Schulz F, Willemsen L, Remke A, Herber P. Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata in: Prabhakar P, Vandin A, eds. International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems. QEST+FORMATS, 2025, Aarhus. Switzerland: Springer Nature pp. 389–408. (Lecture Notes in Computer Science; Vol. 16143). doi: 10.1007/978-3-032-05792-1_21.
2024
- 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. London: Springer pp. 187–209. (Lecture Notes in Computer Science). doi: 10.1007/978-3-031-50521-8_9.
- 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. Crete: 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. Switzerland: Springer Nature pp. 172–193. (Lecture Notes in Computer Science). doi: 10.1007/978-3-031-76554-4_10.
2023
- 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. Hamburg: Wiley-IEEE Computer Society Press pp. 12–22. doi: 10.1145/3610579.3611078.
- 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.

Teaching
Winter Term 2026/27
Summer Term 2026
Winter Term 2025/26
Summer Term 2025
Winter Term 2024/25
Summer Term 2024
Winter Term 2023/24
Summer Term 2023
Winter Term 2022/23

Winter Term 2026/27
Seminar: Quantitative Analyse von sicherheits-kritischen Systemen> [106088]
(in cooperation with Anne Remke and Jonas Stübbe)
[Mon – Fri | ad hoc]
Seminar/Tutorial: LearningCenter Informatik> [106093]
[12^th Oct 2026 – 1^st Feb 2027 | Mon, 10.00 a. m. – 4.00 p. m. | weekly | SRZ 116]
[12^th Oct 2026 – 1^st Feb 2027 | Mon, 4.00 p. m. – 6.00 p. m. | weekly | SRZ 116]
[13^th Oct 2026 – 2^nd Feb 2027 | Tue, 4.00 p. m. – 6.00 p. m. | weekly | SRZ 116]
[13^th Oct 2026 – 2^nd Feb 2027 | Tue, 10.00 a. m. – 4.00 p. m. | weekly | SRZ 116]
[14^th Oct 2026 – 3^rd Feb 2027 | Wed, 4.00 p. m. – 6.00 p. m. | weekly | SRZ 116]
[14^th Oct 2026 – 3^rd Feb 2027 | Wed, 10.00 a. m. – 4.00 p. m. | weekly | SRZ 116]
[15^th Oct 2026 – 4^th Feb 2027 | Thu, 4.00 p. m. – 6.00 p. m. | weekly | SRZ 116]
[15^th Oct 2026 – 4^th Feb 2027 | Thu, 10.00 a. m. – 4.00 p. m. | weekly | SRZ 116]
[16^th Oct 2026 – 5^th Feb 2027 | Fri, 2.00 p. m. – 6.00 p. m. | weekly | SRZ 116]
[16^th Oct 2026 – 5^th Feb 2027 | Fri, 10.00 a. m. – 2.00 p. m. | weekly | SRZ 116]
[Wed, 21^st Oct 2026, 6.00 p. m. – 8.00 p. m. | Single Course | SRZ 116]
[Tue, 27^th Oct 2026, 6.30 p. m. – 8.00 p. m. | Single Course | SRZ 116]
[Mon, 8^th Feb 2027, 10.00 a. m. – 6.00 p. m. | Single Course | SRZ 116]
[Tue, 9^th Feb 2027, 10.00 a. m. – 6.00 p. m. | Single Course | SRZ 116]
[Wed, 10^th Feb 2027, 10.00 a. m. – 6.00 p. m. | Single Course | SRZ 116]
[Thu, 11^th Feb 2027, 10.00 a. m. – 6.00 p. m. | Single Course | SRZ 116]
[Fri, 12^th Feb 2027, 10.00 a. m. – 6.00 p. m. | Single Course | SRZ 116]
Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen"> [106057]
(in cooperation with Jonas Becker-Kupczok and Paula Herber)
[14^th Oct 2026 – 27^th Jan 2027 | Wed, 4.00 p. m. – 6.00 p. m. | weekly]
Summer Term 2026
V/Ü: Eingebettete Systeme> [104062]
(in cooperation with Paula Herber)
Seminar: LearningCenter Informatik> [104094]
(in cooperation with Jacqueline Strob)
Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen"> [104061]
(in cooperation with Paula Herber, Julius Adelt and Jonas Becker-Kupczok)
Winter Term 2025/26
V/Ü: Modellierung mit Automaten und Wahrscheinlichkeiten (MAUS)> [102090]
(in cooperation with Anne Remke and Jonas Stübbe)
Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen"> [102057]
(in cooperation with Paula Herber, Julius Adelt and Jonas Becker-Kupczok)
Summer Term 2025
V/Ü: Einführung in das Quantitative Model Checking> [100089]
(in cooperation with Anne Remke)
Project seminar: Projektseminar: Entwurf und Analyse sicherheitskritischer eingebetteter Systeme> [100062]
(in cooperation with Paula Herber, Anne Remke and Julius Adelt)
Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen"> [100064]
(in cooperation with Paula Herber, Julius Adelt and Jonas Becker-Kupczok)
Winter Term 2024/25
Lecture: Modellierung und Analyse von Dynamischen Systemen> [108086]
(in cooperation with Joanna Delicaris, Anne Remke and Jonas Stübbe)
Seminar: Seminar Safe & Secure Embedded Systems> [108063]
(in cooperation with Paula Herber, Julius Adelt and Jonas Becker-Kupczok)
Project seminar: Projektseminar: Design of a Safe Walking Hexapod Robot> [108062]
(in cooperation with Malte Schilling, Paula Herber and Julius Adelt)
Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen"> [108061]
(in cooperation with Paula Herber, Julius Adelt and Jonas Becker-Kupczok)
Practice: Übungen zur Vorlesung: Modellierung und Analyse von Dynamischen Systemen> [108087]
(in cooperation with Joanna Delicaris, Anne Remke and Jonas Stübbe)
Summer Term 2024
Lecture: Diskrete Strukturen> [106127]
(in cooperation with Anne Remke and Jonas Stübbe)
Project seminar: Projektseminar: Entwurf sicherer eingebetteter Systeme> [106042]
(in cooperation with Paula Herber and Julius Adelt)
Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen"> [106038]
(in cooperation with Paula Herber, Julius Adelt and Jonas Becker-Kupczok)
Practice: Übungen zur Vorlesung "Diskrete Strukturen"> [106128]
(in cooperation with Anne Remke and Jonas Stübbe)
Practice: Übungen zur Vorlesung "Qualitätsorientierter Entwurf eingebetteter Systeme"> [106037]
(in cooperation with Paula Herber and Julius Adelt)
Winter Term 2023/24
V/Ü: Eingebettete Systeme> [104770]
(in cooperation with Paula Herber and Jonas Becker-Kupczok)
Seminar: Seminar Safe & Secure Embedded Systems> [104761]
(in cooperation with Paula Herber, Julius Adelt and Jonas Becker-Kupczok)
Project seminar: Projektseminar: Design of a Safe Walking Hexapod Robot> [104757]
(in cooperation with Malte Schilling, Paula Herber and Julius Adelt)
Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen"> [104758]
(in cooperation with Paula Herber, Julius Adelt and Jonas Becker-Kupczok)
Summer Term 2023
Project seminar: Projektseminar: Speicheroptimierung im Wassernetz> [102068]
(in cooperation with Anne Remke)
Advanced seminar: Oberseminar "Sicherheitskritische Systeme - Aktuelle Forschungsthemen"> [102061]
(in cooperation with Jonas Stübbe, Mathis Niehage, Joanna Delicaris and Anne Remke)
Advanced seminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen"> [102029]
(in cooperation with Paula Herber, Julius Adelt and Jonas Becker-Kupczok)
Practice: Übungen zur Vorlesung "Diskrete Strukturen"> [102060]
(in cooperation with Jacqueline Strob, Anne Remke and Jonas Stübbe)
Winter Term 2022/23
V/Ü: Quantitatives Model Checking> [100092]
(in cooperation with Mathis Niehage and Anne Remke)
Seminar: Seminar Safe & Secure Embedded Systems> [100063]
(in cooperation with Paula Herber, Julius Adelt and Jonas Becker-Kupczok)

Research Interests

Research Articles in Edited Proceedings (Conferences)

2027

2025

2024

2023

Teaching

Winter Term 2026/27

Summer Term 2026

Winter Term 2025/26

Summer Term 2025

Winter Term 2024/25

Summer Term 2024

Winter Term 2023/24

Summer Term 2023

Winter Term 2022/23