Search the dblp DataBase

Publications of Author

1. Rachel Tzoref, Orna Grumberg
   Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation. [Citation Graph (0, 0)][DBLP]
   CAV, 2006, pp:190-204 [Conf]
   
2. Rachel Tzoref, Mark Matusevich, Eli Berger, Ilan Beer
   An Optimized Symbolic Bounded Model Checking Engine. [Citation Graph (0, 0)][DBLP]
   CHARME, 2003, pp:141-149 [Conf]
   
3. Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref
   Supporting SAT based BMC on Finite Path Models. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:1, pp:67-77 [Journal]
   
4. Rachel Tzoref, Shmuel Ur, Elad Yom-Tov
   Instrumenting where it hurts: an automatic concurrent debugging technique. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2007, pp:27-38 [Conf]
   
5. 
   Healing data races on-the-fly. [Citation Graph (, )][DBLP]
   
   
6. 
   Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections. [Citation Graph (, )][DBLP]
   
   
7. 
   Deadlocks: From Exhibiting to Healing. [Citation Graph (, )][DBLP]