Holger Hinrichsen

Publication Activity (10 Years)

Years Active: 1999-2000
Publications (10 Years): 0

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

Claudia Blank, Gerd Ritter, Holger Hinrichsen, Hans Eveking
Formale Verifikation der Register-Allokation. MBMV (2000)
Holger Hinrichsen, Gerd Ritter, Hans Eveking
Automatische Synthese und Verifikation von RISC-Prozessoren. MBMV (1999)
Hans Eveking, Holger Hinrichsen, Gerd Ritter
Automatic Verification of Scheduling Results in High-Level Synthesis. DATE (1999)
Gerd Ritter, Holger Hinrichsen, Hans Eveking
Formal Verification of Descriptions with Distinct Order of Memory Operations. ASIAN (1999)
Gerd Ritter, Hans Eveking, Holger Hinrichsen
Formal Verification of Designs with Complex Control by Symbolic Simulation. CHARME (1999)