Kavita Ravi

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