Avinash Sahay

According to our database1, Avinash Sahay authored at least 5 papers between 1998 and 2008.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2008
Knowledge Verification.
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.
IEEE Trans. Knowl. Data Eng., 2003

1999
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification.
IEEE Trans. Knowl. Data Eng., 1999

An Incremental Verification Algorithm for Real-Time Systems.
Int. J. Softw. Eng. Knowl. Eng., 1999

1998
Incremental Verification of Architecture Specification Language for Real-Time Systems.
Int. J. Softw. Eng. Knowl. Eng., 1998


  Loading...