The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Avinash Sahay: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Avinash Sahay, Jeffrey J. P. Tsai, A. Prasad Sistla
    An Incremental Verification Algorithm for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 1999, v:9, n:2, pp:203-216 [Journal]
  2. Jeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Raymond A. Paul
    Incremental Verification of Architecture Specification Language for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 1998, v:8, n:3, pp:347-360 [Journal]
  3. Jeffrey J. P. Tsai, Eric Y. T. Juan, Avinash Sahay
    Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2003, v:15, n:2, pp:405-422 [Journal]
  4. Jeffrey J. P. Tsai, Alan Liu, Eric Y. T. Juan, Avinash Sahay
    Knowledge-Based Software Architectures: Acquisition, Specification, and Verification. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1999, v:11, n:1, pp:187-201 [Journal]

Search in 0.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002