Michael Vinov

	2007
5		Shady Copty, Itai Jaeger, Yoav Katz, Michael Vinov: Intelligent Interleaving of Scenarios: A Novel Approach to System Level Test Generation. DAC 2007: 891-895
	2006
4		Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek: Constraint-Based Random Stimuli Generation for Hardware Verification. AAAI 2006
	2005
3		Allon Adir, Yaron Arbetman, Bella Dubrov, Yossi Lichtenstein, Michal Rimon, Michael Vinov, Massimo A. Calligaro, Andrew Cofler, Gabriel Duffy: VLIW: a case study of parallelism verification. DAC 2005: 779-782
	2004
2		Michael L. Behm, John M. Ludden, Yossi Lichtenstein, Michal Rimon, Michael Vinov: Industrial experience with test generation languages for processor verification. DAC 2004: 36-40
1		Allon Adir, Eli Almog, Laurent Fournier, Eitan Marcus, Michal Rimon, Michael Vinov, Avi Ziv: Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification. IEEE Design & Test of Computers 21(2): 84-93 (2004)

Coauthor Index

1	Allon Adir	[1] [3]
2	Eli Almog	[1]
3	Yaron Arbetman	[3]
4	Michael L. Behm	[2]
5	Massimo A. Calligaro	[3]
6	Andrew Cofler	[3]
7	Shady Copty	[5]
8	Bella Dubrov	[3]
9	Gabriel Duffy	[3]
10	Laurent Fournier	[1]
11	Itai Jaeger	[4] [5]
12	Yoav Katz	[4] [5]
13	Yossi Lichtenstein	[2] [3]
14	John M. Ludden	[2]
15	Eitan Marcus	[1] [4]
16	Yehuda Naveh	[4]
17	Michal Rimon	[1] [2] [3] [4]
18	Gil Shurek	[4]
19	Avi Ziv	[1]