| 2008 | CAV | 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 |
| 2008 | VMCAI | A Hybrid Algorithm for LTL Games. | Saqib Sohail, Fabio Somenzi, Kavita Ravi |
| 2004 | TACAS | Minimal Assignments for Bounded Model Checking. | Kavita Ravi, Fabio Somenzi |
| 2002 | FMCAD | Analysis of Symbolic SCC Hull Algorithms. | Fabio Somenzi, Kavita Ravi, Roderick Bloem |
| 2002 | TACAS | Fate and Free Will in Error Traces. | HoonSang Jin, Kavita Ravi, Fabio Somenzi |
| 2001 | CONCUR | Divide and Compose: SCC Refinement for Language Emptiness. | Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi |
| 2000 | DAC | Symbolic guided search for CTL model checking. | Roderick Bloem, Kavita Ravi, Fabio Somenzi |
| 2000 | DAC | To split or to conjoin: the question in image computation. | In-Ho Moon, James H. Kukula, Kavita Ravi, Fabio Somenzi |
| 2000 | FMCAD | A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles. | Kavita Ravi, Roderick Bloem, Fabio Somenzi |
| 1999 | CAV | Efficient Decision Procedures for Model Checking of Linear Time Logic Properties. | Roderick Bloem, Kavita Ravi, Fabio Somenzi |
| 1999 | ICCD | Efficient Fixpoint Computation for Invariant Checking. | Kavita Ravi, Fabio Somenzi |
| 1998 | DAC | Approximation and Decomposition of Binary Decision Diagrams. | Kavita Ravi, Kenneth L. McMillan, Thomas R. Shiple, Fabio Somenzi |
| 1996 | FMCAD | Modular Verification of Multipliers. | Kavita Ravi, Abelardo Pardo, Gary D. Hachtel, Fabio Somenzi |
| 1995 | ICCAD | High-density reachability analysis. | Kavita Ravi, Fabio Somenzi |
| 1995 | ICRA | Active Camera Calibration Using Pan, Tilt and Roll. | Anup Basu, Kavita Ravi |
| 1995 | IROS | An active technique for piecewise calibration of robot manipulators. | Kavita Ravi, Anup Basu |