| 2008 |
|---|
| 7 | EE | Elad Yom-Tov,
Rachel Tzoref,
Shmuel Ur,
Shlomo Hoory:
Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections.
ASE 2008: 307-316 |
| 6 | EE | Yarden Nir-Buchbinder,
Rachel Tzoref,
Shmuel Ur:
Deadlocks: From Exhibiting to Healing.
RV 2008: 104-118 |
| 2007 |
|---|
| 5 | EE | Rachel Tzoref,
Shmuel Ur,
Elad Yom-Tov:
Instrumenting where it hurts: an automatic concurrent debugging technique.
ISSTA 2007: 27-38 |
| 4 | EE | Bohuslav Krena,
Zdenek Letko,
Rachel Tzoref,
Shmuel Ur,
Tomás Vojnar:
Healing data races on-the-fly.
PADTAD 2007: 54-64 |
| 2006 |
|---|
| 3 | EE | Rachel Tzoref,
Orna Grumberg:
Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation.
CAV 2006: 190-204 |
| 2 | 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) |
| 2003 |
|---|
| 1 | EE | Rachel Tzoref,
Mark Matusevich,
Eli Berger,
Ilan Beer:
An Optimized Symbolic Bounded Model Checking Engine.
CHARME 2003: 141-149 |
