| 2005 |
|---|
| 4 | EE | Vu Ha,
Tariq Samad:
Generalization Bounds for Weighted Binary Classification with Applications to Statistical Verification.
IJCAI 2005: 722-727 |
| 2004 |
|---|
| 3 | EE | Vu Ha,
Murali Rangarajan,
Darren D. Cofer,
Harald Rueß,
Bruno Dutertre:
Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report.
ICSE 2004: 304-313 |
| 2 | EE | Pam Binns,
Michael Elgersma,
Subhabrata Ganguli,
Vu Ha,
Tariq Samad:
Statistical Verification of Two Non-linear Real-time UAV Controllers.
IEEE Real-Time and Embedded Technology and Applications Symposium 2004: 341-351 |
| 1 | EE | Tariq Samad,
Darren D. Cofer,
Vu Ha,
Pam Binns:
High-confidence control: Ensuring reliability in high-performance real-time systems.
Int. J. Intell. Syst. 19(4): 315-326 (2004) |
