| |
| 2009 | ||
|---|---|---|
| 5 | EE | Susmit Jha, Sanjit A. Seshia, Rhishikesh Limaye: On the Computational Complexity of Satisfiability Solving for String Theories CoRR abs/0903.2825: (2009) |
| 2008 | ||
| 4 | EE | Susmit Jha, Sumit Kumar Jha: Randomization Based Probabilistic Approach to Detect Trojan Circuits. HASE 2008: 117-124 |
| 3 | EE | Sumit Kumar Jha, Susmit Jha: Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions in Model Checking. HASE 2008: 147-153 |
| 2007 | ||
| 2 | EE | Susmit Jha, Bryan A. Brady, Sanjit A. Seshia: Symbolic Reachability Analysis of Lazy Linear Hybrid Automata. FORMATS 2007: 241-256 |
| 2006 | ||
| 1 | EE | Susmit Jha, R. K. Shyamasundar: Adapting Biochemical Kripke Structures for Distributed Model Checking. T. Comp. Sys. Biology: 107-122 (2006) |
| 1 | Bryan A. Brady | [2] |
| 2 | Sumit Kumar Jha | [3] [4] |
| 3 | Rhishikesh Limaye | [5] |
| 4 | Sanjit A. Seshia | [2] [5] |
| 5 | R. K. Shyamasundar | [1] |