Framework for Multicast in Hierarchical Networks. - Reuven Cohen; Eyal Felstaine; Roy Emek (INFOCOM, 2000)

Generating Random Solutions for Constraint Satisfaction Problems. - Rina Dechter; Kalev Kask; Eyal Bin; Roy Emek (AAAI/IAAI, 2002)

Adaptive test program generation: planning for the unplanned. - Allon Adir; Roy Emek; Eitan Marcus (HLDVT, 2002)

X-Gen: a random test-case generator for systems and SoCs. - Roy Emek; Itai Jaeger; Yehuda Naveh; Gadi Bergman; Guy Aloni; Yoav Katz; Monica Farkash; Igor Dozoretz; Alex Goldin (HLDVT, 2002)

Using a constraint satisfaction formulation and solution techniques for random test program generation. - Eyal Bin; Roy Emek; Gil Shurek; Avi Ziv (IBM Syst. J., 2002)

Scheduling of transactions for system-level test-case generation. - Roy Emek; Yehuda Naveh (HLDVT, 2003)

DeepTrans - A Model-based Approach to Functional Verification of Address Translation Mechanisms. - Allon Adir; Roy Emek; Yoav Katz; Anatoly Koyfman (MTV, 2003)

Quality Improvement Methods for System-Level Stimuli Generation. - Roy Emek; Itai Jaeger; Yoav Katz; Yehuda Naveh (ICCD, 2004)

Random Stimuli Generation for Functional Hardware Verification as a CP Application. - Yehuda Naveh; Roy Emek (CP, 2005)

Reuse in system-level stimuli-generation. - Yoav Katz; Itai Jaeger; Roy Emek; Yossi Lichtenstein; Anita Devadason; Audrey Romonosky (HLDVT, 2005)

Scheduling-based test-case generation for verification of multimedia SoCs. - Amir Nahir; Avi Ziv; Roy Emek; Tal Keidar; Nir Ronen (DAC, 2006)