Niklas Bruns
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2019–2023
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | DATE | Processor Verification using Symbolic Execution: A RISC-V Case-Study. | Niklas Bruns, Vladimir Herdt, Rolf Drechsler |
| 2022 | DATE | Cross-Level Processor Verification via Endless Randomized Instruction Stream Generation with Coverage-guided Aging. | Niklas Bruns, Vladimir Herdt, Eyck Jentzsch, Rolf Drechsler |
| 2022 | FDL | 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 |
| 2019 | DATE | Detection of Hardware Trojans in SystemC HLS Designs via Coverage-guided Fuzzing. | Hoang M. Le, Daniel Groe, Niklas Bruns, Rolf Drechsler |