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. Heidelberg: Springer. doi: 10.1007/978-3-031-48885-6_11.
Lehre
- Vorlesung: Diskrete Strukturen [100087]
(zusammen mit Prof. Dr. Anne Remke)
[ - | | wöchentlich | Di | M B 2 (M 2) | Prof. Dr. Anne Remke] - Übungen zur Vorlesung "Diskrete Strukturen" [100088]
(zusammen mit Prof. Dr. Anne Remke)[ - | | wöchentlich | Fr | SRZ 202 | Prof. Dr. Anne Remke]
[ - | | wöchentlich | Do | M A 114 (SR 1D) | Prof. Dr. Anne Remke]
[ - | | wöchentlich | Do | SRZ 205 | Prof. Dr. Anne Remke]
[ - | M A 503 (SR 5) | Prof. Dr. Anne Remke]
[ - | SRZ 202 | Prof. Dr. Anne Remke]
[ - | M A 111 (SR 1C) | Prof. Dr. Anne Remke]
[ - | M A 503 (SR 5) | Prof. Dr. Anne Remke]
[ - | SRZ 5 | Prof. Dr. Anne Remke]
[ - | M A 503 (SR 5) | Prof. Dr. Anne Remke]
[ - | SRZ 5 | Prof. Dr. Anne Remke]
[ - | SRZ 5 | Prof. Dr. Anne Remke]
[ - | Prof. Dr. Anne Remke]
- Vorlesung: Modellierung und Analyse von Dynamischen Systemen [108086]
(zusammen mit Joanna Delicaris, Prof. Dr. Anne Remke, Pauline Blohm) - Übungen zur Vorlesung: Modellierung und Analyse von Dynamischen Systemen [108087]
(zusammen mit Joanna Delicaris, Prof. Dr. Anne Remke, Pauline Blohm)
- 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: Diskrete Strukturen [100087]