| 2008 |
|---|
| 7 | EE | A. K. Bhattacharjee,
R. K. Shyamasundar:
Choreography = Orchestration with Scripts + Conversations.
ICWS 2008: 824-827 |
| 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 |
| 2005 |
|---|
| 5 | EE | A. K. Bhattacharjee,
R. K. Shyamasundar:
Validated Code Generation for Activity Diagrams.
ICDCIT 2005: 508-521 |
| 2003 |
|---|
| 4 | EE | A. Iqbal,
A. K. Bhattacharjee,
S. D. Dhodapkar,
S. Ramesh:
Visual Modeling and Verification of Distributed Reactive Systems.
SAFECOMP 2003: 22-34 |
| 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 |
