Gil Shurek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
1990–2016
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ICSOC | 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 |
| 2015 | DATE | 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 |
| 2011 | DAC | Threadmill: a post-silicon exerciser for multi-threaded processors. | Allon Adir, Maxim Golubev, Shimon Landa, Amir Nahir, Gil Shurek, Vitali Sokhin, Avi Ziv |
| 2011 | DAC | 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 |
| 2011 | DATE | 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 |
| 2010 | SEKE | 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 |
| 2006 | AAAI | Constraint-Based Random Stimuli Generation for Hardware Verification. | Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek |
| 1995 | DAC | 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 |
| 1990 | CAV | The Modular Framework of Computer-Aided Verification. | Gil Shurek, Orna Grumberg |