Jonas Stübbe
Wissenschaftlicher Mitarbeiter (Doktorand)
jonas.stuebbe@uni-muenster.de
Wissenschaftlicher Mitarbeiter (Doktorand)
Raum 201a
Einsteinstr. 62
48149 Münster
T: +49 251 83-32773Einsteinstr. 62
48149 Münster
jonas.stuebbe@uni-muenster.de
Forschungsartikel in einem Sammelband (Konferenz)
- . . ‘RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems.’ In Performance Evaluation Methodologies and Tools, edited by , 170–182. Heidelberg: Springer. doi: 10.1007/978-3-031-48885-6_11.
Lehre
- Vorlesung: Modellierung und Analyse von Dynamischen Systemen [108086]
(zusammen mit Joanna Delicaris, Prof. Dr. Anne Remke, Pauline Blohm)
[ - | | wöchentlich | Fr | M B 5 (M 5) | Joanna Delicaris]
[ - | | wöchentlich | Di | M B 5 (M 5) | Joanna Delicaris] - Übungen zur Vorlesung: Modellierung und Analyse von Dynamischen Systemen [108087]
(zusammen mit Joanna Delicaris, Prof. Dr. Anne Remke, Pauline Blohm)
[ - | | wöchentlich | Do | SRZ 202 | Joanna Delicaris]
[ | wöchentlich | Do | M A 503 (SR 5) | Joanna Delicaris]
- Vorlesung: Diskrete Strukturen [106127]
(zusammen mit Prof. Dr. Anne Remke, Pauline Blohm) - Übungen zur Vorlesung "Diskrete Strukturen" [106128]
(zusammen mit Prof. Dr. Anne Remke, Pauline Blohm)
- Vorlesung: Diskrete Strukturen [102059]
(zusammen mit Prof. Dr. Anne Remke) - Oberseminar: Oberseminar "Sicherheitskritische Systeme - Aktuelle Forschungsthemen" [102061]
(zusammen mit Mathis Niehage, Joanna Delicaris, Prof. Dr. Anne Remke, Pauline Blohm) - Übungen zur Vorlesung "Diskrete Strukturen" [102060]
(zusammen mit Jacqueline Strob, Prof. Dr. Anne Remke, Pauline Blohm)
- Computernetze und ihre Leistung [100091]
(zusammen mit Dr. Carina da Silva, Prof. Dr. Anne Remke)
- Vorlesung: Modellierung und Analyse von Dynamischen Systemen [108086]