Bodo Hoppe

According to our database, Bodo Hoppe authored at least 6 papers between 2003 and 2016.

Collaborative distances:

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

2016

Gating Aware Error Injection.

Eli Arbel, Erez Barak, Bodo Hoppe, Shlomit Koyfman, Udo Krautz, Shiri Moran

Proceedings of the Hardware and Software: Verification and Testing, 2016

2010

Verification for fault tolerance of the IBM system z microprocessor.

Brian W. Thompto, Bodo Hoppe

Proceedings of the 47th Design Automation Conference, 2010

2008

IBM system z functional and performance verification using X-Gen.

Torsten Schober, Shimon Landa, Bodo Hoppe, Ronny Morad

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2008

2004

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

2003

A Universal Disassembler using Table Based Formal Architectural Specification.

Christoph Jaeschke, Bodo Hoppe, Wolfram Sauer

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003

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

Christoph Jaeschke, Bodo Hoppe, Wolfram Sauer

Proceedings of the Forum on specification and Design Languages, 2003