| 2008 |
|---|
| 5 | EE | Jeffrey J. P. Tsai,
Du Zhang,
Avinash Sahay,
Eric Y. T. Juan:
Knowledge Verification.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 2003 |
|---|
| 4 | EE | Jeffrey J. P. Tsai,
Eric Y. T. Juan,
Avinash Sahay:
Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems.
IEEE Trans. Knowl. Data Eng. 15(2): 405-422 (2003) |
| 1999 |
|---|
| 3 | EE | Jeffrey J. P. Tsai,
Alan Liu,
Eric Y. T. Juan,
Avinash Sahay:
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification.
IEEE Trans. Knowl. Data Eng. 11(1): 187-201 (1999) |
| 2 | EE | Avinash Sahay,
Jeffrey J. P. Tsai,
A. Prasad Sistla:
An Incremental Verification Algorithm for Real-Time Systems.
International Journal of Software Engineering and Knowledge Engineering 9(2): 203-216 (1999) |
| 1998 |
|---|
| 1 | EE | Jeffrey J. P. Tsai,
A. Prasad Sistla,
Avinash Sahay,
Raymond A. Paul:
Incremental Verification of Architecture Specification Language for Real-Time Systems.
International Journal of Software Engineering and Knowledge Engineering 8(3): 347-360 (1998) |
