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.

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