Clemens Eisenhofer
Projektass. Dipl.-Ing. / BSc
Role
-
PreDoc Researcher
Formal Methods in Systems Engineering, E192-04
Courses
Publications
-
Satisfiability Modulo Custom Theories in Z3
/
Bjørner, N., Eisenhofer, C., & Kovács, L. (2023). Satisfiability Modulo Custom Theories in Z3. In C. Dragoi, M. Emmi, & J. Wang (Eds.), Verification, Model Checking, and Abstract Interpretation. VMCAI 2023 (pp. 91–105). Springer. https://doi.org/10.1007/978-3-031-24950-1_5
Project: ARTIST (2021–2026) -
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 (2021–2026) -
User-Propagation for Custom Theories in SMT Solving
/
Bjorner, N., Eisenhofer, C., & Kovacs, L. (2022). User-Propagation for Custom Theories in SMT Solving. In D. Deharbe & A. Hyvärinen (Eds.), Satisfiability Modulo Theories. 20th International Workshop. SMT 2022. Proceedings (pp. 71–79). CEUR-WS.org. https://doi.org/10.34726/4104
Download: PDF (1.15 MB)
Project: ARTIST (2021–2026) -
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
Download: PDF (629 KB) -
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
Download: PDF (1.13 MB)