Bodo Hoppe

Publication Activity (10 Years)

Years Active: 2003-2016
Publications (10 Years): 1

Top Topics

Measurement Error

Top Venues

Haifa Verification Conference

Publications

Eli Arbel, Erez Barak, Bodo Hoppe, Shlomit Koyfman, Udo Krautz, Shiri Moran
Gating Aware Error Injection. Haifa Verification Conference (2016)
Brian W. Thompto, Bodo Hoppe
Verification for fault tolerance of the IBM system z microprocessor. DAC (2010)
Torsten Schober, Shimon Landa, Bodo Hoppe, Ronny Morad
IBM system z functional and performance verification using X-Gen. HLDVT (2008)
Bodo Hoppe, Bridgette Arthur-Mensah, Edward W. Chencinski, Sabina Joseph, Haresh Kumar, Jose F. Silverio
Functional verification of a frequency-programmable switch chip with asynchronous clock sections. IBM J. Res. Dev. 48 (3-4) (2004)
Christoph Jaeschke, Bodo Hoppe, Wolfram Sauer
A Universal Disassembler using Table Based Formal Architectural Specification. MBMV (2003)
Christoph Jaeschke, Bodo Hoppe, Wolfram Sauer
A Tool-Set for Table Based Direct Behavioral Configuration of C++ Models. FDL (2003)