High-density reachability analysis. - Kavita Ravi; Fabio Somenzi (ICCAD, 1995)

An active technique for piecewise calibration of robot manipulators. - Kavita Ravi; Anup Basu (IROS (1), 1995)

Modular Verification of Multipliers. - Kavita Ravi; Abelardo Pardo; Gary D. Hachtel; Fabio Somenzi (FMCAD, 1996)

Active camera calibration using pan, tilt and roll. - Anup Basu; Kavita Ravi (IEEE Trans. Syst. Man Cybern. Part B, 1997)

Approximation and Decomposition of Binary Decision Diagrams. - Kavita Ravi; Kenneth L. McMillan; Thomas R. Shiple; Fabio Somenzi (DAC, 1998)

Efficient Decision Procedures for Model Checking of Linear Time Logic Properties. - Roderick Bloem; Kavita Ravi; Fabio Somenzi (CAV, 1999)

Hints to accelerate Symbolic Traversal. - Kavita Ravi; Fabio Somenzi (CHARME, 1999)

Efficient Fixpoint Computation for Invariant Checking. - Kavita Ravi; Fabio Somenzi (ICCD, 1999)

Symbolic guided search for CTL model checking. - Roderick Bloem; Kavita Ravi; Fabio Somenzi (DAC, 2000)

To split or to conjoin: the question in image computation. - In-Ho Moon; James H. Kukula; Kavita Ravi; Fabio Somenzi (DAC, 2000)

A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles. - Kavita Ravi; Roderick Bloem; Fabio Somenzi (FMCAD, 2000)

Divide and Compose: SCC Refinement for Language Emptiness. - Chao Wang 001; Roderick Bloem; Gary D. Hachtel; Kavita Ravi; Fabio Somenzi (CONCUR, 2001)

Analysis of Symbolic SCC Hull Algorithms. - Fabio Somenzi; Kavita Ravi; Roderick Bloem (FMCAD, 2002)

Minimal Assignments for Bounded Model Checking. - Kavita Ravi; Fabio Somenzi (TACAS, 2004)

Fate and free will in error traces. - HoonSang Jin; Kavita Ravi; Fabio Somenzi (Int. J. Softw. Tools Technol. Transf., 2004)

Compositional SCC Analysis for Language Emptiness. - Chao Wang 001; Roderick Bloem; Gary D. Hachtel; Kavita Ravi; Fabio Somenzi (Formal Methods Syst. Des., 2006)

Application of Formal Word-Level Analysis to Constrained Random Simulation. - Hyondeuk Kim; HoonSang Jin; Kavita Ravi; Petr Spacek; John Pierce; Robert P. Kurshan; Fabio Somenzi (CAV, 2008)

A Hybrid Algorithm for LTL Games. - Saqib Sohail; Fabio Somenzi; Kavita Ravi (VMCAI, 2008)