This is an incomplete list of awards and special recognitions our work received in the recent past. We are greatly indebted to all people and organizations who provided us with these honors.
June 2024
Young Researchers Award
Lucas Klemmer received the award for his research on the Waveform Analysis Language (WAL) developed during his PhD. His outstanding PhD thesis is entitled “Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification”.
December 2023
Adolf Adam Award
Florian Stögmüller received the third-place award in acknowledgment of his outstanding Master’s thesis. The award winners were selected by higher-level school students from schools throughout Upper Austria.
September 2022
Best paper award
for the paper Formal verification of SUBLEQ microcode implementing the RV32I ISA presented at the Forum on specification & Design Languages (FDL) 2022 by Lucas Klemmer, Sonja Gurtner, Daniel Große
February 2021
Best paper candidate
for the paper System Level Verification of Phase-Locked Loop Using Metamorphic Relations published at Design, Automation and Test in Europe (DATE) by Muhammad Hassan, Daniel Große, and Rolf Drechsler.
September 2020
Best paper award
for the paper Efficient Cross-Level Testing for Processor Verification: A RISC-V Case-Study presented at the Forum on specification & Design Languages (FDL) 2020 by Vladimir Herdt, Daniel Große, Eyck Jentzsch, Rolf Drechsler