| 2006 |
|---|
| 11 | EE | Subramanian K. Iyer,
Jawahar Jain,
Debashis Sahoo,
E. Allen Emerson:
Under-approximation Heuristics for Grid-based Bounded Model Checking.
Electr. Notes Theor. Comput. Sci. 135(2): 31-46 (2006) |
| 10 | EE | Subramanian K. Iyer,
Debashis Sahoo,
E. Allen Emerson,
Jawahar Jain:
On partitioning and symbolic model checking.
IEEE Trans. on CAD of Integrated Circuits and Systems 25(5): 780-788 (2006) |
| 2005 |
|---|
| 9 | EE | Debashis Sahoo,
Jawahar Jain,
Subramanian K. Iyer,
David L. Dill:
A New Reachability Algorithm for Symmetric Multi-processor Architecture.
ATVA 2005: 26-38 |
| 8 | EE | Subramanian K. Iyer,
Jawahar Jain,
Debashis Sahoo,
Takeshi Shimizu:
Verification of Industrial Designs Using A Computing Grid With More than 100 Nodes.
Asian Test Symposium 2005: 460 |
| 7 | EE | Subramanian K. Iyer,
Jawahar Jain,
Mukul R. Prasad,
Debashis Sahoo,
Thomas Sidle:
Error Detection Using BMC in a Parallel Environment.
CHARME 2005: 354-358 |
| 6 | EE | Debashis Sahoo,
Jawahar Jain,
Subramanian K. Iyer,
David L. Dill,
E. Allen Emerson:
Predictive Reachability Using a Sample-Based Approach.
CHARME 2005: 388-392 |
| 5 | EE | Debashis Sahoo,
Jawahar Jain,
Subramanian K. Iyer,
David L. Dill,
E. Allen Emerson:
Multi-threaded reachability.
DAC 2005: 467-470 |
| 4 | EE | Subramanian K. Iyer,
Debashis Sahoo,
E. Allen Emerson,
Jawahar Jain:
On Partitioning and Symbolic Model Checking.
FM 2005: 497-511 |
| 2004 |
|---|
| 3 | EE | Debashis Sahoo,
Subramanian K. Iyer,
Jawahar Jain,
Christian Stangier,
Amit Narayan,
David L. Dill,
E. Allen Emerson:
A Partitioning Methodology for BDD-Based Verification.
FMCAD 2004: 399-413 |
| 2003 |
|---|
| 2 | EE | Subramanian K. Iyer,
Debashis Sahoo,
Christian Stangier,
Amit Narayan,
Jawahar Jain:
Improved Symbolic Verification Using Partitioning Techniques.
CHARME 2003: 410-424 |
| 2001 |
|---|
| 1 | EE | Carlos Puchol,
Subramanian K. Iyer:
The MacBeth Specification, Modeling and Programming Language.
IEEE Real Time Technology and Applications Symposium 2001: 181-190 |
