2006 |
3 | EE | Janees Elamkulam,
Ziv Glazberg,
Ishai Rabinovitz,
Gururaja Kowlali,
Satish Chandra Gupta,
Sandeep Kohli,
Sai Dattathrani,
Claudio Paniagua Macia:
Detecting Design Flaws in UML State Charts for Embedded Software.
Haifa Verification Conference 2006: 109-121 |
2003 |
2 | EE | Satish Chandra Gupta,
Tien Nhut Nguyen,
Ethan V. Munson:
The Software Concordance: Using a Uniform Document Model to Integrate Program Analysis and Hypermedia.
APSEC 2003: 164- |
2002 |
1 | EE | Tien Nhut Nguyen,
Satish Chandra Gupta,
Ethan V. Munson:
Versioned Hypermedia can improve software document management.
Hypertext 2002: 192-193 |