Avinash Sahay

According to our database, Avinash Sahay authored at least 5 papers between 1997 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Knowledge Verification.

Jeffrey J. P. Tsai, Du Zhang, Avinash Sahay, Eric Y. T. Juan

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

2003

Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems.

Jeffrey J. P. Tsai, Eric Y. T. Juan, Avinash Sahay

IEEE Trans. Knowl. Data Eng., 2003

1999

Knowledge-Based Software Architectures: Acquisition, Specification, and Verification.

Jeffrey J. P. Tsai, Alan Liu, Eric Y. T. Juan, Avinash Sahay

IEEE Trans. Knowl. Data Eng., 1999

An Incremental Verification Algorithm for Real-Time Systems.

Avinash Sahay, Jeffrey J. P. Tsai, A. Prasad Sistla

Int. J. Softw. Eng. Knowl. Eng., 1999

1997

Incremental verification of architecture specification language for real-time systems.

Jeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Raymond A. Paul

Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997