The Modular Framework of Computer-Aided Verification. - Gil Shurek; Orna Grumberg (CAV, 1990)

Test Program Generation for Functional Verification of PowerPC Processors in IBM. - Aharon Aharon; Dave Goodman; Moshe Levinger; Yossi Lichtenstein; Yossi Malka; Charlotte Metzger; Moshe Molcho; Gil Shurek (DAC, 1995)

Generating concurrent test-programs with collisions for multi-processor verification. - Allon Adir; Gil Shurek (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)

Information-Flow Models for Shared Memory with an Application to the PowerPC Architecture. - Allon Adir; Hagit Attiya; Gil Shurek (IEEE Trans. Parallel Distributed Syst., 2003)

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)

Threadmill: a post-silicon exerciser for multi-threaded processors. - Allon Adir; Maxim Golubev; Shimon Landa; Amir Nahir; Gil Shurek; Vitali Sokhin; Avi Ziv (DAC, 2011)

Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor. - Allon Adir; Amir Nahir; Gil Shurek; Avi Ziv; Charles Meissner; John Schumann (DAC, 2011)

A unified methodology for pre-silicon verification and post-silicon validation. - Allon Adir; Shady Copty; Shimon Landa; Amir Nahir; Gil Shurek; Avi Ziv; Charles Meissner; John Schumann (DATE, 2011)

A New Test-Generation Methodology for System-Level Verification of Production Processes. - Allon Adir; Alex Goryachev; Lev Greenberg; Tamer Salman; Gil Shurek (Haifa Verification Conference, 2012)

Designer-level verification: an industrial experience story. - Stephen Bergman; Gabor Bobok; Walter Kowalski; Shlomit Koyfman; Shiri Moran; Ziv Nevo; Avigail Orni; Viresh Paruthi; Wolfgang Roesner; Gil Shurek; Vasantha Vuyyuru (DATE, 2015)

The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process. - Moab Arar; Michael L. Behm; Odellia Boni; Raviv Gal; Alex Goldin; Maxim Ilyaev; Einat Kermany; John R. Reysa; Bilal Saleh; Klaus-Dieter Schubert; Gil Shurek; Avi Ziv (Haifa Verification Conference, 2015)

COOL: A Model-Driven and Automated System for Guided and Verifiable Cloud Solution Design. - Hamid R. Motahari Nezhad; Karen Yorav; Peifeng Yin; Taiga Nakamura; Scott Trent; Gil Shurek; Takayuki Kushida; Uma Subramanian (ICSOC Workshops, 2016)