| 2008 | ||
|---|---|---|
| 3 | Flavio M. de Paula, Marcel Gort, Alan J. Hu, Steven J. E. Wilton, Jin Yang: BackSpace: Formal Analysis for Post-Silicon Debug. FMCAD 2008: 1-10 | |
| 2007 | ||
| 2 | Flavio M. de Paula, Alan J. Hu: An Effective Guidance Strategy for Abstraction-Guided Simulation. DAC 2007: 63-68 | |
| 2006 | ||
| 1 | Flavio M. de Paula, Alan J. Hu: EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation. CAV 2006: 282-285 | |
| 1 | Marcel Gort | [3] |
| 2 | Alan J. Hu | [1] [2] [3] |
| 3 | Steven J. E. Wilton | [3] |
| 4 | Jin Yang | [3] |