Janees Elamkulam

Publication Activity (10 Years)

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

Publications

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)
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)