Gila Kamhi

	2009
18		Gila Kamhi, Alexander Novakovsky, Andreas Tiemeyer, Adriana Wolffberg: MAGENTA: transaction-based statistical micro-architectural root-cause analysis. DAC 2009: 639-643
	2008
17		Ranan Fraer, Gila Kamhi, Muhammad K. Mhameed: A new paradigm for synthesis and propagation of clock gating conditions. DAC 2008: 658-663
16		Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman: A Temporal Language for SystemC. FMCAD 2008: 1-9
15		Roni Wiener, Gila Kamhi, Moshe Y. Vardi: Intelligate: Scalable Dynamic Invariant Learning for Power Reduction. PATMOS 2008: 52-61
14		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		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		Pietro Babighian, Gila Kamhi, Moshe Y. Vardi: Interactive presentation: PowerQuest: trace driven data mining for power optimization. DATE 2007: 1078-1083
	2003
11		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		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		Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix: A hybrid verification approach: getting deep into the design. DAC 2002: 111-116
	2001
8		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		Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi: Efficient Debugging in a Formal Verification Environment. CHARME 2001: 275-292
6		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		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		Gila Kamhi, Limor Fix, Ziv Binyamini: Symbolic Model Checking Visualization. FMCAD 1998: 290-303
2		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] [17]
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	[17]
21	Sarah Miller	[13]
22	Wolfgang Nebel	[13]
23	Alexander Novakovsky	[18]
24	Hadas Ronen	[14]
25	Eli Singerman	[16]
26	Deian Tabakov	[16]
27	Armando Tacchella	[8]
28	Andreas Tiemeyer	[18]
29	Moshe Y. Vardi	[4] [5] [6] [8] [11] [12] [15] [16]
30	Osnat Weissberg	[1] [7] [9] [10]
31	Roni Wiener	[15]
32	Adriana Wolffberg	[18]
33	Y. C. Wong	[13]
34	Zijiang Yang	[6]
35	Yael Zbar	[14]
36	Barukh Ziv	[5]