Krishnamani Kalyanasundaram
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2004–2010
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | DATE | Tighter integration of BDDs and SMT for Predicate Abstraction. | Alessandro Cimatti, Anders Franzn, Alberto Griggio, Krishnamani Kalyanasundaram, Marco Roveri |
| 2007 | FMCAD | Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. | Roberto Cavada, Alessandro Cimatti, Anders Franzn, Krishnamani Kalyanasundaram, Marco Roveri, R. K. Shyamasundar |
| 2004 | MEMOCODE | Formal verification of pipelined processors with precise exceptions. | Krishnamani Kalyanasundaram, R. K. Shyamasundar |