| |
| 2009 | ||
|---|---|---|
| 5 | EE | Thao Dang, Tarik Nahhal: Coverage-guided test generation for continuous and hybrid systems. Formal Methods in System Design 34(2): 183-213 (2009) |
| 2008 | ||
| 4 | EE | Thao Dang, Tarik Nahhal: Using Disparity to Enhance Test Generation for Hybrid Systems. TestCom/FATES 2008: 54-69 |
| 2007 | ||
| 3 | EE | Tarik Nahhal, Thao Dang: Test Coverage for Continuous and Hybrid Systems. CAV 2007: 449-462 |
| 2 | EE | Tarik Nahhal, Thao Dang: Guided Randomized Simulation. HSCC 2007: 731-735 |
| 2006 | ||
| 1 | EE | Thao Dang, Tarik Nahhal: Randomized Simulation of Hybrid Systems For Circuit Validation. FDL 2006: 9-15 |
| 1 | Thao Dang | [1] [2] [3] [4] [5] |