Avinash Sahay

Publication Activity (10 Years)

Years Active: 1997-2003
Publications (10 Years): 0

Publications

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) (2003)
Avinash Sahay, Jeffrey J. P. Tsai, A. Prasad Sistla
An Incremental Verification Algorithm for Real-Time Systems. Int. J. Softw. Eng. Knowl. Eng. 9 (2) (1999)
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) (1999)
Jeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Raymond A. Paul
Incremental Verification of Architecture Specification Language for Real-Time Systems. Int. J. Softw. Eng. Knowl. Eng. 8 (3) (1998)
Jeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Raymond A. Paul
Incremental verification of architecture specification language for real-time systems. WORDS (1997)