Universität Münster
Sicherheitskritische Systeme
Institut für Informatik
  • zum Inhalt
  • zur Hauptnavigation
  • zur Subnavigation
  • de
  • en
  • Forschung
  • Lehre
  • Personen
  • Home
    • Personen
  • Prof. Dr. Anne Remke
  • Katharina Sichma
  • Pauline Blohm
  • Joanna Delicaris
  • Verena Menzel
  • Mathis Niehage
  • Jonas Stübbe
  • Lisa Willemsen
  • Alumni
Pauline Blohm
Wissenschaftliche Mitarbeiterin (Doktorandin)
Co-betreut mit Prof. Dr. Paula Herber
Raum 218
Einsteinstr. 62
48149 Münster
T: +49 251 83-33807
pauline.blohm@wwu.de

  • Forschungsartikel in Sammelbänden (Konferenzen)

    2025

    • Blohm P, Schulz F, Willemsen L, Remke A, Herber P. Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata In: Prabhakar P, Vandin A, Hrsg. International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems Konferenzband der Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems. QEST+FORMATS, 2025, Aarhus. Switzerland: Springer Nature S. 389–408. (Lecture Notes in Computer Science; Bd. 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, Hrsg. Leveraging Applications of Formal Methods, Verification and Validation Konferenzband der Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification. ISoLA 2024, Crete. Crete: Springer S. 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, Hrsg. Integrated Formal Methods. iFM 2024 Konferenzband der Integrated Formal Methods. iFM 2024, Manchester. Switzerland: Springer Nature S. 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, Hrsg. Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024 Konferenzband der Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London. London: Springer S. 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 , Hrsg. Proceedings of the 13th Congress of the European Society for Research in Mathematics Education (CERME13) Konferenzband der 13th Congress of the European Society for Research in Mathematics Education (CERME13), Budapest. Budapest: Alfréd Rényi Institute of Mathematics and ERME S. 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, Hrsg. 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023 Konferenzband der 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg. Hamburg: Wiley-IEEE Computer Society Press S. 12–22. doi: 10.1145/3610579.3611078.

  • Lehre

    • SS 2026
    • WS 2025/26
    • SS 2025
    • WS 2024/25
    • SS 2024
    • WS 2023/24
    • SS 2023
    • WS 2022/23
     

    Sommersemester 2026

    • V/Ü: Eingebettete Systeme [104062]
      (zusammen mit Prof. Dr. Paula Herber)
      • [14.04. – 14.07.2026 | Di., 08:00 – 10:00 Uhr | wöchentlich | M B 2 (M 2)]
      • [20.04. – 13.07.2026 | Mo., 16:00 – 18:00 Uhr | wöchentlich]
    • Seminar: LearningCenter Informatik [104094]
      • [13.04. – 20.07.2026 | Mo., 10:00 – 16:00 Uhr | wöchentlich | SRZ 116]
      • [14.04. – 21.07.2026 | Di., 10:00 – 16:00 Uhr | wöchentlich | SRZ 116]
      • [15.04. – 22.07.2026 | Mi., 10:00 – 16:00 Uhr | wöchentlich | SRZ 116]
      • [16.04. – 23.07.2026 | Do., 10:00 – 16:00 Uhr | wöchentlich | SRZ 116]
      • [17.04. – 24.07.2026 | Fr., 10:00 – 14:00 Uhr | wöchentlich | SRZ 116]
    • Oberseminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [104061]
      (zusammen mit Prof. Dr. Paula Herber, Jonas Becker-Kupczok und Julius Adelt)
      • [14.04. – 14.07.2026 | Di., 10:00 – 12:00 Uhr | wöchentlich]

    Wintersemester 2025/26

    • V/Ü: Modellierung mit Automaten und Wahrscheinlichkeiten (MAUS) [102090]
      (zusammen mit Prof. Dr. Anne Remke und Jonas Stübbe)
      • [20.10.2025 – 26.01.2026 | Mo., 14:00 – 16:00 Uhr | wöchentlich | M B 5 (M 5)]
      • [23.10.2025 – 29.01.2026 | Do., 14:00 – 16:00 Uhr | wöchentlich | M B 5 (M 5)]
    • Oberseminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [102057]
      (zusammen mit Prof. Dr. Paula Herber, Jonas Becker-Kupczok und Julius Adelt)
      • [15.10.2025 – 28.01.2026 | Mi., 16:00 – 18:00 Uhr | wöchentlich | SRZ 202]

    Sommersemester 2025

    • V/Ü: Einführung in das Quantitative Model Checking [100089]
      (zusammen mit Prof. Dr. Anne Remke)
    • Projektseminar: Projektseminar: Entwurf und Analyse sicherheitskritischer eingebetteter Systeme [100062]
      (zusammen mit Prof. Dr. Paula Herber, Prof. Dr. Anne Remke und Julius Adelt)
    • Oberseminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [100064]
      (zusammen mit Prof. Dr. Paula Herber, Jonas Becker-Kupczok und Julius Adelt)

    Wintersemester 2024/25

    • Vorlesung: Modellierung und Analyse von Dynamischen Systemen [108086]
      (zusammen mit Joanna Delicaris, Prof. Dr. Anne Remke und Jonas Stübbe)
    • Seminar: Seminar Safe & Secure Embedded Systems [108063]
      (zusammen mit Prof. Dr. Paula Herber, Jonas Becker-Kupczok und Julius Adelt)
    • Projektseminar: Projektseminar: Design of a Safe Walking Hexapod Robot [108062]
      (zusammen mit Prof. Dr. Paula Herber, Prof. Dr. Malte Schilling und Julius Adelt)
    • Oberseminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [108061]
      (zusammen mit Prof. Dr. Paula Herber, Jonas Becker-Kupczok und Julius Adelt)
    • Übung: Übungen zur Vorlesung: Modellierung und Analyse von Dynamischen Systemen [108087]
      (zusammen mit Joanna Delicaris, Prof. Dr. Anne Remke und Jonas Stübbe)

    Sommersemester 2024

    • Vorlesung: Diskrete Strukturen [106127]
      (zusammen mit Prof. Dr. Anne Remke und Jonas Stübbe)
    • Projektseminar: Projektseminar: Entwurf sicherer eingebetteter Systeme [106042]
      (zusammen mit Prof. Dr. Paula Herber und Julius Adelt)
    • Oberseminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [106038]
      (zusammen mit Prof. Dr. Paula Herber, Jonas Becker-Kupczok und Julius Adelt)
    • Übung: Übungen zur Vorlesung "Qualitätsorientierter Entwurf eingebetteter Systeme" [106037]
      (zusammen mit Prof. Dr. Paula Herber und Julius Adelt)
    • Übung: Übungen zur Vorlesung "Diskrete Strukturen" [106128]
      (zusammen mit Prof. Dr. Anne Remke und Jonas Stübbe)

    Wintersemester 2023/24

    • V/Ü: Eingebettete Systeme [104770]
      (zusammen mit Prof. Dr. Paula Herber und Jonas Becker-Kupczok)
    • Seminar: Seminar Safe & Secure Embedded Systems [104761]
      (zusammen mit Prof. Dr. Paula Herber, Jonas Becker-Kupczok und Julius Adelt)
    • Projektseminar: Projektseminar: Design of a Safe Walking Hexapod Robot [104757]
      (zusammen mit Prof. Dr. Paula Herber, Prof. Dr. Malte Schilling und Julius Adelt)
    • Oberseminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [104758]
      (zusammen mit Prof. Dr. Paula Herber, Jonas Becker-Kupczok und Julius Adelt)

    Sommersemester 2023

    • Projektseminar: Projektseminar: Speicheroptimierung im Wassernetz [102068]
      (zusammen mit Prof. Dr. Anne Remke)
    • Oberseminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [102029]
      (zusammen mit Prof. Dr. Paula Herber, Jonas Becker-Kupczok und Julius Adelt)
    • Oberseminar: Oberseminar "Sicherheitskritische Systeme - Aktuelle Forschungsthemen" [102061]
      (zusammen mit Mathis Niehage, Joanna Delicaris, Prof. Dr. Anne Remke und Jonas Stübbe)
    • Übung: Übungen zur Vorlesung "Diskrete Strukturen" [102060]
      (zusammen mit Jacqueline Strob, Prof. Dr. Anne Remke und Jonas Stübbe)

    Wintersemester 2022/23

    • V/Ü: Quantitatives Model Checking [100092]
      (zusammen mit Mathis Niehage und Prof. Dr. Anne Remke)
    • Seminar: Seminar Safe & Secure Embedded Systems [100063]
      (zusammen mit Prof. Dr. Paula Herber, Jonas Becker-Kupczok und Julius Adelt)
nach oben

Kontakt

Universität Münster
AG Sicherheitskritische Systeme

Einsteinstraße 62
48149 Münster

Tel: 0251 - 83 32726
anne.remke@uni-muenster.de
 
wissen.leben
  • Index
  • Impressum
  • Datenschutzhinweis
  • Barrierefreiheit

© 2026 AG Remke, WWU Münster