| |
| 2005 | ||
|---|---|---|
| 3 | 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 |
| 2 | EE | Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Thomas Sidle: Dynamic abstraction using SAT-based BMC. DAC 2005: 754-757 |
| 2004 | ||
| 1 | EE | Christian Stangier, Thomas Sidle: Invariant Checking Combining Forward and Backward Traversal. FMCAD 2004: 414-429 |
| 1 | Michael S. Hsiao | [2] |
| 2 | Subramanian K. Iyer | [3] |
| 3 | Jawahar Jain | [3] |
| 4 | Mukul R. Prasad | [2] [3] |
| 5 | Debashis Sahoo | [3] |
| 6 | Christian Stangier | [1] |
| 7 | Liang Zhang | [2] |