Improving test quality through resource reallocation. - Allon Adir; Eitan Marcus; Michal Rimon; Amir Voskoboynik (HLDVT, 2001)

Hole analysis for functional coverage data. - Oded Lachish; Eitan Marcus; Shmuel Ur; Avi Ziv (DAC, 2002)

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

Defining coverage views to improve functional coverage analysis. - Sigal Asaf; Eitan Marcus; Avi Ziv (DAC, 2004)

Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification. - Allon Adir; Eli Almog; Laurent Fournier; Eitan Marcus; Michal Rimon; Michael Vinov; Avi Ziv (IEEE Des. Test Comput., 2004)

Advanced Analysis Techniques for Cross-Product Coverage. - Hezi Azatchi; Laurent Fournier; Eitan Marcus; Shmuel Ur; Avi Ziv; Keren Zohar (IEEE Trans. Computers, 2006)

Constraint-Based Random Stimuli Generation for Hardware Verification. - Yehuda Naveh; Michal Rimon; Itai Jaeger; Yoav Katz; Michael Vinov; Eitan Marcus; Gil Shurek (AI Mag., 2007)

An ontology and constraint based approach to cache preloading. - Rajiv Bhatia; Eyal Bin; Eitan Marcus; Gil Shurek (HLDVT, 2010)

Ontology-Based Tools in the Service of Hardware Verification. - Eyal Bin; Alaa Ghanayim; Karen Holtz; Eitan Marcus; Ronny Morad; Ofer Peled; Michal Rimon; Gil Shurek; Elena Tsanko (SEKE, 2010)

Enhancing Scenario Quality Using Quasi-Events. - Yoav Katz; Eitan Marcus; Avi Ziv (Haifa Verification Conference, 2014)