Forschungsinteressen
- Sicherheitsanalyse für kritische Infrastrukturen
- Hybrid Petri nets (mit Zufallsvariablen) und ihre Erweiterungen
- Zusammenhänge zwischen Hybrid Petri nets und Hybrid Automata
- Entwicklung von Tools zur Analyse von Hybrid Petri nets
hpnmg (C++)
Publikation
- . . ‘State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.’ Contributed to the Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Glasgow. doi: 10.1007/978-3-030-30281-8\_11.
Lehre
- Übung: Übungen zur Vorlesung "Diskrete Strukturen" [104034]
(zusammen mit Carina Pilch, Prof. Dr. Anne Remke)
[ - | | wöchentlich | Do. | Carina Pilch]
[ - | | wöchentlich | Do. | Carina Pilch]
[ - | | wöchentlich | Fr. | Carina Pilch] - Vorlesung: Diskrete Strukturen [104033]
(zusammen mit Carina Pilch, Prof. Dr. Anne Remke)
[ - | | wöchentlich | Di. | Carina Pilch]
- Projektseminar: Effizientes Model Checking von stochastischen hybriden Systemen in mehreren Dimensionen [102032]
(zusammen mit Dr. Stefan Alexander Schupp, Prof. Dr. Anne Remke)
[ - | | Blockveranstaltung + Sa und So | SRZ 114a | Prof. Dr. Anne Remke]
[ - | | Blockveranstaltung + Sa und So | SRZ 114 | Prof. Dr. Anne Remke]
[ - | | wöchentlich | Prof. Dr. Anne Remke] - V/Ü: Computernetze und ihre Leistung [102033]
(zusammen mit Prof. Dr. Anne Remke)
[06.10.2020 | | wöchentlich | Di. | M B 5 (M 5) | Prof. Dr. Anne Remke]
[09.10.2020 | | wöchentlich | Fr. | M B 5 (M 5) | Prof. Dr. Anne Remke]
- Übung: Übungen zur Vorlesung "Diskrete Strukturen" [100032]
(zusammen mit Carina Pilch, Prof. Dr. Anne Remke) - Seminar: Varianten von Hybriden Automaten [100041]
(zusammen mit Mathis Friedrich Niehage, Carina Pilch, Prof. Dr. Anne Remke) - Vorlesung: Diskrete Strukturen [100031]
(zusammen mit Carina Pilch, Prof. Dr. Anne Remke)
- Übung: Übungen zur Vorlesung "Diskrete Strukturen" [104034]