| |
| 2006 | ||
|---|---|---|
| 4 | EE | Adriel Cheng, Atanas N. Parashkevov, Cheng-Chew Lim: Coverage Measurement for Software Application Testing using Partially Ordered Domains and Symbolic Trajectory Evaluation Techniques. DELTA 2006: 481-487 |
| 2004 | ||
| 3 | EE | Adriel Cheng, Atanas N. Parashkevov, Cheng-Chew Lim: Coverage Measurement for Software Application Level Verification using Symbolic Trajectory Evaluation Techniques. DELTA 2004: 237-244 |
| 2002 | ||
| 2 | EE | Simon Jolly, Atanas N. Parashkevov, Tim McDougall: Automated equivalence checking of switch level circuits . DAC 2002: 299-304 |
| 1997 | ||
| 1 | Atanas N. Parashkevov, Jay Yantchev: Space Efficient Reachability Analysis Through Use of Pseudo-Root States. TACAS 1997: 50-64 | |
| 1 | Adriel Cheng | [3] [4] |
| 2 | Simon Jolly | [2] |
| 3 | Cheng-Chew Lim | [3] [4] |
| 4 | Tim McDougall | [2] |
| 5 | Jay Yantchev | [1] |