Search the dblp DataBase
Kavita Ravi :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Roderick Bloem , Kavita Ravi , Fabio Somenzi Efficient Decision Procedures for Model Checking of Linear Time Logic Properties. [Citation Graph (0, 0)][DBLP ] CAV, 1999, pp:222-235 [Conf ] Kavita Ravi , Fabio Somenzi Hints to accelerate Symbolic Traversal. [Citation Graph (0, 0)][DBLP ] CHARME, 1999, pp:250-264 [Conf ] Chao Wang , Roderick Bloem , Gary D. Hachtel , Kavita Ravi , Fabio Somenzi Divide and Compose: SCC Refinement for Language Emptiness. [Citation Graph (0, 0)][DBLP ] CONCUR, 2001, pp:456-471 [Conf ] Roderick Bloem , Kavita Ravi , Fabio Somenzi Symbolic guided search for CTL model checking. [Citation Graph (0, 0)][DBLP ] DAC, 2000, pp:29-34 [Conf ] In-Ho Moon , James H. Kukula , Kavita Ravi , Fabio Somenzi To split or to conjoin: the question in image computation. [Citation Graph (0, 0)][DBLP ] DAC, 2000, pp:23-28 [Conf ] Kavita Ravi , Kenneth L. McMillan , Thomas R. Shiple , Fabio Somenzi Approximation and Decomposition of Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP ] DAC, 1998, pp:445-450 [Conf ] Fabio Somenzi , Kavita Ravi , Roderick Bloem Analysis of Symbolic SCC Hull Algorithms. [Citation Graph (0, 0)][DBLP ] FMCAD, 2002, pp:88-105 [Conf ] Kavita Ravi , Roderick Bloem , Fabio Somenzi A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles. [Citation Graph (0, 0)][DBLP ] FMCAD, 2000, pp:143-160 [Conf ] Kavita Ravi , Abelardo Pardo , Gary D. Hachtel , Fabio Somenzi Modular Verification of Multipliers. [Citation Graph (0, 0)][DBLP ] FMCAD, 1996, pp:49-63 [Conf ] Kavita Ravi , Fabio Somenzi High-density reachability analysis. [Citation Graph (0, 0)][DBLP ] ICCAD, 1995, pp:154-158 [Conf ] Kavita Ravi , Fabio Somenzi Efficient Fixpoint Computation for Invariant Checking. [Citation Graph (0, 0)][DBLP ] ICCD, 1999, pp:467-0 [Conf ] Anup Basu , Kavita Ravi Active Camera Calibration Using Pan, Tilt and Roll. [Citation Graph (0, 0)][DBLP ] ICRA, 1995, pp:2961-2967 [Conf ] HoonSang Jin , Kavita Ravi , Fabio Somenzi Fate and Free Will in Error Traces. [Citation Graph (0, 0)][DBLP ] TACAS, 2002, pp:445-459 [Conf ] Kavita Ravi , Fabio Somenzi Minimal Assignments for Bounded Model Checking. [Citation Graph (0, 0)][DBLP ] TACAS, 2004, pp:31-45 [Conf ] Chao Wang , Roderick Bloem , Gary D. Hachtel , Kavita Ravi , Fabio Somenzi Compositional SCC Analysis for Language Emptiness. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 2006, v:28, n:1, pp:5-36 [Journal ] HoonSang Jin , Kavita Ravi , Fabio Somenzi Fate and free will in error traces. [Citation Graph (0, 0)][DBLP ] STTT, 2004, v:6, n:2, pp:102-116 [Journal ] Anup Basu , Kavita Ravi Active camera calibration using pan, tilt and roll. [Citation Graph (0, 0)][DBLP ] IEEE Transactions on Systems, Man, and Cybernetics, Part B, 1997, v:27, n:3, pp:559-566 [Journal ] Application of Formal Word-Level Analysis to Constrained Random Simulation. [Citation Graph (, )][DBLP ] A Hybrid Algorithm for LTL Games. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.004secs