Kavita Ravi

Publication Activity (10 Years)

Years Active: 1995-2008
Publications (10 Years): 0

Publications

Saqib Sohail, Fabio Somenzi, Kavita Ravi
A Hybrid Algorithm for LTL Games. VMCAI (2008)
Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spacek, John Pierce, Robert P. Kurshan, Fabio Somenzi
Application of Formal Word-Level Analysis to Constrained Random Simulation. CAV (2008)
Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi
Compositional SCC Analysis for Language Emptiness. Formal Methods Syst. Des. 28 (1) (2006)
HoonSang Jin, Kavita Ravi, Fabio Somenzi
Fate and free will in error traces. Int. J. Softw. Tools Technol. Transf. 6 (2) (2004)
Kavita Ravi, Fabio Somenzi
Minimal Assignments for Bounded Model Checking. TACAS (2004)
Fabio Somenzi, Kavita Ravi, Roderick Bloem
Analysis of Symbolic SCC Hull Algorithms. FMCAD (2002)
HoonSang Jin, Kavita Ravi, Fabio Somenzi
Fate and Free Will in Error Traces. TACAS (2002)
Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi
Divide and Compose: SCC Refinement for Language Emptiness. CONCUR (2001)
Kavita Ravi, Roderick Bloem, Fabio Somenzi
A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles. FMCAD (2000)
Roderick Bloem, Kavita Ravi, Fabio Somenzi
Symbolic guided search for CTL model checking. DAC (2000)
In-Ho Moon, James H. Kukula, Kavita Ravi, Fabio Somenzi
To split or to conjoin: the question in image computation. DAC (2000)
Kavita Ravi, Fabio Somenzi
Hints to accelerate Symbolic Traversal. CHARME (1999)
Roderick Bloem, Kavita Ravi, Fabio Somenzi
Efficient Decision Procedures for Model Checking of Linear Time Logic Properties. CAV (1999)
Kavita Ravi, Fabio Somenzi
Efficient Fixpoint Computation for Invariant Checking. ICCD (1999)
Kavita Ravi, Kenneth L. McMillan, Thomas R. Shiple, Fabio Somenzi
Approximation and Decomposition of Binary Decision Diagrams. DAC (1998)
Anup Basu, Kavita Ravi
Active camera calibration using pan, tilt and roll. IEEE Trans. Syst. Man Cybern. Part B 27 (3) (1997)
Kavita Ravi, Abelardo Pardo, Gary D. Hachtel, Fabio Somenzi
Modular Verification of Multipliers. FMCAD (1996)
Kavita Ravi, Anup Basu
An active technique for piecewise calibration of robot manipulators. IROS (1) (1995)
Anup Basu, Kavita Ravi
Active Camera Calibration Using Pan, Tilt and Roll. ICRA (1995)
Kavita Ravi, Fabio Somenzi
High-density reachability analysis. ICCAD (1995)