| 2008 | ||
|---|---|---|
| 2 | 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 | 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 | |