Efficient algorithms for verification of UML statechart models CM Prashanth, KC Shet | 13 | 2009 |
Detecting design flaws in UML state charts for embedded software J Elamkulam, Z Glazberg, I Rabinovitz, G Kowlali, SC Gupta, S Kohli, ... Haifa Verification Conference, 109-121, 2006 | 12 | 2006 |
An efficient event based approach for verification of uml statechart model for reactive systems CM Prashanth, KC Shet, J Elamkulam 2008 16th International Conference on Advanced Computing and Communications …, 2008 | 4 | 2008 |
Modeling non-deterministic priority queues for efficient model checking Z Glazberg, J Elamkulam, SC Gupta, S Kohli, I Rabinovitz US Patent 7,990,980, 2011 | 3 | 2011 |
Verification framework for detecting safety violations in UML statecharts CM Prashanth, KC Shet, J Elamkulam 2008 Second Asia International Conference on Modelling & Simulation (AMS …, 2008 | 3 | 2008 |
Verification of protocol design using UML-SMV CM Prashanth, KC Shet International Journal of Computer and Systems Engineering 3 (12), 2886-2890, 2009 | 2 | 2009 |
A New approach to Detect Safety Violations in UML Statechart Models CM Prashanth, SK Chandrashekar International Journal of Computer Science and Network Security 8 (7), 167-174, 2008 | 1 | 2008 |
Verification Framework for Detecting Safety Violations in UML State chart Models of Reactive Systems CM Prashanth, KC Shet, J Elamkulam International Journal Of Computer Science And Applications 1 (1), 2008 | | 2008 |