Eitan Farchi

	2011
47		João Lourenço, Eitan Farchi: Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011, Toronto, ON, Canada, July 17-21, 2011 ACM 2011
46		Itai Segall, Rachel Tzoref-Brill, Eitan Farchi: Using binary decision diagrams for combinatorial test design. ISSTA 2011: 254-264
45		Vasco Pessanha, Ricardo J. Dias, João Lourenço, Eitan Farchi, Diogo Sousa: Practical verification of high-level dataraces in transactional memory programs. PADTAD 2011: 26-34
44		Peleg Yiftachel, Irit Hadar, Dan Peled, Eitan Farchi, Dan Goldwasser: The Study of Resource Allocation among Software Development Phases: An Economics-Based Approach. Adv. Software Engineering 2011: (2011)
	2010
43		Yochai Ben-Chaim, Meira Levy, Irit Hadar, Eitan Farchi, Alla Bronshtein: Engaging Stakeholders in Globally Distributed Software Development Processes. MCIS 2010: 14
42		Bruno C. Teixeira, João Lourenço, Eitan Farchi, Ricardo J. Dias, Diogo Sousa: Detection of Transactional Memory anomalies using static analysis. PDATAD 2010: 26-36
41		Yao Qi, Yarden Nir-Buchbinder, Eitan Farchi, Raja Das, Zhi Da Luo, Zhi Gan: Unit testing for concurrent business code. PDATAD 2010: 37-47
40		Rahul Agarwal, Saddek Bensalem, Eitan Farchi, Klaus Havelund, Yarden Nir-Buchbinder, Scott D. Stoller, Shmuel Ur, Liqiang Wang: Detection of deadlock potentials in multithreaded programs. IBM Journal of Research and Development 54(5): 3 (2010)
	2009
39		Ganesh Gopalakrishnan, Eitan Farchi, Eric Mercer: Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009 ACM 2009
38		Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov: Cross-Entropy-Based Replay of Concurrent Programs. FASE 2009: 201-215
37		Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick: Automated substring hole analysis. ICSE Companion 2009: 203-206
36		Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick: Advanced code coverage analysis using substring holes. ISSTA 2009: 37-46
35		Ehud Trainin, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Aviad Zlotnick, Shmuel Ur, Eitan Farchi: Forcing small models of conditions on program interleaving for detection of concurrent bugs. PADTAD 2009
	2008
34		Moran Shochat, Orna Raz, Eitan Farchi: SeeCode - A Code Review Plug-in for Eclipse. Haifa Verification Conference 2008: 205-209
33		Eitan Farchi, Shmuel Ur: Selective Homeworkless Reviews. ICST 2008: 404-413
32		Shmuel Ur, Scott D. Stoller, Eitan Farchi: 6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08). ISSTA 2008: 309-310
31		Eitan Farchi: Pitfalls in teaching development and testing of concurrent programs and how to overcome them. PADTAD 2008: 11
	2007
30		Shmuel Ur, Eitan Farchi: Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2007), PADTAD 2007, London, UK, July 9, 2007 ACM 2007
29		Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov: Cross-Entropy Based Testing. FMCAD 2007: 101-108
28		Orna Raz, Moshe Klausner, Nitzan Peleg, Gadi Haber, Eitan Farchi, Shachar Fienblit, Yakov S. Filiarsky, Shay Gammer, Sergey Novikov: The Advantages of Post-Link Code Coverage. Haifa Verification Conference 2007: 235-251
27		Amiram Hayardeny, Shachar Fienblit, Eitan Farchi: Distributed desk checking. Concurrency and Computation: Practice and Experience 19(3): 295-309 (2007)
26		Marina Biberstein, Eitan Farchi, Shmuel Ur: Choosing among alternative pasts. Concurrency and Computation: Practice and Experience 19(3): 341-353 (2007)
	2006
25		Shmuel Ur, Eitan Farchi: Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), PADTAD 2006, Portland, Maine, USA, July 17, 2006 ACM 2006
24		Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani, Shmuel Ur: Noise Makers Need to Know Where to be Silent - Producing Schedules That Find Bugs. ISoLA 2006: 458-465
23		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
22		Yosi Ben-Asher, Yaniv Eytani, Eitan Farchi, Shmuel Ur: Producing scheduling that causes concurrent programs to fail. PADTAD 2006: 37-40
	2005
21		Eitan Farchi, Gabriel Kliot, Yoel Krasny, Alex Krits, Roman Vitenberg: Effective Testing and Debugging Techniques for a Group Communication System. DSN 2005: 80-85
20		Eitan Farchi, Bradley R. Harrington: Assisting the Code Review Process Using Simple Pattern Recognition. Haifa Verification Conference 2005: 103-115
19		Yosi Ben-Asher, Igor Breger, Eitan Farchi, Ilia Gordon: Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains. Haifa Verification Conference 2005: 149-157
18		Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur: Applications of synchronization coverage. PPOPP 2005: 206-212
17		Yosi Ben-Asher, Eitan Farchi: Compact Representations of Search in Complex Domains. IGTR 7(1): 73-90 (2005)
16		Yosi Ben-Asher, Eitan Farchi: Compact Representations of Search in Complex Domains. IGTR 7(2): 171-188 (2005)
	2004
