Researcher (PhD Student)
Consultation hours: by Arrangement.
- Analysis and simulation of hybrid systems
- Extensions of Hybrid Petri nets with general transitions
C. Pilch, M. Niehage and A. Remke, "HPnGs go non-linear: statistical dependability evaluation of battery-powered systems", 2018 26th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), Milwaukee, WI, USA. IEEE, 2018, pp. 157-169.
Winter Term 2019/20
V/Ü: Lambda Calculus and Functional Programming Languages 
(in cooperation with Dr. Dietmar Lammers)
Summer Term 2018
V/Ü: Methods and Applications for Randomised Systems 
(as student job in cooperation with Prof. Dr. Anne Remke)