S. D. Dhodapkar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
1999–2007
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | SAFECOMP | Detection of Runtime Errors in MISRA C Programs: A Deductive Approach. | Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh |
| 2003 | SAFECOMP | Visual Modeling and Verification of Distributed Reactive Systems. | Asif Iqbal, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh |
| 2002 | SAFECOMP | Assertion Checking Environment (ACE) for Formal Verification of C Programs. | Babita Sharma, S. D. Dhodapkar, S. Ramesh |
| 1999 | FM | A Translation of Statecharts to Esterel. | Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar |
| 1999 | SAFECOMP | A Graphical Environment for the Specification and Verification of Reactive Systems. | A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar |