Gila Kamhi

2007
13	EE	Gila Kamhi, Sarah Miller, Stephen Bailey Mentor, Wolfgang Nebel, Y. C. Wong, Juergen Karmann, Enrico Macii, Stephen V. Kosonocky, Steve Curtis: Early Power-Aware Design & Validation: Myth or Reality? DAC 2007: 210-211
12	EE	Pietro Babighian, Gila Kamhi, Moshe Y. Vardi: Interactive presentation: PowerQuest: trace driven data mining for power optimization. DATE 2007: 1078-1083
2003
11	EE	Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi: Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. TACAS 2003: 176-191
10	EE	Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi: Efficient debugging in a formal verification environment. STTT 4(3): 335-348 (2003)
2002
9	EE	Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix: A hybrid verification approach: getting deep into the design. DAC 2002: 111-116
2001
8	EE	Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi: Benefits of Bounded Model Checking at an Industrial Setting. CAV 2001: 436-453
7	EE	Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi: Efficient Debugging in a Formal Verification Environment. CHARME 2001: 275-292
6	EE	Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang: Is There a Best Symbolic Cycle-Detection Algorithm? TACAS 2001: 420-434
2000
5		Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix: Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification. CAV 2000: 389-402
1999
4	EE	Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi: Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. Electr. Notes Theor. Comput. Sci. 23(2): (1999)
1998
3	EE	Gila Kamhi, Limor Fix, Ziv Binyamini: Symbolic Model Checking Visualization. FMCAD 1998: 290-303
2	EE	Gila Kamhi, Limor Fix: Adaptive variable reordering for symbolic model checking. ICCAD 1998: 359-365
1997
1		Gila Kamhi, Osnat Weissberg, Limor Fix: Automatic Datapath Extraction for Efficient Usage of HDD. CAV 1997: 95-106

Coauthor Index

1	Pietro Babighian	[12]
2	Ziv Binyamini	[3]
3	Fady Copty	[7] [8] [10]
4	Steve Curtis	[13]
5	Kathi Fisler	[6]
6	Limor Fix	[1] [2] [3] [4] [5] [8] [9]
7	Ranan Fraer	[4] [5] [6] [8] [11]
8	Enrico Giunchiglia	[8]
9	Marcelo Glusman	[11]
10	Scott Hazelhurst	[9]
11	Amitai Irron	[7] [10]
12	Juergen Karmann	[13]
13	Stephen V. Kosonocky	[13]
14	Nathan P. Kropp	[7] [10]
15	Enrico Macii	[13]
16	Sela Mador-Haim	[11]
17	Stephen Bailey Mentor	[13]
18	Sarah Miller	[13]
19	Wolfgang Nebel	[13]
20	Armando Tacchella	[8]
21	Moshe Y. Vardi	[4] [5] [6] [8] [11] [12]
22	Osnat Weissberg	[1] [7] [9] [10]
23	Y. C. Wong	[13]
24	Zijiang Yang	[6]
25	Barukh Ziv	[5]