Subramanian K. Iyer

11 papers A* 1B 3Journal 1Unranked 6
YearRankTypeTitle / Venue / Authors
2006 J jnl
On partitioning and symbolic model checking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain
2005 B conf
A New Reachability Algorithm for Symmetric Multi-processor Architecture.
ATVA
Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill
2005 — conf
Error Detection Using BMC in a Parallel Environment.
CHARME
Subramanian K. Iyer, Jawahar Jain, Mukul R. Prasad, Debashis Sahoo, Thomas Sidle
2005 A* conf
Multi-threaded reachability.
DAC
Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson
2005 B conf
On Partitioning and Symbolic Model Checking.
FM
Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain
2005 — conf
Predictive Reachability Using a Sample-Based Approach.
CHARME
Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer, David L. Dill, E. Allen Emerson
2005 — conf
Under-approximation Heuristics for Grid-based Bounded Model Checking.
PDMC@ICALP
Subramanian K. Iyer, Jawahar Jain, Debashis Sahoo, E. Allen Emerson
2005 — conf
Verification of Industrial Designs Using A Computing Grid With More than 100 Nodes.
Asian Test Symposium
Subramanian K. Iyer, Jawahar Jain, Debashis Sahoo, Takeshi Shimizu
2004 B conf
A Partitioning Methodology for BDD-Based Verification.
FMCAD
Debashis Sahoo, Subramanian K. Iyer, Jawahar Jain, Christian Stangier, Amit Narayan, David L. Dill, E. Allen Emerson
2003 — conf
Improved Symbolic Verification Using Partitioning Techniques.
CHARME
Subramanian K. Iyer, Debashis Sahoo, Christian Stangier, Amit Narayan, Jawahar Jain
2001 — conf
The MacBeth Specification, Modeling and Programming Language.
IEEE Real Time Technology and Applications Symposium
Carlos Puchol, Subramanian K. Iyer