Jonas Stübbe
Researcher (PhD Student)
jonas.stuebbe@uni-muenster.de
Researcher (PhD Student)
Room 201a
Einsteinstr. 62
48149 Muenster
T: +49 251 83-32773Einsteinstr. 62
48149 Muenster
jonas.stuebbe@uni-muenster.de
Research Article in Edited Proceeding (Conference)
- Delicaris, Joanna, Stübbe, Jonas, Schupp, Stefan, and Remke, Anne. . “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. Cham: Springer. doi: 10.1007/978-3-031-48885-6_11.
Teaching
- Lecture: Modellierung und Analyse von Dynamischen Systemen [106086]
(in cooperation with Anne Remke)- [ – | Tue, – | | M B 5 (M 5)]
- [ – | Fri, – | | M B 5 (M 5)]
- Seminar: Quantitative Analyse von sicherheits-kritischen Systemen [106088]
(in cooperation with Pauline Blohm and Anne Remke)- [Mon – Fri | ad hoc]
- Practice: Übungen zur Vorlesung: Modellierung und Analyse von Dynamischen Systemen [106087]
(in cooperation with Anne Remke)- [ – | Thu, – | | SRZ 202]
- Lecture: Diskrete Strukturen [104084]
(in cooperation with Anne Remke) - Practice: Übungen zur Vorlesung "Diskrete Strukturen" [104085]
(in cooperation with Anne Remke)
- V/Ü: Modellierung mit Automaten und Wahrscheinlichkeiten (MAUS) [102090]
(in cooperation with Pauline Blohm and Anne Remke)
- Lecture: Diskrete Strukturen [100087]
(in cooperation with Anne Remke) - Practice: Übungen zur Vorlesung "Diskrete Strukturen" [100088]
(in cooperation with Anne Remke)
- Lecture: Modellierung und Analyse von Dynamischen Systemen [108086]
(in cooperation with Pauline Blohm, Joanna Delicaris and Anne Remke) - Practice: Übungen zur Vorlesung: Modellierung und Analyse von Dynamischen Systemen [108087]
(in cooperation with Pauline Blohm, Joanna Delicaris and Anne Remke)
- Lecture: Diskrete Strukturen [106127]
(in cooperation with Pauline Blohm and Anne Remke) - Practice: Übungen zur Vorlesung "Diskrete Strukturen" [106128]
(in cooperation with Pauline Blohm and Anne Remke)
- Lecture: Diskrete Strukturen [102059]
(in cooperation with Anne Remke) - Advanced seminar: Oberseminar "Sicherheitskritische Systeme - Aktuelle Forschungsthemen" [102061]
(in cooperation with Mathis Niehage, Pauline Blohm, Joanna Delicaris and Anne Remke) - Practice: Übungen zur Vorlesung "Diskrete Strukturen" [102060]
(in cooperation with Pauline Blohm, Jacqueline Strob and Anne Remke)
- V/Ü: Computernetze und ihre Leistung [100091]
(in cooperation with Carina da Silva and Anne Remke)
- Lecture: Modellierung und Analyse von Dynamischen Systemen [106086]