| |
| 2008 | ||
|---|---|---|
| 2 | EE | Chikmagalur Manjappa Prashanth, K. Chandrashekar Shet, Janees Elamkulam: Verification Framework for Detecting Safety Violations in UML Statecharts. Asia International Conference on Modelling and Simulation 2008: 849-854 |
| 2006 | ||
| 1 | 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 |
| 1 | Sai Dattathrani | [1] |
| 2 | Ziv Glazberg | [1] |
| 3 | Satish Chandra Gupta | [1] |
| 4 | Sandeep Kohli | [1] |
| 5 | Gururaja Kowlali | [1] |
| 6 | Claudio Paniagua Macia | [1] |
| 7 | Chikmagalur Manjappa Prashanth | [2] |
| 8 | Ishai Rabinovitz | [1] |
| 9 | K. Chandrashekar Shet | [2] |