Yoav Katz

	2012
10		Yoav Katz, Michal Rimon, Avi Ziv: Generating instruction streams using abstract CSP. DATE 2012: 15-20
	2011
9		Yoav Katz, Michal Rimon, Avi Ziv, Gai Shaked: Learning microarchitectural behaviors to improve stimuli generation quality. DAC 2011: 848-853
	2009
8		Amotz Bar-Noy, Sudipto Guha, Yoav Katz, Joseph Naor, Baruch Schieber, Hadas Shachnai: Throughput maximization of real-time scheduling with batching. ACM Transactions on Algorithms 5(2): (2009)
	2007
7		Shady Copty, Itai Jaeger, Yoav Katz, Michael Vinov: Intelligent Interleaving of Scenarios: A Novel Approach to System Level Test Generation. DAC 2007: 891-895
6		Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan s Marcu, Gil Shurek: Constraint-Based Random Stimuli Generation for Hardware Verification. AI Magazine 28(3): 13-30 (2007)
	2006
5		Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek: Constraint-Based Random Stimuli Generation for Hardware Verification. AAAI 2006: 1720-1727
	2005
4		Shady Copty, Itai Jaeger, Yoav Katz: Path-Based System Level Stimuli Generation. Haifa Verification Conference 2005: 1-13
	2004
3		Roy Emek, Itai Jaeger, Yoav Katz, Yehuda Naveh: Quality Improvement Methods for System-Level Stimuli Generation. ICCD 2004: 204-206
	2003
2		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
1		Amotz Bar-Noy, Sudipto Guha, Yoav Katz, Joseph Naor, Baruch Schieber, Hadas Shachnai: Throughput maximization of real-time scheduling with batching. SODA 2002: 742-751

Coauthor Index

1	Allon Adir	[2]
2	Amotz Bar-Noy	[1] [8]
3	Shady Copty	[4] [7]
4	Roy Emek	[2] [3]
5	Sudipto Guha	[1] [8]
6	Itai Jaeger	[3] [4] [5] [6] [7]
7	Anatoly Koyfman	[2]
8	Eitan s Marcu	[6]
9	Eitan Marcus	[5]
10	Joseph Naor (Seffi Naor)	[1] [8]
11	Yehuda Naveh	[3] [5] [6]
12	Michal Rimon	[5] [6] [9] [10]
13	Baruch Schieber	[1] [8]
14	Hadas Shachnai	[1] [8]
15	Gai Shaked	[9]
16	Gil Shurek	[5] [6]
17	Michael Vinov	[5] [6] [7]
18	Avi Ziv	[9] [10]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page