Dr. Christoph Hazott

Portrait of Dr. Christoph Hazott

Dr. Christoph Hazott

Scientific Staff

christoph.hazott@jku.at

Publications

Books

[1]	Christoph Hazott and Daniel Große. Breaking Barriers in HW-to-SW Stack Verification – Virtual Prototyping meets Metamorphic Testing and Dynamic Runtime Instrumentation. Springer, 2026. [ bib \| DOI ]

Journals

[2]	Christoph Hazott, Florian Stögmüller, and Daniel Große. Using virtual prototypes and metamorphic testing to verify the hardware/software-stack of embedded graphics libraries. Integr., 101, 2025. [ bib \| DOI \| sourcecode ]

Conferences

[3]	Christoph Hazott and Daniel Große. LLM-assisted metamorphic testing of embedded graphics libraries. In Forum on Specification and Design Languages (FDL), pages 1–10, 2025. [ bib \| DOI \| sourcecode \| .pdf ]
[4]	Christoph Hazott and Daniel Große. Boosting SW development efficiency with function lifetime diagrams. In IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), pages 99–104, 2025. [ bib \| DOI \| sourcecode \| .pdf ]
[5]	Christoph Hazott and Daniel Große. Relation coverage: A new paradigm for hardware/software testing. In IEEE European Test Symposium (ETS), pages 1–4, 2024. [ bib \| DOI \| sourcecode \| .pdf ]
[6]	Christoph Hazott, Florian Stögmüller, and Daniel Große. Verifying embedded graphics libraries leveraging virtual prototypes and metamorphic testing. In Asia and South Pacific Design Automation Conference (ASP-DAC), pages 275–281, 2024. [ bib \| DOI \| sourcecode \| .pdf ]
[7]	Christoph Hazott and Daniel Große. DSA monitoring framework for HW/SW partitioning of application kernels leveraging VPs. In IEEE Design and Verification Conference and Exhibition Europe (IEEE DVCon Europe), pages 34–41, 2023. [ bib \| .pdf ]

Workshops

[8]	Manfred Schlägl, Christoph Hazott, and Daniel Große. RISC-V VP++: Next generation open-source virtual prototype. In Workshop on Open-Source Design Automation (OSDA), 2024. [ bib \| sourcecode \| .pdf ]
[9]	Christoph Hazott, Florian Stögmüller, and Daniel Große. Leveraging virtual prototypes and metamorphic testing for verification of embedded graphics libraries. In ITG/GI/GMM-Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” (MBMV), 2024. [ bib \| .pdf ]

Others

[10]	Manfred Schlägl, Christoph Hazott, and Daniel Große. Recent developments in open-source RISC-V virtual prototypes: From vector extensions, tracing to 3D-games. In Special Session at Forum on specification & Design Languages, 2023. [ bib \| sourcecode ]