| |
| 2007 | ||
|---|---|---|
| 2 | EE | Roberto Cavada, Alessandro Cimatti, Anders Franzén, Krishnamani Kalyanasundaram, Marco Roveri, R. K. Shyamasundar: Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. FMCAD 2007: 69-76 |
| 2004 | ||
| 1 | EE | Krishnamani Kalyanasundaram, R. K. Shyamasundar: Formal verification of pipelined processors with precise exceptions. MEMOCODE 2004: 129-139 |
| 1 | Roberto Cavada | [2] |
| 2 | Alessandro Cimatti | [2] |
| 3 | Anders Franzén | [2] |
| 4 | Marco Roveri | [2] |
| 5 | R. K. Shyamasundar | [1] [2] |