![]() | ![]() |
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] |