Kavita Ravi

According to our database, Kavita Ravi authored at least 18 papers between 1995 and 2008.

Collaborative distances:

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

2008

A Hybrid Algorithm for LTL Games.

Saqib Sohail, Fabio Somenzi, Kavita Ravi

Proceedings of the Verification, 2008

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

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2006

Compositional SCC Analysis for Language Emptiness.

Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi

Formal Methods Syst. Des., 2006

2004

Fate and free will in error traces.

HoonSang Jin, Kavita Ravi, Fabio Somenzi

Int. J. Softw. Tools Technol. Transf., 2004

Minimal Assignments for Bounded Model Checking.

Kavita Ravi, Fabio Somenzi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

2002

Analysis of Symbolic SCC Hull Algorithms.

Fabio Somenzi, Kavita Ravi, Roderick Bloem

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

2001

Divide and Compose: SCC Refinement for Language Emptiness.

Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi

Proceedings of the CONCUR 2001, 2001

2000

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

Kavita Ravi, Roderick Bloem, Fabio Somenzi

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

To split or to conjoin: the question in image computation.

In-Ho Moon, James H. Kukula, Kavita Ravi, Fabio Somenzi

Proceedings of the 37th Conference on Design Automation, 2000

Symbolic guided search for CTL model checking.

Roderick Bloem, Kavita Ravi, Fabio Somenzi

Proceedings of the 37th Conference on Design Automation, 2000

1999

Efficient Fixpoint Computation for Invariant Checking.

Kavita Ravi, Fabio Somenzi

Proceedings of the IEEE International Conference On Computer Design, 1999

Hints to accelerate Symbolic Traversal.

Kavita Ravi, Fabio Somenzi

Proceedings of the Correct Hardware Design and Verification Methods, 1999

Efficient Decision Procedures for Model Checking of Linear Time Logic Properties.

Roderick Bloem, Kavita Ravi, Fabio Somenzi

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

Approximation and Decomposition of Binary Decision Diagrams.

Kavita Ravi, Kenneth L. McMillan, Thomas R. Shiple, Fabio Somenzi

Proceedings of the 35th Conference on Design Automation, 1998

1997

Active camera calibration using pan, tilt and roll.

Anup Basu, Kavita Ravi

IEEE Trans. Syst. Man Cybern. Part B, 1997

1996

Modular Verification of Multipliers.

Kavita Ravi, Abelardo Pardo, Gary D. Hachtel, Fabio Somenzi

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1995

An active technique for piecewise calibration of robot manipulators.

Kavita Ravi, Anup Basu

Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems, 1995

High-density reachability analysis.

Kavita Ravi, Fabio Somenzi

Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, 1995