The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sriram Sankar: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Anoop Goyal, Sriram Sankar
    The Application of Formal Specifications to Software Documentation and Debugging. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1993, pp:333-349 [Conf]
  2. Sriram Sankar
    Introducing Formal Methods to Software Engineers Through OMG's COBRA Environment and Interface Definition Language. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:52-61 [Conf]
  3. Sriram Sankar
    Tools for Integrating Formal Methods in to the Java Software Development Process (Invited Talk). [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  4. David S. Rosenblum, Sriram Sankar, David C. Luckham
    Concurrent Runtime Checking of Annotated Ada Programs. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1986, pp:10-35 [Conf]
  5. Sriram Sankar, Roger Hayes
    ADL - An Interface Definition Language for Specifying and Testing Software. [Citation Graph (0, 0)][DBLP]
    Workshop on Interface Definition Languages, 1994, pp:13-21 [Conf]
  6. Juei Chang, Debra J. Richardson, Sriram Sankar
    Structural Specification-Based Testing with ADL. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:62-70 [Conf]
  7. Sriram Sankar
    Run-Time Consistency Checking of Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    Symposium on Testing, Analysis, and Verification, 1991, pp:123-129 [Conf]
  8. Sigurd Meldal, Sriram Sankar, James Vera
    Exploiting Locality in Maintaining Potential Causality. [Citation Graph (0, 0)][DBLP]
    PODC, 1991, pp:231-239 [Conf]
  9. Sriram Sankar, Manas Mandal
    Concurrent Runtime Monitoring of Formally Specified Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1993, v:26, n:3, pp:32-41 [Journal]
  10. Sriram Sankar
    A note on the detection of an Ada compiler bug while debugging an Anna program. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1989, v:24, n:6, pp:23-31 [Journal]
  11. David C. Luckham, Sriram Sankar, Shuzo Takahashi
    Two-Dimensional Pinpointing: Debugging with Formal Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1991, v:8, n:1, pp:74-84 [Journal]

  12. Intra-disk Parallelism: An Idea Whose Time Has Come. [Citation Graph (, )][DBLP]


  13. Sensitivity Based Power Management of Enterprise Storage Systems. [Citation Graph (, )][DBLP]


  14. Addressing the stranded power problem in datacenters using storage workload characterization. [Citation Graph (, )][DBLP]


  15. Storage characterization for unstructured data in online services applications. [Citation Graph (, )][DBLP]


  16. Measuring Database Performance in Online Services: A Trace-Based Approach. [Citation Graph (, )][DBLP]


Search in 0.047secs, Finished in 0.048secs
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