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

Roy Emek

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

2006
7EEAmir Nahir, Avi Ziv, Roy Emek, Tal Keidar, Nir Ronen: Scheduling-based test-case generation for verification of multimedia SoCs. DAC 2006: 348-351
2005
6EEYehuda Naveh, Roy Emek: Random Stimuli Generation for Functional Hardware Verification as a CP Application. CP 2005: 882-882
2004
5EERoy Emek, Itai Jaeger, Yoav Katz, Yehuda Naveh: Quality Improvement Methods for System-Level Stimuli Generation. ICCD 2004: 204-206
2003
4EEAllon 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
2EEEyal 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
1EEReuven Cohen, Eyal Felstaine, Roy Emek: Framework for Multicast in Hierarchical Networks. INFOCOM 2000: 1673-1682

Coauthor Index

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

Colors in the list of coauthors

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