Learn from error! ML-based model error estimation for design verification without false-positives. - Henning Siemen; Martin Grabmann; Georg Gläser (SMACD, 2022)

Under Cover: On-FPGA Coverage Monitoring by Netlist Instrumentation. - Manuel Jirsak; Henning Siemen; Jonas Lienke; Martin Grabmann; Eric Schäfer; Georg Gläser (SMACD, 2023)

Hot Fuzz: Assisting verification by fuzz testing microelectronic hardware. - Henning Siemen; Jonas Lienke; Georg Gläser (SMACD, 2023)