Raik Brinkmann

According to our database, Raik Brinkmann authored at least 4 papers between 2002 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

A Formal Approach for Detecting Vulnerabilities to Transient Execution Attacks in Out-of-Order Processors.

Mohammad Rahmani Fadiheh, Johannes Müller, Raik Brinkmann, Subhasish Mitra, Dominik Stoffel, Wolfgang Kunz

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2007

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

2003

Preprocessing for property checking of sequential circuits on the register transfer level.

Raik Brinkmann

PhD thesis, 2003

2002

RTL-Datapath Verification using Integer Linear Programming.

Raik Brinkmann, Rolf Drechsler

Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), 2002