- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| c4 |      | Brian W. Thompto, Bodo Hoppe: Verification for fault tolerance of the IBM system z microprocessor. DAC 2010: 525-530 |
| 2008 | ||
| c3 | | Torsten Schober, Shimon Landa, Bodo Hoppe, Ronny Morad: IBM system z functional and performance verification using X-Gen. HLDVT 2008: 93-100 |
| 2004 | ||
| j1 | | 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 Journal of Research and Development 48(3-4): 461-474 (2004) |
| 2003 | ||
| c2 | | Christoph Jaeschke, Bodo Hoppe, Wolfram Sauer: A Tool-Set for Table Based Direct Behavioral Configuration of C++ Models. FDL 2003: 593-605 |
| c1 |  | Christoph Jaeschke, Bodo Hoppe, Wolfram Sauer: A Universal Disassembler using Table Based Formal Architectural Specification. MBMV 2003: 93-101 |
| 1 | Bridgette Arthur-Mensah | |
| 2 | Edward W. Chencinski | |
| 3 | Christoph Jaeschke | |
| 4 | Sabina Joseph | |
| 5 | Haresh Kumar | |
| 6 | Shimon Landa | |
| 7 | Ronny Morad | |
| 8 | Wolfram Sauer | |
| 9 | Torsten Schober | |
| 10 | Jose F. Silverio | |
| 11 | Brian W. Thompto |
Colors in the list of coauthors
Last update Tue May 21 13:09:13 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page