A Tool-Set for Table Based Direct Behavioral Configuration of C++ Models. - Christoph Jaeschke; Bodo Hoppe; Wolfram Sauer (FDL, 2003)

A Universal Disassembler using Table Based Formal Architectural Specification. - Christoph Jaeschke; Bodo Hoppe; Wolfram Sauer (MBMV, 2003)

Functional verification of a frequency-programmable switch chip with asynchronous clock sections. - Bodo Hoppe; Bridgette Arthur-Mensah; Edward W. Chencinski; Sabina Joseph; Haresh Kumar; Jose F. Silverio (IBM J. Res. Dev., 2004)

IBM system z functional and performance verification using X-Gen. - Torsten Schober; Shimon Landa; Bodo Hoppe; Ronny Morad (HLDVT, 2008)

Verification for fault tolerance of the IBM system z microprocessor. - Brian W. Thompto; Bodo Hoppe (DAC, 2010)

Gating Aware Error Injection. - Eli Arbel; Erez Barak; Bodo Hoppe; Shlomit Koyfman; Udo Krautz; Shiri Moran (Haifa Verification Conference, 2016)