Christoph Hazott, MSc

Portrait of Christoph Hazott, MSc

Christoph Hazott, MSc

	Science Park 4, 3rd floor, room 0317
	christoph.hazott@jku.at
	+43 732 2468 4564

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

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

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