Krishnamani Kalyanasundaram

Publication Activity (10 Years)

Years Active: 2004-2010
Publications (10 Years): 0

Publications

Alessandro Cimatti, Anders Franzén, Alberto Griggio, Krishnamani Kalyanasundaram, Marco Roveri
Tighter integration of BDDs and SMT for Predicate Abstraction. DATE (2010)
Krishnamani Kalyanasundaram, R. K. Shyamasundar
Verification of Clock Synchronization in TTP. Formal Models, Languages and Applications (2007)
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)
Krishnamani Kalyanasundaram, R. K. Shyamasundar
Formal verification of pipelined processors with precise exceptions. MEMOCODE (2004)