The SCEAS System
| |||||||

## 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.002secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |