Dr. Christoph Hazott

Portrait of Dr. Christoph Hazott

Dr. Christoph Hazott

Scientific Staff
christoph.hazott@jku.at

Publications

Journals

[1] 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

[2] 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 ]
[3] 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 | .pdf ]
[4] 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 ]
[5] 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 ]
[6] 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

[7] 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, 2024. [ bib | sourcecode | .pdf ]
[8] 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

[9] 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 ]