Marcel Moosbrugger
Univ.Ass. Dipl.-Ing. / BSc BA (Hons)
Role
-
PreDoc Researcher
Formal Methods in Systems Engineering, E192-04
Courses
Publications
- Automated Termination Analysis of Polynomial Probabilistic Programs / M. Moosbrugger, E. Bartocci, J. Katoen, L. Kovacs / Talk: 30th European Symposium on Programming (ESOP 2021), Luxembourg (online); 2021-03-27 - 2021-04-01; in: "Proc. of ESOP 2021: the 30th European Symposium on Programming", Springer, 12648 (2021), 491 - 518
- Automating Termination Analysis of Probabilistic Programs / Master Thesis by M. Moosbrugger / Supervisor: L. Kovacs; Institut for Logic and Computation, E192.04, 2020; final examination: 2020-06-23