Gila Kamhi

2008
16	EE	Ranan Fraer, Gila Kamhi, Muhammad K. Mhameed: A new paradigm for synthesis and propagation of clock gating conditions. DAC 2008: 658-663
15	EE	Roni Wiener, Gila Kamhi, Moshe Y. Vardi: Intelligate: Scalable Dynamic Invariant Learning for Power Reduction. PATMOS 2008: 52-61
14	EE	Yoni Aizik, Gila Kamhi, Yael Zbar, Hadas Ronen, Muhammad Abozaed: Power-Aware Design via Micro-architectural Link to Implementation. PATMOS 2008: 72-81
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	Muhammad Abozaed	[14]
2	Yoni Aizik	[14]
3	Pietro Babighian	[12]
4	Ziv Binyamini	[3]
5	Fady Copty	[7] [8] [10]
6	Steve Curtis	[13]
7	Kathi Fisler	[6]
8	Limor Fix	[1] [2] [3] [4] [5] [8] [9]
9	Ranan Fraer	[4] [5] [6] [8] [11] [16]
10	Enrico Giunchiglia	[8]
11	Marcelo Glusman	[11]
12	Scott Hazelhurst	[9]
13	Amitai Irron	[7] [10]
14	Juergen Karmann	[13]
15	Stephen V. Kosonocky	[13]
16	Nathan P. Kropp	[7] [10]
17	Enrico Macii	[13]
18	Sela Mador-Haim	[11]
19	Stephen Bailey Mentor	[13]
20	Muhammad K. Mhameed	[16]
21	Sarah Miller	[13]
22	Wolfgang Nebel	[13]
23	Hadas Ronen	[14]
24	Armando Tacchella	[8]
25	Moshe Y. Vardi	[4] [5] [6] [8] [11] [12] [15]
26	Osnat Weissberg	[1] [7] [9] [10]
27	Roni Wiener	[15]
28	Y. C. Wong	[13]
29	Zijiang Yang	[6]
30	Yael Zbar	[14]
31	Barukh Ziv	[5]