Clemens Eisenhofer
Projektass. Dipl.-Ing. / BSc
Role
-
PreDoc Researcher
Formal Methods in Systems Engineering, E192-04
Courses
2022W
- Declarative Problem Solving / 184.701 / UE
- Introduction to Knowledge-based Systems / 184.737 / VU
- Introduction to Programming 1 / 185.A91 / VU
2023S
- Introduction to Programming 1 / 185.A91 / VU
- Knowledge-based Systems / 184.730 / VU
Publications
Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.
- User-Propagation for Custom Theories in SMT Solving / Eisenhofer, C. (2022, September 14). User-Propagation for Custom Theories in SMT Solving [Presentation]. 14th Alpine Verification Meeting, Frauenchiemsee, Germany. http://hdl.handle.net/20.500.12708/154343 / Project: ARTIST
- Automated Instantiation of Control Flow Tracing Exercises / Eisenhofer, C., & Riener, M. (2022). Automated Instantiation of Control Flow Tracing Exercises. In J. Marcos, W. Neuper, & P. Quaresma (Eds.), Proceedings 10th International Workshop on Theorem Proving Components for Educational Software (pp. 43–58). EPTCS. https://doi.org/10.4204/EPTCS.354.4
- User Propagators for Satisfiability Modulo Custom Theories / Eisenhofer, C. (2022). User Propagators for Satisfiability Modulo Custom Theories [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.100221