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)
- Delicaris, Joanna, Stübbe, Jonas, Schupp, Stefan, und Remke, Anne. . „RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems.“ In Performance Evaluation Methodologies and Tools, Bd. 539 aus Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, herausgegeben von Evangelia Kalyvianaki und Marco Paolieri. Cham: Springer. doi: 10.1007/978-3-031-48885-6_11.
Lehre
- Vorlesung: Modellierung und Analyse von Dynamischen Systemen [106086]
(zusammen mit Anne Remke)- [ – | Di., – | | M B 5 (M 5)]
- [ – | Fr., – | | M B 5 (M 5)]
- Seminar: Quantitative Analyse von sicherheits-kritischen Systemen [106088]
(zusammen mit Pauline Blohm und Anne Remke)- [Mo. – Fr. | n. V.]
- Übung: Übungen zur Vorlesung: Modellierung und Analyse von Dynamischen Systemen [106087]
(zusammen mit Anne Remke)- [ – | Do., – | | SRZ 202]
- Vorlesung: Diskrete Strukturen [104084]
(zusammen mit Anne Remke) - Übung: Übungen zur Vorlesung "Diskrete Strukturen" [104085]
(zusammen mit Anne Remke)
- V/Ü: Modellierung mit Automaten und Wahrscheinlichkeiten (MAUS) [102090]
(zusammen mit Pauline Blohm und Anne Remke)
- Vorlesung: Diskrete Strukturen [100087]
(zusammen mit Anne Remke) - Übung: Übungen zur Vorlesung "Diskrete Strukturen" [100088]
(zusammen mit Anne Remke)
- Vorlesung: Modellierung und Analyse von Dynamischen Systemen [108086]
(zusammen mit Pauline Blohm, Joanna Delicaris und Anne Remke) - Übung: Übungen zur Vorlesung: Modellierung und Analyse von Dynamischen Systemen [108087]
(zusammen mit Pauline Blohm, Joanna Delicaris und Anne Remke)
- Vorlesung: Diskrete Strukturen [106127]
(zusammen mit Pauline Blohm und Anne Remke) - Übung: Übungen zur Vorlesung "Diskrete Strukturen" [106128]
(zusammen mit Pauline Blohm und Anne Remke)
- Vorlesung: Diskrete Strukturen [102059]
(zusammen mit Anne Remke) - Oberseminar: Oberseminar "Sicherheitskritische Systeme - Aktuelle Forschungsthemen" [102061]
(zusammen mit Mathis Niehage, Pauline Blohm, Joanna Delicaris und Anne Remke) - Übung: Übungen zur Vorlesung "Diskrete Strukturen" [102060]
(zusammen mit Pauline Blohm, Jacqueline Strob und Anne Remke)
- V/Ü: Computernetze und ihre Leistung [100091]
(zusammen mit Carina da Silva und Anne Remke)
- Vorlesung: Modellierung und Analyse von Dynamischen Systemen [106086]