Fady Copty

	2010
4		Gadiel Auerbach, Fady Copty, Viresh Paruthi: Formal verification of arbiters using property strengthening and underapproximations. FMCAD 2010: 21-24
	2003
3		Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi: Efficient debugging in a formal verification environment. STTT 4(3): 335-348 (2003)
	2001
2		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
1		Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi: Efficient Debugging in a Formal Verification Environment. CHARME 2001: 275-292

Coauthor Index

1	Gadiel Auerbach	[4]
2	Limor Fix	[2]
3	Ranan Fraer	[2]
4	Enrico Giunchiglia	[2]
5	Amitai Irron	[1] [3]
6	Gila Kamhi	[1] [2] [3]
7	Nathan P. Kropp	[1] [3]
8	Viresh Paruthi	[4]
9	Armando Tacchella	[2]
10	Moshe Y. Vardi	[2]
11	Osnat Weissberg	[1] [3]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page