Roy Emek

	2006
7		Amir Nahir, Avi Ziv, Roy Emek, Tal Keidar, Nir Ronen: Scheduling-based test-case generation for verification of multimedia SoCs. DAC 2006: 348-351
	2005
6		Yehuda Naveh, Roy Emek: Random Stimuli Generation for Functional Hardware Verification as a CP Application. CP 2005: 882-882
	2004
5		Roy Emek, Itai Jaeger, Yoav Katz, Yehuda Naveh: Quality Improvement Methods for System-Level Stimuli Generation. ICCD 2004: 204-206
	2003
4		Allon Adir, Roy Emek, Yoav Katz, Anatoly Koyfman: DeepTrans - A Model-based Approach to Functional Verification of Address Translation Mechanisms. MTV 2003: 3-6
	2002
3		Rina Dechter, Kalev Kask, Eyal Bin, Roy Emek: Generating Random Solutions for Constraint Satisfaction Problems. AAAI/IAAI 2002: 15-21
2		Eyal Bin, Roy Emek, Gil Shurek, Avi Ziv: Using a constraint satisfaction formulation and solution techniques for random test program generation. IBM Systems Journal 41(3): 386-402 (2002)
	2000
1		Reuven Cohen, Eyal Felstaine, Roy Emek: Framework for Multicast in Hierarchical Networks. INFOCOM 2000: 1673-1682

Coauthor Index

1	Allon Adir	[4]
2	Eyal Bin	[2] [3]
3	Reuven Cohen	[1]
4	Rina Dechter	[3]
5	Eyal Felstaine	[1]
6	Itai Jaeger	[5]
7	Kalev Kask	[3]
8	Yoav Katz	[4] [5]
9	Tal Keidar	[7]
10	Anatoly Koyfman	[4]
11	Amir Nahir	[7]
12	Yehuda Naveh	[5] [6]
13	Nir Ronen	[7]
14	Gil Shurek	[2]
15	Avi Ziv	[2] [7]

Colors in the list of coauthors

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