| 2007 |
|---|
| 6 | EE | 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: 491-504 |
| 2003 |
|---|
| 5 | EE | A. Iqbal,
A. K. Bhattacharjee,
S. D. Dhodapkar,
S. Ramesh:
Visual Modeling and Verification of Distributed Reactive Systems.
SAFECOMP 2003: 22-34 |
| 2002 |
|---|
| 4 | EE | Babita Sharma,
S. D. Dhodapkar,
S. Ramesh:
Assertion Checking Environment (ACE) for Formal Verification of C Programs.
SAFECOMP 2002: 284-295 |
| 2000 |
|---|
| 3 | EE | A. K. Bhattacharjee,
Gopa Sen,
S. D. Dhodapkar,
Kundapur Karunakar,
Basant Rajan,
R. K. Shyamasundar:
A System for Object Code Validation.
FTRTFT 2000: 152-169 |
| 1999 |
|---|
| 2 | EE | 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: 431-444 |
| 1 | EE | Sanjit A. Seshia,
R. K. Shyamasundar,
A. K. Bhattacharjee,
S. D. Dhodapkar:
A Translation of Statecharts to Esterel.
World Congress on Formal Methods 1999: 983-1007 |
