| |
| 2008 | ||
|---|---|---|
| 2 | EE | Jiajia Song, HongWei Hao, Claude Helmstetter, Vania Joloboff: Generation of Executable Representation for Processor Simulation with Dynamic Translation. CSSE (4) 2008: 106-109 |
| 1 | EE | Claude Helmstetter, Olivier Ponsini: A Comparison of Two SystemC/TLM Semantics for Formal Verification. MEMOCODE 2008: 59-68 |
| 1 | HongWei Hao | [2] |
| 2 | Vania Joloboff | [2] |
| 3 | Olivier Ponsini | [1] |
| 4 | Jiajia Song | [2] |