Gil Shurek

17 papers A* 5A 2C 1Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2016 — conf
COOL: A Model-Driven and Automated System for Guided and Verifiable Cloud Solution Design.
ICSOC Workshops
Hamid R. Motahari Nezhad, Karen Yorav, Peifeng Yin, Taiga Nakamura, Scott Trent, Gil Shurek, Takayuki Kushida, Uma Subramanian
2015 A conf
Designer-level verification: an industrial experience story.
DATE
Stephen Bergman, Gabor Bobok, Walter Kowalski, Shlomit Koyfman, Shiri Moran, Ziv Nevo, Avigail Orni, Viresh Paruthi, Wolfgang Roesner, Gil Shurek, Vasantha Vuyyuru
2015 — conf
The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process.
Haifa Verification Conference
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
2012 — conf
A New Test-Generation Methodology for System-Level Verification of Production Processes.
Haifa Verification Conference
Allon Adir, Alex Goryachev, Lev Greenberg, Tamer Salman, Gil Shurek
2011 A conf
A unified methodology for pre-silicon verification and post-silicon validation.
DATE
Allon Adir, Shady Copty, Shimon Landa, Amir Nahir, Gil Shurek, Avi Ziv, Charles Meissner, John Schumann
2011 A* conf
Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor.
DAC
Allon Adir, Amir Nahir, Gil Shurek, Avi Ziv, Charles Meissner, John Schumann
2011 A* conf
Threadmill: a post-silicon exerciser for multi-threaded processors.
DAC
Allon Adir, Maxim Golubev, Shimon Landa, Amir Nahir, Gil Shurek, Vitali Sokhin, Avi Ziv
2010 — conf
An ontology and constraint based approach to cache preloading.
HLDVT
Rajiv Bhatia, Eyal Bin, Eitan Marcus, Gil Shurek
2010 C conf
Ontology-Based Tools in the Service of Hardware Verification.
SEKE
Eyal Bin, Alaa Ghanayim, Karen Holtz, Eitan Marcus, Ronny Morad, Ofer Peled, Michal Rimon, Gil Shurek, Elena Tsanko
2007 J jnl
Constraint-Based Random Stimuli Generation for Hardware Verification.
AI Mag.
Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek
2006 A* conf
Constraint-Based Random Stimuli Generation for Hardware Verification.
AAAI
Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek
2003 J jnl
Information-Flow Models for Shared Memory with an Application to the PowerPC Architecture.
IEEE Trans. Parallel Distributed Syst.
Allon Adir, Hagit Attiya, Gil Shurek
2002 — conf
Generating concurrent test-programs with collisions for multi-processor verification.
HLDVT
Allon Adir, Gil Shurek
2002 J jnl
Using a constraint satisfaction formulation and solution techniques for random test program generation.
IBM Syst. J.
Eyal Bin, Roy Emek, Gil Shurek, Avi Ziv
1995 A* conf
Test Program Generation for Functional Verification of PowerPC Processors in IBM.
DAC
Aharon Aharon, Dave Goodman, Moshe Levinger, Yossi Lichtenstein, Yossi Malka, Charlotte Metzger, Moshe Molcho, Gil Shurek
1990 A* conf
The Modular Framework of Computer-Aided Verification.
CAV
Gil Shurek, Orna Grumberg
1990 — conf
The Modular Framework of Computer-Aided Verification.
CAV (DIMACS/AMS volume)
Gil Shurek, Orna Grumberg