@article{HSG:2025,
author = {Christoph Hazott and Florian St\"ogm\"uller and Daniel Gro{\ss}e},
journal = {Integr.},
title = {Using Virtual Prototypes and Metamorphic Testing to Verify the Hardware/Software-Stack of Embedded Graphics Libraries},
volume = {101},
year = {2025},
code = {https://github.com/ics-jku/mt-graphlib-framework},
doi = {10.1016/j.vlsi.2024.102320}
}
@inproceedings{HG:2025b,
title = {{LLM}-assisted Metamorphic Testing of Embedded Graphics Libraries},
author = {Christoph Hazott and Daniel Gro{\ss}e},
booktitle = {Forum on Specification and Design Languages (FDL)},
year = 2025,
pages = {1--10},
doi = {10.1109/FDL68117.2025.11165405},
url = {https://ics.jku.at/files/2025FDL_LLM-assisted_Metamorphic_Testing_of_Embedded_Graphics_Libraries.pdf},
code = {https://github.com/ics-jku/llm-assisted-mt}
}
@inproceedings{HG:2025,
author = {Christoph Hazott and Daniel Gro{\ss}e},
title = {Boosting {SW} Development Efficiency with Function Lifetime Diagrams},
booktitle = {IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)},
year = 2025,
pages = {99-104},
doi = {10.1109/DDECS63720.2025.11006679},
url = {https://ics.jku.at/files/2025DDECS_FunctionLifetimeDiagram.pdf}
}
@inproceedings{HG:2024,
author = {Christoph Hazott and Daniel Gro{\ss}e},
title = {Relation Coverage: A new Paradigm for Hardware/Software Testing},
booktitle = {IEEE European Test Symposium (ETS)},
pages = {1--4},
year = 2024,
url = {https://ics.jku.at/files/2024ETS_relation-coverage.pdf},
code = {https://github.com/ics-jku/relation_coverage},
doi = {10.1109/ETS61313.2024.10567598}
}
@inproceedings{HSG:2024,
author = {Christoph Hazott and Florian St\"ogm\"uller and Daniel Gro{\ss}e},
title = {Verifying Embedded Graphics Libraries leveraging Virtual Prototypes and Metamorphic Testing},
booktitle = {Asia and South Pacific Design Automation Conference (ASP-DAC)},
pages = {275--281},
year = 2024,
url = {https://ics.jku.at/files/2024ASPDAC_Verifying_Embedded_Graphics_Libraries_leveraging_VPs_and_MT.pdf},
code = {https://github.com/ics-jku/mt-graphlib-framework},
doi = {10.1109/ASP-DAC58780.2024.10473799}
}
@inproceedings{HG:2023,
author = {Christoph Hazott and Daniel Gro{\ss}e},
title = {{DSA} Monitoring Framework for {HW/SW} Partitioning of Application Kernels leveraging {VPs}},
booktitle = {IEEE Design and Verification Conference and Exhibition Europe (IEEE DVCon Europe)},
pages = {34--41},
year = 2023,
url = {https://ics.jku.at/files/2023DVConEurope_DSA-Monitoring-Framework-for-HWSW-Partitioning-of-Application-Kernels-leveraging-VPs.pdf}
}
@inproceedings{SHG:2024,
author = {Manfred Schl{\"{a}}gl and Christoph Hazott and Daniel Gro{\ss}e},
title = {{RISC-V VP++}: Next Generation Open-Source Virtual Prototype},
booktitle = {Workshop on Open-Source Design Automation},
year = 2024,
code = {https://github.com/ics-jku/riscv-vp-plusplus},
url = {https://ics.jku.at/files/2024OSDA_RISCV-VP-plusplus.pdf}
}
@inproceedings{HSG:2024b,
author = {Christoph Hazott and Florian St\"ogm\"uller and Daniel Gro{\ss}e},
title = {Leveraging Virtual Prototypes and Metamorphic Testing for Verification of Embedded Graphics Libraries},
booktitle = {ITG/GI/GMM-Workshop ``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen'' (MBMV)},
year = 2024,
url = {https://ics.jku.at/files/2024MBMV_MT-VP-Embedded_Graphics_Libraries.pdf}
}
@inproceedings{SHG:2023,
author = {Manfred Schl{\"{a}}gl and Christoph Hazott and Daniel Gro{\ss}e},
title = {Recent Developments in Open-source {RISC-V} Virtual Prototypes: From Vector Extensions, Tracing to {3D}-Games},
booktitle = {Special Session at Forum on specification \& Design Languages},
year = {2023},
code = {https://github.com/ics-jku/riscv-vp-plusplus}
}