2008 |
19 | EE | Hyondeuk Kim,
HoonSang Jin,
Kavita Ravi,
Petr Spacek,
John Pierce,
Robert P. Kurshan,
Fabio Somenzi:
Application of Formal Word-Level Analysis to Constrained Random Simulation.
CAV 2008: 487-490 |
18 | EE | Saqib Sohail,
Fabio Somenzi,
Kavita Ravi:
A Hybrid Algorithm for LTL Games.
VMCAI 2008: 309-323 |
2006 |
17 | EE | Chao Wang,
Roderick Bloem,
Gary D. Hachtel,
Kavita Ravi,
Fabio Somenzi:
Compositional SCC Analysis for Language Emptiness.
Formal Methods in System Design 28(1): 5-36 (2006) |
2004 |
16 | EE | Kavita Ravi,
Fabio Somenzi:
Minimal Assignments for Bounded Model Checking.
TACAS 2004: 31-45 |
15 | EE | HoonSang Jin,
Kavita Ravi,
Fabio Somenzi:
Fate and free will in error traces.
STTT 6(2): 102-116 (2004) |
2002 |
14 | EE | Fabio Somenzi,
Kavita Ravi,
Roderick Bloem:
Analysis of Symbolic SCC Hull Algorithms.
FMCAD 2002: 88-105 |
13 | EE | HoonSang Jin,
Kavita Ravi,
Fabio Somenzi:
Fate and Free Will in Error Traces.
TACAS 2002: 445-459 |
2001 |
12 | EE | Chao Wang,
Roderick Bloem,
Gary D. Hachtel,
Kavita Ravi,
Fabio Somenzi:
Divide and Compose: SCC Refinement for Language Emptiness.
CONCUR 2001: 456-471 |
2000 |
11 | EE | In-Ho Moon,
James H. Kukula,
Kavita Ravi,
Fabio Somenzi:
To split or to conjoin: the question in image computation.
DAC 2000: 23-28 |
10 | EE | Roderick Bloem,
Kavita Ravi,
Fabio Somenzi:
Symbolic guided search for CTL model checking.
DAC 2000: 29-34 |
9 | EE | Kavita Ravi,
Roderick Bloem,
Fabio Somenzi:
A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles.
FMCAD 2000: 143-160 |
1999 |
8 | EE | Roderick Bloem,
Kavita Ravi,
Fabio Somenzi:
Efficient Decision Procedures for Model Checking of Linear Time Logic Properties.
CAV 1999: 222-235 |
7 | EE | Kavita Ravi,
Fabio Somenzi:
Hints to accelerate Symbolic Traversal.
CHARME 1999: 250-264 |
6 | EE | Kavita Ravi,
Fabio Somenzi:
Efficient Fixpoint Computation for Invariant Checking.
ICCD 1999: 467- |
1998 |
5 | EE | Kavita Ravi,
Kenneth L. McMillan,
Thomas R. Shiple,
Fabio Somenzi:
Approximation and Decomposition of Binary Decision Diagrams.
DAC 1998: 445-450 |
1997 |
4 | | Anup Basu,
Kavita Ravi:
Active camera calibration using pan, tilt and roll.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 27(3): 559-566 (1997) |
1996 |
3 | | Kavita Ravi,
Abelardo Pardo,
Gary D. Hachtel,
Fabio Somenzi:
Modular Verification of Multipliers.
FMCAD 1996: 49-63 |
1995 |
2 | EE | Kavita Ravi,
Fabio Somenzi:
High-density reachability analysis.
ICCAD 1995: 154-158 |
1 | | Anup Basu,
Kavita Ravi:
Active Camera Calibration Using Pan, Tilt and Roll.
ICRA 1995: 2961-2967 |