 | 2009 |
|---|
| 9 |       | Joydeb Roy Chowdury,
Sayantica Pattanayak,
A. K. Bhattacharjee:
Design methodology for battery powered embedded systems - In safety critical application.
Computer Standards & Interfaces 31(2): 499-503 (2009) |
| 8 | | A. K. Bhattacharjee,
R. K. Shyamasundar:
Activity Diagrams : A Formal Framework to Model Business Processes and Code Generation.
Journal of Object Technology 8(1): 189-220 (2009) |
| 2008 |
|---|
| 7 | | A. K. Bhattacharjee,
R. K. Shyamasundar:
Choreography = Orchestration with Scripts + Conversations.
ICWS 2008: 824-827 |
| 2007 |
|---|
| 6 | | 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 | | A. K. Bhattacharjee,
R. K. Shyamasundar:
Validated Code Generation for Activity Diagrams.
ICDCIT 2005: 508-521 |
| 2003 |
|---|
| 4 | | A. Iqbal,
A. K. Bhattacharjee,
S. D. Dhodapkar,
S. Ramesh:
Visual Modeling and Verification of Distributed Reactive Systems.
SAFECOMP 2003: 22-34 |
| 2000 |
|---|
| 3 | | 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 | | 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 | | 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 |
