| 2025 | CAV | Surfer - An Extensible Waveform Viewer. | Frans Skarman, Lucas Klemmer, Daniel Groe, Oscar Gustafsson, Kevin Laeufer |
| 2024 | ASPDAC | Towards a Highly Interactive Design-Debug-Verification Cycle. | Lucas Klemmer, Daniel Groe |
| 2024 | DATE | Using Formal Verification Methods for Optimization of Circuits Under External Constraints. | Daniel Groe, Lucas Klemmer, Dominik Bonora |
| 2024 | FDL | An Extensible and Flexible Methodology for Analyzing the Cache Performance of Hardware Designs. | Lucas Klemmer, Daniel Groe |
| 2023 | FDL | Enhancing Compiler-Driven HDL Design with Automatic Waveform Analysis. | Frans Skarman, Lucas Klemmer, Oscar Gustafsson, Daniel Groe |
| 2022 | ASPDAC | WAL: A Novel Waveform Analysis Language for Advanced Design Understanding and Debugging. | Lucas Klemmer, Daniel Groe |
| 2022 | DAC | Waveform-based performance analysis of RISC-V processors: late breaking results. | Lucas Klemmer, Daniel Groe |
| 2022 | FDL | Formal Verification of SUBLEQ Microcode implementing the RV32I ISA. | Lucas Klemmer, Sonja Gurtner, Daniel Groe |
| 2021 | ISCAS | XbNN: Enabling CNNs on Edge Devices by Approximate On-Chip Dot Product Encoding. | Lucas Klemmer, Saman Frhlich, Rolf Drechsler, Daniel Groe |