Eitan Farchi

发表

Eitan Farchi, Maria Spichkova, Anna Zamansky, 2016, CAiSE Workshops.

Eitan Farchi, Ricardo J. Dias, João Lourenço, 2011, PADTAD '11.

Ronald Fagin, Eitan Farchi, David Carmel, 2001, SIGIR '01.

Eitan Farchi, Michael Factor, Shmuel Ur, 1997, Proceedings of the Eighth Israeli Conference on Computer Systems and Software Engineering.

Eitan Farchi, Rahul Agarwal, Scott D. Stoller, 2010, IBM J. Res. Dev..

Yosi Ben-Asher, Eitan Farchi, 2005, IGTR.

Yosi Ben-Asher, Eitan Farchi, 2005, IGTR.

Eitan Farchi, Dan Goldwasser, Irit Hadar, 2011, Adv. Softw. Eng..

Gabriel Kliot, Eitan Farchi, Roman Vitenberg, 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05).

Yosi Ben-Asher, Eitan Farchi, Y. Ben-Asher, 1994, International Journal of Parallel Programming.

Eitan Farchi, Hana Chockler, Sergey Novikov, 2007, Formal Methods in Computer Aided Design (FMCAD'07).

Eitan Farchi, Amiram Hayardeny, Shachar Fienblit, 2007 .

Eitan Farchi, Yarden Nir-Buchbinder, Yoel Krasny, 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..

Eitan Farchi, Shmuel Ur, Yarden Nir-Buchbinder, 2001, JGI '01.

Eitan Farchi, Amiram Hayardeny, Shachar Fienblit, 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..

Eitan Farchi, Hana Chockler, Sergey Novikov, 2009, FASE.

Eitan Farchi, João Lourenço, E. Farchi, 2013, Lecture Notes in Computer Science.

Eitan Farchi, Shmuel Ur, Yarden Nir-Buchbinder, 2003, Concurr. Comput. Pract. Exp..

Onn Shehory, Eitan Farchi, Guy Barash, 2019, ArXiv.

Eitan Farchi, Shmuel Ur, Yarden Nir-Buchbinder, 2009, PADTAD '09.

Yosi Ben-Asher, Eitan Farchi, Ilan Newman, 1997, SODA '97.

Eitan Farchi, Scott D. Stoller, Shmuel Ur, 2008, ISSTA '08.

Eitan Farchi, Itai Segall, Rachel Tzoref, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.

Yosi Ben-Asher, Eitan Farchi, Igor Breger, 2005, Haifa Verification Conference.

Eitan Farchi, Dan Pelleg, Orna Raz, 2009, 2009 31st International Conference on Software Engineering - Companion Volume.

Eitan Farchi, Shmuel Ur, Yarden Nir-Buchbinder, 2005, PPoPP.

Yosi Ben-Asher, Eitan Farchi, Shmuel Ur, 2006, PADTAD '06.

Eitan Farchi, Amiram Hayardeny, Shachar Fienblit, 2007, Concurr. Comput. Pract. Exp..

Eitan Farchi, Anna Zamansky, Seri Khoury, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Eitan Farchi, Ricardo J. Dias, João Lourenço, 2010, PADTAD '10.

Eitan Farchi, Hana Chockler, Ishai Rabinovitz, 2006, PADTAD '06.

Eitan Farchi, Parijat Dube, Samuel Ackerman, 2020, ArXiv.

Yosi Ben-Asher, Eitan Farchi, Shmuel Ur, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

Eitan Farchi, Raja Das, Yarden Nir-Buchbinder, 2010, PADTAD '10.

Eitan Farchi, Michael Factor, Shmuel Ur, 2007 .

Eitan Farchi, Shmuel Ur, Marina Biberstein, 2003, Proceedings International Parallel and Distributed Processing Symposium.

Julian Togelius, Quanshi Zhang, Christopher W. Geib, 2019, AI Mag..

Eitan Farchi, Dan Pelleg, Orna Raz, 2009, ISSTA.

Eitan Farchi, Shmuel Ur, Marina Biberstein, 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..

Alan Hartman, Eitan Farchi, Shlomit S. Pinter, 2002, IBM Syst. J..

Eitan Farchi, Maria Spichkova, Anna Zamansky, 2015, 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS).

Eitan Farchi, David Carmel, Aya Soffer, 2002, SIGIR '02.

Onn Shehory, Eitan Farchi, Sarit Kraus, 2020 .

Eitan Farchi, Gadi Haber, Orna Raz, 2007, Haifa Verification Conference.

Eitan Farchi, Itai Segall, Rachel Tzoref, 2011, ISSTA '11.

Eitan Farchi, Guy Barash, 2017, 2017 IEEE International High Level Design Validation and Test Workshop (HLDVT).

Eitan Farchi, Itai Segall, Rachel Tzoref, 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops.

Eitan Farchi, Shmuel Ur, 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

Robert M. Hierons, Eitan Farchi, João Lourenço, 2015, Softw. Test. Verification Reliab..

Eitan Farchi, Hana Chockler, Sergey Novikov, 2007 .

Eitan Farchi, Orna Raz, Moran Shochat, 2009, Haifa Verification Conference.

Eitan Farchi, Shmuel Ur, Yarden Nir-Buchbinder, 2002, IBM Syst. J..

Eitan Farchi, Orna Raz, Y. Ben-Chaim, 2009, 2009 ICSE Workshop on Wikis for Software Engineering.

Eitan Farchi, Shmuel Ur, Marina Biberstein, 2007 .

Victor Pankratius, Eitan Farchi, P. Santhanam, 2019, ArXiv.

Eitan Farchi, Shmuel Ur, Marina Biberstein, 2007, Concurr. Comput. Pract. Exp..

Eitan Farchi, Shmuel Ur, Yarden Nir-Buchbinder, 2003, Proceedings International Parallel and Distributed Processing Symposium.

Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani, 2003, Proceedings International Parallel and Distributed Processing Symposium.

Eitan Farchi, Ramasuri Narayanam, Lokesh Nagalapatti, 2021, 2021 IEEE 37th International Conference on Data Engineering (ICDE).

Parijat Dube, Eitan Farchi, Marcel Zalmanovici, 2021, 2021 IEEE/ACM Third International Workshop on Deep Learning for Testing and Testing for Deep Learning (DeepTest).

Eitan Farchi, Samuel Ackerman, Orna Raz, 2021, ArXiv.

Parijat Dube, Eitan Farchi, Samuel Ackerman, 2021, arXiv.org.

Onn Shehory, Eitan Farchi, Samuel Ackerman, 2022, ArXiv.

Eitan Farchi, Nirmit Desai, Diptikalyan Saha, 2021, ArXiv.

Sarit Kraus, Onn Shehory, Eitan Farchi, 2021, ArXiv.