Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think. - Stefan Hillmich; Lukas Burgholzer; Florian Stögmüller; Robert Wille (RC, 2022)

Verifying Embedded Graphics Libraries leveraging Virtual Prototypes and Metamorphic Testing. - Christoph Hazott; Florian Stögmüller; Daniel Große (ASPDAC, 2024)

Using virtual prototypes and metamorphic testing to verify the hardware/software-stack of embedded graphics libraries. - Christoph Hazott; Florian Stögmüller; Daniel Große (Integr., 2025)