dblp.uni-trier.dewww.uni-trier.de

Sriram Sankar

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
13EESriram Sankar, Sudhanva Gurumurthi, Mircea R. Stan: Intra-disk Parallelism: An Idea Whose Time Has Come. ISCA 2008: 303-314
12 Sriram Sankar, Sudhanva Gurumurthi, Mircea R. Stan: Sensitivity Based Power Management of Enterprise Storage Systems. MASCOTS 2008: 93-102
1999
11 Sriram Sankar: Tools for Integrating Formal Methods in to the Java Software Development Process (Invited Talk). FMOODS 1999
1996
10 Sriram Sankar: Introducing Formal Methods to Software Engineers Through OMG's COBRA Environment and Interface Definition Language. AMAST 1996: 52-61
9EEJuei Chang, Debra J. Richardson, Sriram Sankar: Structural Specification-Based Testing with ADL. ISSTA 1996: 62-70
1994
8 Sriram Sankar, Roger Hayes: ADL - An Interface Definition Language for Specifying and Testing Software. Workshop on Interface Definition Languages 1994: 13-21
1993
7 Anoop Goyal, Sriram Sankar: The Application of Formal Specifications to Software Documentation and Debugging. AADEBUG 1993: 333-349
6 Sriram Sankar, Manas Mandal: Concurrent Runtime Monitoring of Formally Specified Programs. IEEE Computer 26(3): 32-41 (1993)
1991
5 Sigurd Meldal, Sriram Sankar, James Vera: Exploiting Locality in Maintaining Potential Causality. PODC 1991: 231-239
4EESriram Sankar: Run-Time Consistency Checking of Algebraic Specifications. Symposium on Testing, Analysis, and Verification 1991: 123-129
3 David C. Luckham, Sriram Sankar, Shuzo Takahashi: Two-Dimensional Pinpointing: Debugging with Formal Specifications. IEEE Software 8(1): 74-84 (1991)
1989
2EESriram Sankar: A note on the detection of an Ada compiler bug while debugging an Anna program. SIGPLAN Notices 24(6): 23-31 (1989)
1986
1 David S. Rosenblum, Sriram Sankar, David C. Luckham: Concurrent Runtime Checking of Annotated Ada Programs. FSTTCS 1986: 10-35

Coauthor Index

1Juei Chang [9]
2Anoop Goyal [7]
3Sudhanva Gurumurthi [12] [13]
4Roger Hayes [8]
5David C. Luckham [1] [3]
6Manas Mandal [6]
7Sigurd Meldal [5]
8Debra J. Richardson [9]
9David S. Rosenblum [1]
10Mircea R. Stan [12] [13]
11Shuzo Takahashi [3]
12James Vera [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)