Bodo Hoppe

A Universal Disassembler using Table Based Formal Architectural Specification

Christoph Jaeschke, Bodo Hoppe, Wolfram Sauer, 2003, MBMV.

A Tool-Set for Table Based Direct Behavioral Configuration of C++ Models

Christoph Jaeschke, Bodo Hoppe, Wolfram Sauer, 2003, FDL.

Verification for fault tolerance of the IBM system z microprocessor

Bodo Hoppe, Brian W. Thompto, 2010, Design Automation Conference.

Functional verification of a frequency-programmable switch chip with asynchronous clock sections

Bodo Hoppe, Sabina Joseph, Edward W. Chencinski, 2004, IBM J. Res. Dev..

IBM system z functional and performance verification using X-Gen

Bodo Hoppe, Ronny Morad, Torsten Schober, 2008, 2008 IEEE International High Level Design Validation and Test Workshop.

Gating Aware Error Injection

Bodo Hoppe, Shiri Moran, Eli Arbel, 2016, Haifa Verification Conference.