Sriram Sankar (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 David C. Luckham, Sriram Sankar, Shuzo Takahashi: Two-Dimensional Pinpointing: Debugging with Formal Specifications. IEEE Software 8(1): 74-84 (1991)

1 David S. Rosenblum, Sriram Sankar, David C. Luckham: Concurrent Runtime Checking of Annotated Ada Programs. FSTTCS 1986: 10-35

Selection of 2 from 15 records - Sriram Sankar has 18 coauthors

3		David C. Luckham, Sriram Sankar, Shuzo Takahashi: Two-Dimensional Pinpointing: Debugging with Formal Specifications. IEEE Software 8(1): 74-84 (1991)
1		David S. Rosenblum, Sriram Sankar, David C. Luckham: Concurrent Runtime Checking of Annotated Ada Programs. FSTTCS 1986: 10-35