Gil Shurek

According to our database, Gil Shurek authored at least 15 papers between 1990 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

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

Proceedings of the Service-Oriented Computing - ICSOC 2016 Workshops, 2016

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

Proceedings of the Hardware and Software: Verification and Testing, 2015

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

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2012

A New Test-Generation Methodology for System-Level Verification of Production Processes.

Allon Adir, Alex Goryachev, Lev Greenberg, Tamer Salman, Gil Shurek

Proceedings of the Hardware and Software: Verification and Testing, 2012

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

Proceedings of the Design, Automation and Test in Europe, 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

Proceedings of the 48th Design Automation Conference, 2011

Threadmill: a post-silicon exerciser for multi-threaded processors.

Allon Adir, Maxim Golubev, Shimon Landa, Amir Nahir, Gil Shurek, Vitali Sokhin, Avi Ziv

Proceedings of the 48th Design Automation Conference, 2011

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

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

An ontology and constraint based approach to cache preloading.

Rajiv Bhatia, Eyal Bin, Eitan Marcus, Gil Shurek

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010

2006

Constraint-Based Random Stimuli Generation for Hardware Verification.

Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek

Proceedings of the Proceedings, 2006

2003

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

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

Generating concurrent test-programs with collisions for multi-processor verification.

Allon Adir, Gil Shurek

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

1995

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

Proceedings of the 32st Conference on Design Automation, 1995

1990

The Modular Framework of Computer-Aided Verification.

Gil Shurek, Orna Grumberg

Proceedings of the Computer-Aided Verification, 1990