| 2001 |
|---|
| 3 | EE | Amjad Hajjar,
Tom Chen,
Isabelle Munn,
Anneliese Amschler Andrews,
Maria Bjorkman:
High quality behavioral verification using statistical stopping criteria.
DATE 2001: 411-419 |
| 2 | EE | Amjad Hajjar,
Tom Chen,
Isabelle Munn,
Anneliese Amschler Andrews,
Maria Bjorkman:
Stopping Criteria Comparison: Towards High Quality Behavioral Verification.
ISQED 2001: 31-37 |
| 1999 |
|---|
| 1 | | Tom Chen,
Isabelle Munn,
Anneliese von Mayrhauser,
Amjad Hajjar:
Efficient Verification of Behavioral Models Using Sequential Sampling Technique.
VLSI 1999: 398-406 |
