| * | 2009 |
|---|
| 8 | EE | Ohad Shacham,
Martin T. Vechev,
Eran Yahav:
Chameleon: adaptive selection of collections.
PLDI 2009: 408-418 |
| 2008 |
|---|
| 7 | EE | Omer Bar-Ilan,
Oded Fuhrmann,
Shlomo Hoory,
Ohad Shacham,
Ofer Strichman:
Linear-Time Reductions of Resolution Proofs.
Haifa Verification Conference 2008: 114-128 |
| 2007 |
|---|
| 6 | EE | Ohad Shacham,
Karen Yorav:
On-The-Fly Resolve Trace Minimization.
DAC 2007: 594-599 |
| 5 | EE | Ohad Shacham,
Mooly Sagiv,
Assaf Schuster:
Scaling model checking of dataraces using dynamic information.
J. Parallel Distrib. Comput. 67(5): 536-550 (2007) |
| 2006 |
|---|
| 4 | EE | Ohad Shacham,
Karen Yorav:
Adaptive Application of SAT Solving Techniques.
Electr. Notes Theor. Comput. Sci. 144(1): 35-50 (2006) |
| 3 | EE | Daniel Geist,
Mark Ginzburg,
Yoad Lustig,
Ishai Rabinovitz,
Ohad Shacham,
Rachel Tzoref:
Supporting SAT based BMC on Finite Path Models.
Electr. Notes Theor. Comput. Sci. 144(1): 67-77 (2006) |
| 2005 |
|---|
| 2 | EE | Ohad Shacham,
Mooly Sagiv,
Assaf Schuster:
Scaling model checking of dataraces using dynamic information.
PPOPP 2005: 107-118 |
| 2003 |
|---|
| 1 | EE | Ohad Shacham,
Emmanuel Zarpas:
Tuning the VSIDS Decision Heuristic for Bounded Model Checking.
MTV 2003: 75- |
