The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kavita Ravi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Kavita Ravi, Fabio Somenzi
    Hints to accelerate Symbolic Traversal. [Citation Graph (0, 0)][DBLP]
    CHARME, 1999, pp:250-264 [Conf]
  3. 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]
  4. Roderick Bloem, Kavita Ravi, Fabio Somenzi
    Symbolic guided search for CTL model checking. [Citation Graph (0, 0)][DBLP]
    DAC, 2000, pp:29-34 [Conf]
  5. 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]
  6. 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]
  7. Fabio Somenzi, Kavita Ravi, Roderick Bloem
    Analysis of Symbolic SCC Hull Algorithms. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2002, pp:88-105 [Conf]
  8. 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]
  9. Kavita Ravi, Abelardo Pardo, Gary D. Hachtel, Fabio Somenzi
    Modular Verification of Multipliers. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1996, pp:49-63 [Conf]
  10. Kavita Ravi, Fabio Somenzi
    High-density reachability analysis. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1995, pp:154-158 [Conf]
  11. Kavita Ravi, Fabio Somenzi
    Efficient Fixpoint Computation for Invariant Checking. [Citation Graph (0, 0)][DBLP]
    ICCD, 1999, pp:467-0 [Conf]
  12. Anup Basu, Kavita Ravi
    Active Camera Calibration Using Pan, Tilt and Roll. [Citation Graph (0, 0)][DBLP]
    ICRA, 1995, pp:2961-2967 [Conf]
  13. HoonSang Jin, Kavita Ravi, Fabio Somenzi
    Fate and Free Will in Error Traces. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:445-459 [Conf]
  14. Kavita Ravi, Fabio Somenzi
    Minimal Assignments for Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:31-45 [Conf]
  15. 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]
  16. 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]
  17. 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]

  18. Application of Formal Word-Level Analysis to Constrained Random Simulation. [Citation Graph (, )][DBLP]


  19. A Hybrid Algorithm for LTL Games. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002