Krishnamani Kalyanasundaram

According to our database, Krishnamani Kalyanasundaram authored at least 4 papers between 2004 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Tighter integration of BDDs and SMT for Predicate Abstraction.

Alessandro Cimatti, Anders Franzén, Alberto Griggio, Krishnamani Kalyanasundaram, Marco Roveri

Proceedings of the Design, Automation and Test in Europe, 2010

2007

Computing Predicate Abstractions by Integrating BDDs and SMT Solvers.

Roberto Cavada, Alessandro Cimatti, Anders Franzén, Krishnamani Kalyanasundaram, Marco Roveri, R. K. Shyamasundar

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

Verification of Clock Synchronization in TTP.

Krishnamani Kalyanasundaram, R. K. Shyamasundar

Proceedings of the Formal Models, 2007

2004

Formal verification of pipelined processors with precise exceptions.

Krishnamani Kalyanasundaram, R. K. Shyamasundar

Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004