15		Eitan Farchi, Yoel Krasny, Yarden Nir: Automatic Simulation of Network Problems in UDP-Based Java Programs. IPDPS 2004
14		Amiram Hayardeny, Shachar Fienblit, Eitan Farchi: Concurrent and Distributed Desk Checking. IPDPS 2004
13		Marina Biberstein, Eitan Farchi, Shmuel Ur: Fidgeting to the Point of No Return. IPDPS 2004
	2003
12		Eitan Farchi, Yarden Nir, Shmuel Ur: Concurrent Bug Patterns and How to Test Them. IPDPS 2003: 286
11		Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani: Heuristics for Finding Concurrent Bug. IPDPS 2003: 288
10		Marina Biberstein, Eitan Farchi, Shmuel Ur: Choosing among Alternative Pasts. IPDPS 2003: 289
9		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
8		David Carmel, Eitan Farchi, Yael Petruschka, Aya Soffer: Automatic query refinement using lexical affinities with maximal information gain. SIGIR 2002: 283-290
7		Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur: Multithreaded Java program test generation. IBM Systems Journal 41(1): 111-125 (2002)
6		Eitan Farchi, Alan Hartman, Shlomit S. Pinter: Using a model-based test generator to test for standard conformance. IBM Systems Journal 41(1): 89-110 (2002)
	2001
5		Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur: Multithreaded Java program test generation. Java Grande 2001: 181
4		Aya Soffer, David Carmel, Doron Cohen, Ronald Fagin, Eitan Farchi, Michael Herscovici, Yoëlle S. Maarek: Static Index Pruning for Information Retrieval Systems. SIGIR 2001: 43-50
	1999
3		Yosi Ben-Asher, Eitan Farchi, Ilan Newman: Optimal Search in Trees. SIAM J. Comput. 28(6): 2090-2102 (1999)
	1997
2		Yosi Ben-Asher, Eitan Farchi, Ilan Newman: Optimal Search in Trees: Extended Abstract + Appendix. SODA 1997: 739-746
	1994
1		Yosi Ben-Asher, Eitan Farchi: Using true concurrency to model execution of parallel programs. International Journal of Parallel Programming 22(4): 375-407 (1994)

Coauthor Index

1	Yoram Adler	[36] [37]
2	Rahul Agarwal	[40]
3	Yosi Ben-Asher	[1] [2] [3] [11] [16] [17] [19] [22] [24]
4	Yochai Ben-Chaim	[43]
5	Saddek Bensalem	[40]
6	Marina Biberstein	[10] [13] [26]
7	Igor Breger	[19]
8	Arkady Bron	[18]
9	Alla Bronshtein	[43]
10	David Carmel	[4] [8]
11	Hana Chockler	[23] [29] [38]
12	Doron Cohen	[4]
13	Raja Das	[41]
14	Ricardo J. Dias	[42] [45]
15	Orit Edelstein	[5] [7] [9]
16	Yaniv Eytani	[11] [22] [24]
17	Ronald Fagin	[4]
18	Shachar Fienblit	[14] [27] [28]
19	Yakov S. Filiarsky	[28]
20	Shay Gammer	[28]
21	Zhi Gan	[41]
22	Ziv Glazberg	[23]
23	Benny Godlin	[23] [29] [38]
24	Evgeny Goldin	[9]
25	Dan Goldwasser	[44]
26	Ganesh Gopalakrishnan	[39]
27	Ilia Gordon	[19]
28	Gadi Haber	[28]
29	Irit Hadar	[43] [44]
30	Bradley R. Harrington	[20]
31	Alan Hartman	[6]
32	Klaus Havelund	[40]
33	Amiram Hayardeny	[14] [27]
34	Michael Herscovici	[4]
35	Moshe Klausner	[28] [36] [37]
36	Gabriel Kliot	[21]
37	Yoel Krasny	[15] [21]
38	Alex Krits	[21]
39	Meira Levy	[43]
40	João Lourenço	[42] [45] [47]
41	Zhi Da Luo	[41]
42	Yoelle Maarek (Yoëlle S. Maarek)	[4]
43	Yonit Magid	[18]
44	Eric Mercer (Eric G. Mercer)	[39]
45	Ilan Newman	[2] [3]
46	Yarden Nir-Buchbinder (Yarden Nir)	[5] [7] [9] [12] [15] [18] [23] [35] [40] [41]
47	Sergey Novikov	[28] [29] [38]
48	Dan Peled	[44]
49	Nitzan Peleg	[28]
50	Dan Pelleg	[36] [37]
51	Vasco Pessanha	[45]
52	Yael Petruschka	[8]
53	Shlomit S. Pinter	[6]
54	Yao Qi	[41]
55	Ishai Rabinovitz	[23]
56	Gil Ratsaby	[5] [7] [9]
57	Orna Raz	[28] [34] [36] [37]
58	Itai Segall	[46]
59	Moran Shochat	[34] [36] [37]
60	Aya Soffer	[4] [8]
61	Diogo Sousa	[42] [45]
62	Scott D. Stoller	[32] [40]
63	Bruno C. Teixeira	[42]
64	Ehud Trainin	[35]
65	Rachel Tzoref (Rachel Tzoref-Brill)	[35] [46]
66	Shmuel Ur	[5] [7] [9] [10] [12] [13] [18] [22] [24] [25] [26] [30] [32] [33] [35] [36] [37] [40]
67	Roman Vitenberg	[21]
68	Liqiang Wang	[40]
69	Peleg Yiftachel	[44]
70	Aviad Zlotnick	[35] [36] [37]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page