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
Jonas Stübbe
Researcher (PhD Student)
Room 201a
Einsteinstr. 62
48149 Muenster
T: +49 251 83-32773
jonas.stuebbe@uni-muenster.de
  • Research Article in Edited Proceeding (Conference)

    • Delicaris, Joanna, Stübbe, Jonas, Schupp, Stefan, and Remke, Anne. 2024. “RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems.” in Performance Evaluation Methodologies and Tools, Vol. 539 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, edited by Evangelia Kalyvianaki and Marco Paolieri. Heidelberg: Springer. doi: 10.1007/978-3-031-48885-6_11.
  • Teaching

    Summer Term 2025

    • Vorlesung: Discrete Structures [100087]
      (in cooperation with Prof. Dr. Anne Remke)
      [08.04.2025 - 08.07.2025 | 10:00 - 12:00 | wöchentlich | Di | M B 2 (M 2) | Prof. Dr. Anne Remke]
    • Tutorial Discrete Structures [100088]
      (in cooperation with Prof. Dr. Anne Remke)
      [11.04.2025 - 11.07.2025 | 12:00 - 14:00 | wöchentlich | Fr. | SRZ 202 | Prof. Dr. Anne Remke]
      [17.04.2025 - 10.07.2025 | 12:00 - 14:00 | wöchentlich | Do | M A 114 (SR 1D) | Prof. Dr. Anne Remke]
      [17.04.2025 - 10.07.2025 | 10:00 - 12:00 | wöchentlich | Do | SRZ 205 | Prof. Dr. Anne Remke]
      [Do, 17.04.2025 , 12:00 - 14:00 | M A 503 (SR 5) | Prof. Dr. Anne Remke]
      [Do, 17.04.2025 , 14:00 - 16:00 | SRZ 202 | Prof. Dr. Anne Remke]
      [18.04.2025 - 11.07.2025 | M A 111 (SR 1C) | Prof. Dr. Anne Remke]
      [23.04.2025 - 09.07.2025 | M A 503 (SR 5) | Prof. Dr. Anne Remke]
      [Mi, 07.05.2025 , 16:00 - 18:00 | SRZ 5 | Prof. Dr. Anne Remke]
      [Di, 20.05.2025 , 10:00 - 12:00 | M A 503 (SR 5) | Prof. Dr. Anne Remke]
      [Mi, 04.06.2025 , 16:00 - 18:00 | SRZ 5 | Prof. Dr. Anne Remke]
      [Mi, 25.06.2025 , 16:00 - 18:00 | SRZ 5 | Prof. Dr. Anne Remke]
      [Mo, 14.07.2025 , 16:00 - 18:00 | Prof. Dr. Anne Remke]

    Winter Term 2024/25

    • Vorlesung: Modeling and analysis of dynamical systems [108086]
      (in cooperation with Joanna Delicaris, Prof. Dr. Anne Remke, Pauline Blohm)
    • Tutorial "Modeling and analysis of dynamic systems" [108087]
      (in cooperation with Joanna Delicaris, Prof. Dr. Anne Remke, Pauline Blohm)

    Summer Term 2024

    • Vorlesung: Discrete Structures [106127]
      (in cooperation with Prof. Dr. Anne Remke, Pauline Blohm)
    • Tutorial Discrete Structures [106128]
      (in cooperation with Prof. Dr. Anne Remke, Pauline Blohm)

    Summer Term 2023

    • Vorlesung: Discrete Structures [102059]
      (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, Pauline Blohm)
    • Tutorial Discrete Structures [102060]
      (in cooperation with Jacqueline Strob, Prof. Dr. Anne Remke, Pauline Blohm)

    Winter Term 2022/23

    • Computer Networks and their Performance [100091]
      (in cooperation with Dr. Carina da Silva, Prof. Dr. Anne Remke)
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

© 2025