Universität Münster
Sicherheitskritische Systeme
Institut für Informatik
  • zum Inhalt
  • zur Hauptnavigation
  • zur Subnavigation
  • de
  • en
  • Research
  • Teaching
  • People
  • Home
    • People
  • Prof. Dr. Anne Remke
  • Katharina Sichma
  • Pauline Blohm
  • Joanna Delicaris
  • Verena Menzel
  • Mathis Niehage
  • Jonas Stübbe
  • Lisa Willemsen
  • Alumni
Pauline Blohm
Researcher (PhD Student)
Co-supervised with Prof. Dr. Paula Herber
Room 218
Einsteinstr. 62
48149
T: +49 251 83-33807
pauline.blohm@wwu.de

  • Research Articles in Edited Proceedings (Conferences)

    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.
    • 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.

    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.

    2023

    • 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. Hamburg: Wiley-IEEE Computer Society Press pp. 12–22. doi: 10.1145/3610579.3611078.

  • 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]
      • [12th Oct 2026 – 1st Feb 2027 | Mon, 4.00 p. m. – 6.00 p. m. | weekly | SRZ 116]
      • [12th Oct 2026 – 1st Feb 2027 | Mon, 10.00 a. m. – 4.00 p. m. | weekly | SRZ 116]
      • [13th Oct 2026 – 2nd Feb 2027 | Tue, 4.00 p. m. – 6.00 p. m. | weekly | SRZ 116]
      • [13th Oct 2026 – 2nd Feb 2027 | Tue, 10.00 a. m. – 4.00 p. m. | weekly | SRZ 116]
      • [14th Oct 2026 – 3rd Feb 2027 | Wed, 10.00 a. m. – 4.00 p. m. | weekly | SRZ 116]
      • [14th Oct 2026 – 3rd Feb 2027 | Wed, 4.00 p. m. – 6.00 p. m. | weekly | SRZ 116]
      • [15th Oct 2026 – 4th Feb 2027 | Thu, 4.00 p. m. – 6.00 p. m. | weekly | SRZ 116]
      • [15th Oct 2026 – 4th Feb 2027 | Thu, 10.00 a. m. – 4.00 p. m. | weekly | SRZ 116]
      • [16th Oct 2026 – 5th Feb 2027 | Fri, 10.00 a. m. – 2.00 p. m. | weekly | SRZ 116]
      • [16th Oct 2026 – 5th Feb 2027 | Fri, 2.00 p. m. – 6.00 p. m. | weekly | SRZ 116]
      • [Mon, 8th Feb 2027, 10.00 a. m. – 6.00 p. m. | Single Course | SRZ 116]
      • [Tue, 9th Feb 2027, 10.00 a. m. – 6.00 p. m. | Single Course | SRZ 116]
      • [Wed, 10th Feb 2027, 10.00 a. m. – 6.00 p. m. | Single Course | SRZ 116]
      • [Thu, 11th Feb 2027, 10.00 a. m. – 6.00 p. m. | Single Course | SRZ 116]
      • [Fri, 12th 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)
      • [14th Oct 2026 – 27th 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)
Top of page

Contact

University of Münster
AG Sicherheitskritische Systeme

Einsteinstraße 62
48149 Münster

Tel: 0251 - 83 32726
anne.remke@uni-muenster.de
 
living.knowledge
  • Privacy Statement
  • Accessibility

© 2026