dblp.uni-trier.dewww.uni-trier.de

Yoav Katz

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
7EEAmotz 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
6EEShady Copty, Itai Jaeger, Yoav Katz, Michael Vinov: Intelligent Interleaving of Scenarios: A Novel Approach to System Level Test Generation. DAC 2007: 891-895
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
2005
4EEShady Copty, Itai Jaeger, Yoav Katz: Path-Based System Level Stimuli Generation. Haifa Verification Conference 2005: 1-13
2004
3EERoy Emek, Itai Jaeger, Yoav Katz, Yehuda Naveh: Quality Improvement Methods for System-Level Stimuli Generation. ICCD 2004: 204-206
2003
2EEAllon Adir, Roy Emek, Yoav Katz, Anatoly Koyfman: DeepTrans - A Model-based Approach to Functional Verification of Address Translation Mechanisms. MTV 2003: 3-6
2002
1EEAmotz 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)