RTL-Datapath Verification using Integer Linear Programming. - Raik Brinkmann; Rolf Drechsler (ASP-DAC/VLSI Design, 2002)

Preprocessing for property checking of sequential circuits on the register transfer level. - Raik Brinkmann (2003)

A Normalization Method for Arithmetic Data-Path Verification. - Markus Wedler; Dominik Stoffel; Raik Brinkmann; Wolfgang Kunz (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007)

A Formal Approach for Detecting Vulnerabilities to Transient Execution Attacks in Out-of-Order Processors. - Mohammad Rahmani Fadiheh; Johannes Müller 006; Raik Brinkmann; Subhasish Mitra; Dominik Stoffel; Wolfgang Kunz (DAC, 2020)