Kavita Ravi

Modular Verification of Multipliers

G. Hachtel, A. Pardo, F. Somenzi, 1996, FMCAD.

Minimal Assignments for Bounded Model Checking

Kavita Ravi, Fabio Somenzi, F. Somenzi, 2004, TACAS.

Symbolic guided search for CTL model checking

Kavita Ravi, Fabio Somenzi, Roderick Bloem, 2000, Proceedings 37th Design Automation Conference.

Efficient Decision Procedures for Model Checking of Linear Time Logic Properties

Kavita Ravi, Fabio Somenzi, Roderick Bloem, 1999, CAV.

Efficient fixpoint computation for invariant checking

Kavita Ravi, Fabio Somenzi, F. Somenzi, 1999, Proceedings 1999 IEEE International Conference on Computer Design: VLSI in Computers and Processors (Cat. No.99CB37040).

Modular Veri cation of Multipliers

G. Hachtel, Kavita Ravi Abelardo Pardo Gary D. Hachtel Fabio, SomenziDept, 1996 .

Active camera calibration using pan, tilt and roll

Anup Basu, Kavita Ravi, A. Basu, 1995, Proceedings of 1995 IEEE International Conference on Robotics and Automation.

Power-Optimal Module Allocation and Binding

Massoud Pedram, Jui-Ming Chang, F. Somenzi, 1999 .

Divide and Compose: SCC Refinement for Language Emptiness

Chao Wang, Kavita Ravi, Fabio Somenzi, 2001, CONCUR.

A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles

Kavita Ravi, Fabio Somenzi, Roderick Bloem, 2000, FMCAD.