TU Wien Informatics

Role

2021W

 

  • The Probabilistic Termination Tool Amber / M. Moosbrugger, E. Bartocci, J. Katoen, L. Kovacs / accepted as talk for: FM 2021: the 24th international symposium of Formal Methods, China; 2021-11-20 - 2021-11-25; in: "Proc. of FM 2021: the 24th international symposium of Formal Methods", (2021)
  • 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