S. D. Dhodapkar

According to our database, S. D. Dhodapkar authored at least 8 papers between 1999 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Detection of Runtime Errors in MISRA C Programs: A Deductive Approach.

Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh

Proceedings of the Computer Safety, 2007

2003

Assertion checking environment (ACE) for formal verification of C programs.

Babita Sharma, S. D. Dhodapkar, S. Ramesh

Reliab. Eng. Syst. Saf., 2003

Visual Modeling and Verification of Distributed Reactive Systems.

Asif Iqbal, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh

Proceedings of the Computer Safety, 2003

2001

PERTS: an environment for specification and verification of reactive systems: [Reliability Engineering and System Safety, 71(3), 2001, 299-310].

A. K. Bhattacharjee, S. D. Dhodapkar, R. K. Shyamasundar

Reliab. Eng. Syst. Saf., 2001

PERTS: an environment for specification and verification of reactive systems.

A. K. Bhattacharjee, S. D. Dhodapkar, R. K. Shyamasundar

Reliab. Eng. Syst. Saf., 2001

2000

A System for Object Code Validation.

A. K. Bhattacharjee, Gopa Sen, S. D. Dhodapkar, Kundapur Karunakar, Basant Rajan, R. K. Shyamasundar

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1999

A Graphical Environment for the Specification and Verification of Reactive Systems.

A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar

Proceedings of the Computer Safety, 1999

A Translation of Statecharts to Esterel.

Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar

Proceedings of the FM'99 - Formal Methods, 1999