Henning Siemen

According to our database, Henning Siemen authored at least 3 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2023

Hot Fuzz: Assisting verification by fuzz testing microelectronic hardware.

Henning Siemen, Jonas Lienke, Georg Gläser

Proceedings of the 19th International Conference on Synthesis, 2023

Under Cover: On-FPGA Coverage Monitoring by Netlist Instrumentation.

Manuel Jirsak, Henning Siemen, Jonas Lienke, Martin Grabmann, Eric Schäfer, Georg Gläser

Proceedings of the 19th International Conference on Synthesis, 2023

2022

Learn from error! ML-based model error estimation for design verification without false-positives.

Henning Siemen, Martin Grabmann, Georg Gläser

Proceedings of the 18th International Conference on Synthesis, 2022