Detection of Hardware Trojans in SystemC HLS Designs via Coverage-guided Fuzzing. - Hoang M. Le; Daniel Große; Niklas Bruns; Rolf Drechsler (DATE, 2019)

Early Verification of ISA Extension Specifications using Deep Reinforcement Learning. - Niklas Bruns; Daniel Große; Rolf Drechsler (ACM Great Lakes Symposium on VLSI, 2020)

Toward RISC-V CSR Compliance Testing. - Niklas Bruns; Vladimir Herdt; Daniel Große; Rolf Drechsler (IEEE Embed. Syst. Lett., 2021)

Cross-Level Processor Verification via Endless Randomized Instruction Stream Generation with Coverage-guided Aging. - Niklas Bruns; Vladimir Herdt; Eyck Jentzsch; Rolf Drechsler (DATE, 2022)

Unified HW/SW Coverage: A Novel Metric to Boost Coverage-guided Fuzzing for Virtual Prototype based HW/SW Co-Verification. - Niklas Bruns; Vladimir Herdt; Rolf Drechsler (FDL, 2022)

Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing. - Niklas Bruns; Vladimir Herdt; Daniel Große; Rolf Drechsler (ACM Great Lakes Symposium on VLSI, 2022)

Processor Verification using Symbolic Execution: A RISC-V Case-Study. - Niklas Bruns; Vladimir Herdt; Rolf Drechsler (DATE, 2023)

Virtual prototype centric verification for embedded system development. - Niklas Bruns (2023)