Universität Münster
Sicherheitskritische Systeme
Institut für Informatik
  • zum Inhalt
  • zur Hauptnavigation
  • zur Subnavigation
  • Forschung
  • Lehre
  • Personen
  • de
  • en
  • 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, 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. Heidelberg: 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. Berlin: 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. Heidelberg: 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. New York City: Wiley-IEEE Computer Society Press S. 12–22. doi: 10.1145/3610579.3611078.

  • Lehre

    Sommersemester 2025

    • Projektseminar: Projektseminar: Entwurf und Analyse sicherheitskritischer eingebetteter Systeme [100062]
      (zusammen mit Prof. Dr. Paula Herber, Prof. Dr. Anne Remke, Julius Adelt)
      [08.04.2025 - 08.07.2025 | 12:00 - 14:00 | wöchentlich | Di | SRZ 202 | Prof. Dr. Anne Remke]
    • Oberseminar: Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen" [100064]
      (zusammen mit Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Julius Adelt)
      [08.04.2025 - 08.07.2025 | 10:00 - 12:00 | wöchentlich | Di | SRZ 202 | Julius Adelt]
    • Einführung in das Quantitative Model Checking [100089]
      (zusammen mit Prof. Dr. Anne Remke)
      [08.04.2025 - 08.07.2025 | 14:00 - 16:00 | wöchentlich | Di | SRZ 202 | Prof. Dr. Anne Remke]
      [10.04.2025 - 10.07.2025 | 14:00 - 16:00 | wöchentlich | Do | M B 6 (M 6) | Prof. Dr. Anne Remke]

    Wintersemester 2024/25

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

    Sommersemester 2024

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

    Wintersemester 2023/24

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

    Sommersemester 2023

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

    Wintersemester 2022/23

    • Seminar: Seminar Safe & Secure Embedded Systems [100063]
      (zusammen mit Prof. Dr. Paula Herber, Jonas Becker-Kupczok, Julius Adelt)
    • Quantitatives Model Checking [100092]
      (zusammen mit Mathis Niehage, Prof. Dr. Anne Remke)
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

© 2025 AG Remke, WWU Münster