Subramanian K. Iyer

Publication Activity (10 Years)

Years Active: 2001-2006
Publications (10 Years): 0

Publications

Subramanian K. Iyer, Jawahar Jain, Debashis Sahoo, E. Allen Emerson
Under-approximation Heuristics for Grid-based Bounded Model Checking. Electron. Notes Theor. Comput. Sci. 135 (2) (2006)
Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain
On partitioning and symbolic model checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25 (5) (2006)
Subramanian K. Iyer, Jawahar Jain, Mukul R. Prasad, Debashis Sahoo, Thomas Sidle
Error Detection Using BMC in a Parallel Environment. CHARME (2005)
Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson
Multi-threaded reachability. DAC (2005)
Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill
A New Reachability Algorithm for Symmetric Multi-processor Architecture. ATVA (2005)
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)
Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain
On Partitioning and Symbolic Model Checking. FM (2005)
Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson
Predictive Reachability Using a Sample-Based Approach. CHARME (2005)
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)
Subramanian K. Iyer, Debashis Sahoo, Christian Stangier, Amit Narayan, Jawahar Jain
Improved Symbolic Verification Using Partitioning Techniques. CHARME (2003)
Carlos Puchol, Subramanian K. Iyer
The MacBeth Specification, Modeling and Programming Language. IEEE Real Time Technology and Applications Symposium (2001)