Rachel Tzoref

Rachel Tzoref-Brill

	2009
8		Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Tomás Vojnar: A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. RV 2009: 101-114
	2008
7		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		Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur: Deadlocks: From Exhibiting to Healing. RV 2008: 104-118
	2007
5		Rachel Tzoref, Shmuel Ur, Elad Yom-Tov: Instrumenting where it hurts: an automatic concurrent debugging technique. ISSTA 2007: 27-38
4		Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar: Healing data races on-the-fly. PADTAD 2007: 54-64
	2006
3		Rachel Tzoref, Orna Grumberg: Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation. CAV 2006: 190-204
2		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		Rachel Tzoref, Mark Matusevich, Eli Berger, Ilan Beer: An Optimized Symbolic Bounded Model Checking Engine. CHARME 2003: 141-149

Coauthor Index

1	Ilan Beer	[1]
2	Eli Berger	[1]
3	Daniel Geist	[2]
4	Mark Ginzburg	[2]
5	Orna Grumberg	[3]
6	Shlomo Hoory	[7]
7	Bohuslav Krena	[4] [8]
8	Zdenek Letko	[4] [8]
9	Yoad Lustig	[2]
10	Mark Matusevich	[1]
11	Yarden Nir-Buchbinder (Yarden Nir)	[6] [8]
12	Ishai Rabinovitz	[2]
13	Ohad Shacham	[2]
14	Shmuel Ur	[4] [5] [6] [7] [8]
15	Tomás Vojnar	[4] [8]
16	Elad Yom-Tov	[5] [7]