Prof. Dr. Christof Fetzer
Person

Affiliations

Chair of Systems Engineering
- Academic Staff
- christof.fetzer@tu-dresden.de

Identification Numbers

Scopus author ID	7006284519
Researcher ID	https://orcid.org/0000-0001-8240-5420

Adaptive Thermal Model for Structure Model Based Correction

Thiem, X., Rudolph, H., Krahn, R., Ihlenfeldt, S., Fetzer, C. & Müller, J., 2 Jun 2023, Lecture Notes in Production Engineering. p. 67-82 16 p. Chapter 6. (3rd International Conference on Thermal Issues in Machine Tools (ICTIMT2023)).

Research output: Contribution to book/conference proceedings/anthology/report › Chapter in book/anthology/report › Contributed › peer-review

Formal Foundations for SCONE Attestation

Sardar, M. U. & Fetzer, C., 1 Jun 2022, p. 31-32. 2 p.

Research output: Contribution to conferences › Paper › Contributed › peer-review

A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

Bromberger, M., Dragoste, I. T., Faqeh, R., Fetzer, C., González González, L. J., Krötzsch, M., Marx, M., & 2 othersK Murali, H. & Weidenbach, C., Mar 2022. 22 p.

Research output: Contribution to conferences › Paper › Invited › peer-review

Revizor: testing black-box CPUs against speculation contracts.

Oleksenko, O., Fetzer, C., Köpf, B. & Silberstein, M., 28 Feb 2022, p. 226-239. 14 p.

Research output: Contribution to conferences › Paper › Contributed › peer-review

MATEE: Multimodal Attestation for Trusted Execution Environments

Galanou, A., Gregor, F., Kapitza, R. & Fetzer, C., 2022, p. 121-134.

Research output: Contribution to conferences › Paper › Contributed › peer-review

View all research output (234)

Best Paper Award

Fetzer, Christof (Recipient), Kuvaiskii, Dmitrii (Recipient), Oleksenko, Oleksii (Recipient), Arnautov, Sergei (Recipient), Trach, Bohdan (Recipient) & Bhatotia, Pramod Kumar (Recipient), 2017