Daniel Kleebinder
Univ.Ass. Ing. Dipl.-Ing. / BSc
Role
-
PreDoc Researcher
Distributed Systems, E194-02
Courses
2026S
- Distributed Systems Engineering / 184.153 / VU
- Distributed Systems Technologies / 184.260 / VU
- Project in Computer Science 1 / 194.145 / PR
- Project in Computer Science 2 / 194.146 / PR
- Seminar in Computer Science (Distributed Systems) / 184.194 / SE
Publications
-
Time-travelling state machines for verifiable BPM
/
Kleebinder, D. (2022). Time-travelling state machines for verifiable BPM [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.99122
Download: PDF (2.51 MB)