| 2006 | ||
|---|---|---|
| 2 | 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 | |
| 1999 | ||
| 1 | U. Nagaraj Shenoy, Y. N. Srikant, Vijay P. Bhatkar, Sandeep Kohli: Automatic Data Partitioning by Hierarchical Genetic Search. Parallel Algorithms Appl. 14(2): 119-147 (1999) | |