Gil Shurek

IBM Research - Haifa — Israel

Computer Science · Physical Sciences

11h-index641citations20works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Testing and Debugging Techniques(8), Embedded Systems Design Techniques(6), VLSI and Analog Circuit Testing(5), Formal Methods in Verification(4), Constraint Satisfaction and Optimization(3)

Publications20 total

Risk Analysis Based On Design Version Control Data
2019· 2 cited
COOL: A Model-Driven and Automated System for Guided and Verifiable Cloud Solution Design
Lecture notes in computer science·2017· 4 cited
Designer-level verification: an industrial experience story
Design, Automation, and Test in Europe·2015
The Verification Cockpit – Creating the Dream Playground for Data Analytics over the Verification Process
Lecture notes in computer science·2015· 7 cited
Designer-Level Verification – An Industrial Experience Story
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015·2015
A New Test-Generation Methodology for System-Level Verification of Production Processes
Lecture notes in computer science·2013· 1 cited
Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor
2011· 21 cited
Threadmill
2011· 37 cited
A unified methodology for pre-silicon verification and post-silicon validation
2011· 62 cited
An ontology and constraint based approach to cache preloading
2010· 1 cited
Ontology-Based Tools in the Service of Hardware Verification.
Software Engineering and Knowledge Engineering·2010· 3 cited
Constraint-Based Random Stimuli Generation for Hardware Verification
AI Magazine·2007· 85 cited
Constraint-based random stimuli generation for hardware verification
2006· 50 cited
The modular framework of computer-aided verification
Lecture notes in computer science·2005· 16 cited
Generating concurrent test-programs with collisions for multi-processor verification
2003· 28 cited
Information-flow models for shared memory with an application to the powerPC architecture
IEEE Transactions on Parallel and Distributed Systems·2003· 42 cited
Constraint satisfaction for test program generation
2002· 25 cited
Using a constraint satisfaction formulation and solution techniques for random test program generation
IBM Systems Journal·2002· 88 cited
Test program generation for functional verification of PowerPC processors in IBM
1995· 164 cited
The modular framework of computer-aided verification
DIMACS series in discrete mathematics and theoretical computer science·1991· 5 cited

Frequent Co-authors

Allon Adir(6), Avi Ziv(5), Eyal Bin(3), Michal Rimon(3), Amir Nahir(3), Eitan Marcus(3), Moshe Levinger(2), Y. Naveh(2), Itai Jaeger(2), Yoav Katz(2), Michael Vinov(2), Shimon Landa(2), C. Meissner(2), John Schumann(2), Orna Grümberg(2), Raviv Gal(2), Gabor Bobok(2), Walter Kowalski(2), Shlomit Koyfman(2), Shiri Moran(2)