Satish Chandra Gupta

Publication Activity (10 Years)

Years Active: 2002-2006
Publications (10 Years): 0

Publications

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)
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)
Tien Nhut Nguyen, Satish Chandra Gupta, Ethan V. Munson
Versioned Hypermedia can improve software document management. Hypertext (2002)