The MacBeth Specification, Modeling and Programming Language. - Carlos Puchol; Subramanian K. Iyer (IEEE Real Time Technology and Applications Symposium, 2001)

Improved Symbolic Verification Using Partitioning Techniques. - Subramanian K. Iyer; Debashis Sahoo; Christian Stangier; Amit Narayan; Jawahar Jain (CHARME, 2003)

A Partitioning Methodology for BDD-Based Verification. - Debashis Sahoo; Subramanian K. Iyer; Jawahar Jain; Christian Stangier; Amit Narayan; David L. Dill; E. Allen Emerson (FMCAD, 2004)

Verification of Industrial Designs Using A Computing Grid With More than 100 Nodes. - Subramanian K. Iyer; Jawahar Jain; Debashis Sahoo; Takeshi Shimizu (Asian Test Symposium, 2005)

A New Reachability Algorithm for Symmetric Multi-processor Architecture. - Debashis Sahoo; Jawahar Jain; Subramanian K. Iyer; David L. Dill (ATVA, 2005)

Error Detection Using BMC in a Parallel Environment. - Subramanian K. Iyer; Jawahar Jain; Mukul R. Prasad; Debashis Sahoo; Thomas Sidle (CHARME, 2005)

Predictive Reachability Using a Sample-Based Approach. - Debashis Sahoo; Jawahar Jain; Subramanian K. Iyer; David L. Dill; E. Allen Emerson (CHARME, 2005)

Multi-threaded reachability. - Debashis Sahoo; Jawahar Jain; Subramanian K. Iyer; David L. Dill; E. Allen Emerson (DAC, 2005)

Under-approximation Heuristics for Grid-based Bounded Model Checking. - Subramanian K. Iyer; Jawahar Jain; Debashis Sahoo; E. Allen Emerson (PDMC@ICALP, 2005)

On partitioning and symbolic model checking. - Subramanian K. Iyer; Debashis Sahoo; E. Allen Emerson; Jawahar Jain (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006)