S. D. Dhodapkar

Publication Activity (10 Years)

Years Active: 1999-2007
Publications (10 Years): 0

Publications

Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh
Detection of Runtime Errors in MISRA C Programs: A Deductive Approach. SAFECOMP (2007)
Babita Sharma, S. D. Dhodapkar, S. Ramesh
Assertion checking environment (ACE) for formal verification of C programs. Reliab. Eng. Syst. Saf. 81 (3) (2003)
Asif Iqbal, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh
Visual Modeling and Verification of Distributed Reactive Systems. SAFECOMP (2003)
Babita Sharma, S. D. Dhodapkar, S. Ramesh
Assertion Checking Environment (ACE) for Formal Verification of C Programs. SAFECOMP (2002)
A. K. Bhattacharjee, S. D. Dhodapkar, R. K. Shyamasundar
PERTS: an environment for specification and verification of reactive systems. Reliab. Eng. Syst. Saf. 71 (3) (2001)
A. K. Bhattacharjee, S. D. Dhodapkar, R. K. Shyamasundar
PERTS: an environment for specification and verification of reactive systems: [Reliability Engineering and System Safety, 71(3), 2001, 299-310]. Reliab. Eng. Syst. Saf. 72 (2) (2001)
A. K. Bhattacharjee, Gopa Sen, S. D. Dhodapkar, Kundapur Karunakar, Basant Rajan, R. K. Shyamasundar
A System for Object Code Validation. FTRTFT (2000)
A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar
A Graphical Environment for the Specification and Verification of Reactive Systems. SAFECOMP (1999)
Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar
A Translation of Statecharts to Esterel. World Congress on Formal Methods (1999)