Kavita Ravi

	2008
19		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		Saqib Sohail, Fabio Somenzi, Kavita Ravi: A Hybrid Algorithm for LTL Games. VMCAI 2008: 309-323
	2006
17		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		Kavita Ravi, Fabio Somenzi: Minimal Assignments for Bounded Model Checking. TACAS 2004: 31-45
15		HoonSang Jin, Kavita Ravi, Fabio Somenzi: Fate and free will in error traces. STTT 6(2): 102-116 (2004)
	2002
14		Fabio Somenzi, Kavita Ravi, Roderick Bloem: Analysis of Symbolic SCC Hull Algorithms. FMCAD 2002: 88-105
13		HoonSang Jin, Kavita Ravi, Fabio Somenzi: Fate and Free Will in Error Traces. TACAS 2002: 445-459
	2001
12		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		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		Roderick Bloem, Kavita Ravi, Fabio Somenzi: Symbolic guided search for CTL model checking. DAC 2000: 29-34
9		Kavita Ravi, Roderick Bloem, Fabio Somenzi: A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles. FMCAD 2000: 143-160
	1999
8		Roderick Bloem, Kavita Ravi, Fabio Somenzi: Efficient Decision Procedures for Model Checking of Linear Time Logic Properties. CAV 1999: 222-235
7		Kavita Ravi, Fabio Somenzi: Hints to accelerate Symbolic Traversal. CHARME 1999: 250-264
6		Kavita Ravi, Fabio Somenzi: Efficient Fixpoint Computation for Invariant Checking. ICCD 1999: 467-
	1998
5		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		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

Coauthor Index

1	Anup Basu	[1] [4]
2	Roderick Bloem	[8] [9] [10] [12] [14] [17]
3	Gary D. Hachtel	[3] [12] [17]
4	HoonSang Jin	[13] [15] [19]
5	Hyondeuk Kim	[19]
6	James H. Kukula	[11]
7	Robert P. Kurshan	[19]
8	Kenneth L. McMillan	[5]
9	In-Ho Moon	[11]
10	Abelardo Pardo	[3]
11	John Pierce	[19]
12	Thomas R. Shiple	[5]
13	Saqib Sohail	[18]
14	Fabio Somenzi	[2] [3] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19]
15	Petr Spacek	[19]
16	Chao Wang	[12] [17]

Colors in the list of coauthors