Yarden Nir-Buchbinder

Yarden Nir

	2009
10		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
9		Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur: Deadlocks: From Exhibiting to Healing. RV 2008: 104-118
	2007
8		Yarden Nir-Buchbinder, Shmuel Ur: ConTest listeners: a concurrency-oriented infrastructure for Java test and heal tools. SOQUA 2007: 9-16
	2006
7		Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz: Formal verification of concurrent software: two case studies. PADTAD 2006: 11-22
	2005
6		Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur: Applications of synchronization coverage. PPOPP 2005: 206-212
	2004
5		Eitan Farchi, Yoel Krasny, Yarden Nir: Automatic Simulation of Network Problems in UDP-Based Java Programs. IPDPS 2004
	2003
4		Eitan Farchi, Yarden Nir, Shmuel Ur: Concurrent Bug Patterns and How to Test Them. IPDPS 2003: 286
3		Orit Edelstein, Eitan Farchi, Evgeny Goldin, Yarden Nir, Gil Ratsaby, Shmuel Ur: Framework for testing multi-threaded Java programs. Concurrency and Computation: Practice and Experience 15(3-5): 485-499 (2003)
	2002
2		Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur: Multithreaded Java program test generation. IBM Systems Journal 41(1): 111-125 (2002)
	2001
1		Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur: Multithreaded Java program test generation. Java Grande 2001: 181

Coauthor Index

1	Arkady Bron	[6]
2	Hana Chockler	[7]
3	Orit Edelstein	[1] [2] [3]
4	Eitan Farchi	[1] [2] [3] [4] [5] [6] [7]
5	Ziv Glazberg	[7]
6	Benny Godlin	[7]
7	Evgeny Goldin	[3]
8	Yoel Krasny	[5]
9	Bohuslav Krena	[10]
10	Zdenek Letko	[10]
11	Yonit Magid	[6]
12	Ishai Rabinovitz	[7]
13	Gil Ratsaby	[1] [2] [3]
14	Rachel Tzoref (Rachel Tzoref-Brill)	[9] [10]
15	Shmuel Ur	[1] [2] [3] [4] [6] [8] [9] [10]
16	Tomás Vojnar	[10]