Eitan Farchi - RankMe

123 papers A* 4A 12B 4C 1Misc 1Journal 64Unranked 32

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Enhancing Formal Software Specification with Artificial Intelligence. CoRR Antonio Abu Nassar, Eitan Farchi
2025	J	`jnl`	An Agent-Based Framework for the Automatic Validation of Mathematical Optimization Models. CoRR Alexander Zadorojniy, Segev Wasserkrug, Eitan Farchi
2025	J	`jnl`	Automated Validation of LLM-based Evaluators for Software Engineering Artifacts. CoRR Ora Nova Fandina, Eitan Farchi, Shmulik Froimovich, Rami Katan, Alice Podolsky, Orna Raz, Avi Ziv
2025	J	`jnl`	Beyond Blind Spots: Analytic Hints for Mitigating LLM-Based Evaluation Pitfalls. CoRR Ora Nova Fandina, Eitan Farchi, Shmulik Froimovich, Raviv Gal, Wesam Ibraheem, Rami Katan, Alice Podolsky
2025	J	`jnl`	Black-Box Bug-Amplification for Multithreaded Software. CoRR Yeshayahu Weiss, Gal Amram, Achiya Elyasaf, Eitan Farchi, Oded Margalit, Gera Weiss
2025	—	`conf`	Combinatorial Test Design Model Creation using Large Language Models. ICSTW Deborah Ann Furman, Eitan Farchi, Michael Edward Gildein, Andrew C. M. Hicks, Ryan Thomas Rawlins
2025	—	`conf`	Evaluating the Prompt Steerability of Large Language Models. NAACL (Long Papers) Erik Miehling, Michael Desmond, Karthikeyan Natesan Ramamurthy, Elizabeth M. Daly, Kush R. Varshney, Eitan Farchi, Pierre L. Dognin, Jesus Rios, Djallel Bouneffouf, Miao Liu, Prasanna Sattigeri
2025	—	`conf`	Exploring Straightforward Methods for Automatic Conversational Red-Teaming. NAACL (Industry Track) George Kour, Naama Zwerdling, Marcel Zalmanovici, Ateret Anaby-Tavor, Ora Nova Fandina, Eitan Farchi
2025	J	`jnl`	LaajMeter: A Framework for LaaJ Evaluation. CoRR Gal Amram, Eitan Farchi, Shmulik Froimovich, Raviv Gal, Avi Ziv
2025	J	`jnl`	PACIFIC: a framework for generating benchmarks to check Precise Automatically Checked Instruction Following In Code. CoRR Itay Dreyfuss, Antonio Abu Nassar, Samuel Ackerman, Axel Bendavid, Eitan Farchi, Rami Katan, Orna Raz, Marcel Zalmanovici
2025	J	`jnl`	Statistical multi-metric evaluation and visualization of LLM system predictive performance. CoRR Samuel Ackerman, Eitan Farchi, Orna Raz, Assaf Toledo
2025	J	`jnl`	Technique to Baseline QE Artefact Generation Aligned to Quality Metrics. CoRR Eitan Farchi, Kiran Nayak, Papia Ghosh Majumdar, Saritha Route
2025	—	`conf`	Vintage Code, Modern Judges: Meta-Validation in Low Data Regimes. ASEW Ora Nova Fandina, Gal Amram, Eitan Farchi, Shmulik Froimovich, Raviv Gal, Wesam Ibraheem, Rami Katan, Alice Podolsky, Orna Raz
2025	J	`jnl`	Vintage Code, Modern Judges: Meta-Validation in Low Data Regimes. CoRR Ora Nova Fandina, Gal Amram, Eitan Farchi, Shmulik Froimovich, Raviv Gal, Wesam Ibraheem, Rami Katan, Alice Podolsky, Orna Raz
2024	Misc	`conf`	A Chaos Recommendation Tool for Reliability Testing in Large-Scale Cloud-Native Systems. COMSNETS Mudit Verma, Sandeep Hans, Diptikalyan Saha, Praveen Jayachandran, Eitan Farchi, Naga Ravi Chaitanya Elluri, Tullio Sebastiani, Paige Rubendall, Yogananth Subramanian, Pradeep Surisetty, Brian Riordan
2024	—	`conf`	A Novel Double T-wise Approach to Root Cause Analysis via Combinatorial Test Set Completion. ICSTW Andrew C. M. Hicks, Deborah Ann Furman, Ryan Thomas Rawlins, Michael Edward Gildein, Eitan Farchi
2024	—	`conf`	A Novel Metric for Measuring the Robustness of Large Language Models in Non-adversarial Scenarios. EMNLP (Findings) Samuel Ackerman, Ella Rabinovich, Eitan Farchi, Ateret Anaby-Tavor
2024	J	`jnl`	A Novel Metric for Measuring the Robustness of Large Language Models in Non-adversarial Scenarios. CoRR Samuel Ackerman, Ella Rabinovich, Eitan Farchi, Ateret Anaby-Tavor
2024	J	`jnl`	A Practical Approach to Combinatorial Test Design. CoRR Eitan Farchi, Debbie Furman
2024	J	`jnl`	Alignment Studio: Aligning Large Language Models to Particular Contextual Regulations. CoRR Swapnaja Achintalwar, Ioana Baldini, Djallel Bouneffouf, Joan Byamugisha, Maria Chang, Pierre L. Dognin, Eitan Farchi, Ndivhuwo Makondo, Aleksandra Mojsilovic, Manish Nagireddy, Karthikeyan Natesan Ramamurthy, Inkit Padhi, Orna Raz, Jesus Rios, Prasanna Sattigeri, Moninder Singh, Siphiwe Thwala, Rosario A. Uceda-Sosa, Kush R. Varshney
2024	J	`jnl`	Alignment Studio: Aligning Large Language Models to Particular Contextual Regulations. IEEE Internet Comput. Swapnaja Achintalwar, Ioana Baldini, Djallel Bouneffouf, Joan Byamugisha, Maria Chang, Pierre L. Dognin, Eitan Farchi, Ndivhuwo Makondo, Aleksandra Mojsilovic, Manish Nagireddy, Karthikeyan Natesan Ramamurthy, Inkit Padhi, Orna Raz, Jesus Rios, Prasanna Sattigeri, Moninder Singh, Siphiwe Thwala, Rosario A. Uceda-Sosa, Kush R. Varshney
2024	J	`jnl`	Automatic Generation of Benchmarks and Reliable LLM Judgment for Code Tasks. CoRR Eitan Farchi, Shmulik Froimovich, Rami Katan, Orna Raz
2024	J	`jnl`	Can You Trust Your Metric? Automatic Concatenation-Based Tests for Metric Validity. CoRR Ora Nova Fandina, Leshem Choshen, Eitan Farchi, George Kour, Yotam Perlitz, Orna Raz
2024	J	`jnl`	Detectors for Safe and Reliable LLMs: Implementations, Uses, and Limitations. CoRR Swapnaja Achintalwar, Adriana Alvarado Garcia, Ateret Anaby-Tavor, Ioana Baldini, Sara E. Berger, Bishwaranjan Bhattacharjee, Djallel Bouneffouf, Subhajit Chaudhury, Pin-Yu Chen, Lamogha Chiazor, Elizabeth M. Daly, Rogério Abreu de Paula, Pierre L. Dognin, Eitan Farchi, Soumya Ghosh, Michael Hind, Raya Horesh, George Kour, Ja Young Lee, Erik Miehling, Keerthiram Murugesan, Manish Nagireddy, Inkit Padhi, David Piorkowski, Ambrish Rawat, Orna Raz, Prasanna Sattigeri, Hendrik Strobelt, Sarathkrishna Swaminathan, Christoph Tillmann, Aashka Trivedi, Kush R. Varshney, Dennis Wei, Shalisha Witherspoon, Marcel Zalmanovici
2024	J	`jnl`	Effective Technical Reviews. CoRR Scott Ballentine, Eitan Farchi
2024	J	`jnl`	Exploring Straightforward Conversational Red-Teaming. CoRR George Kour, Naama Zwerdling, Marcel Zalmanovici, Ateret Anaby-Tavor, Ora Nova Fandina, Eitan Farchi
2024	J	`jnl`	Generating Unseen Code Tests In Infinitum. CoRR Marcel Zalmanovici, Orna Raz, Eitan Farchi, Iftach Freund
2024	J	`jnl`	Using Combinatorial Optimization to Design a High quality LLM Solution. CoRR Samuel Ackerman, Eitan Farchi, Rami Katan, Orna Raz
2023	J	`jnl`	Automatic Generation of Attention Rules For Containment of Machine Learning Model Errors. CoRR Samuel Ackerman, Axel Bendavid, Eitan Farchi, Orna Raz
2023	J	`jnl`	Characterizing how 'distributional' NLP corpora distance metrics are. CoRR Samuel Ackerman, George Kour, Eitan Farchi
2023	A	`conf`	Convex Bounds on the Softmax Function with Applications to Robustness Verification. AISTATS Dennis Wei, Haoze Wu, Min Wu, Pin-Yu Chen, Clark W. Barrett, Eitan Farchi
2023	J	`jnl`	Convex Bounds on the Softmax Function with Applications to Robustness Verification. CoRR Dennis Wei, Haoze Wu, Min Wu, Pin-Yu Chen, Clark W. Barrett, Eitan Farchi
2023	J	`jnl`	Data Drift Monitoring for Log Anomaly Detection Pipelines. CoRR Dipak Wani, Samuel Ackerman, Eitan Farchi, Xiaotong Liu, Hau-Wen Chang, Sarasi Lalithsena
2023	J	`jnl`	Deploying automated ticket router across the enterprise. AI Mag. Samuel Ackerman, Lincoln Alexander, Margaret Bennett, Donglin Chen, Eitan Farchi, Autumn Houseknecht, Padmanabhan Santhanam
2023	J	`jnl`	Generalized Coverage Criteria for Combinatorial Sequence Testing. IEEE Trans. Software Eng. Achiya Elyasaf, Eitan Farchi, Oded Margalit, Gera Weiss, Yeshayahu Weiss
2023	J	`jnl`	Predicting Question-Answering Performance of Large Language Models through Semantic Consistency. CoRR Ella Rabinovich, Samuel Ackerman, Orna Raz, Eitan Farchi, Ateret Anaby-Tavor
2023	J	`jnl`	Quality Engineering for Agile and DevOps on the Cloud and Edge. CoRR Eitan Farchi, Saritha Route
2023	J	`jnl`	Software testing in the machine learning era. Empir. Softw. Eng. Andrea Stocco, Onn Shehory, Gunel Jahangirova, Vincenzo Riccio, Guy Barash, Eitan Farchi, Diptikalyan Saha
2023	J	`jnl`	Unveiling Safety Vulnerabilities of Large Language Models. CoRR George Kour, Marcel Zalmanovici, Naama Zwerdling, Esther Goldbraich, Ora Nova Fandina, Ateret Anaby-Tavor, Orna Raz, Eitan Farchi
2022	J	`jnl`	Combinatorial Sequence Testing Using Behavioral Programming and Generalized Coverage Criteria. CoRR Achiya Elyasaf, Eitan Farchi, Oded Margalit, Gera Weiss, Yeshayahu Weiss
2022	J	`jnl`	Experiment Based Crafting and Analyzing of Machine Learning Solutions. CoRR Samuel Ackerman, Eitan Farchi, Orna Raz, Onn Shehory
2022	J	`jnl`	High-quality Conversational Systems. CoRR Samuel Ackerman, Ateret Anaby-Tavor, Eitan Farchi, Esther Goldbraich, George Kour, Ella Rabinovich, Orna Raz, Saritha Route, Marcel Zalmanovici, Naama Zwerdling
2022	J	`jnl`	Measuring the Measuring Tools: An Automatic Evaluation of Semantic Metrics for Text Corpora. CoRR George Kour, Samuel Ackerman, Orna Raz, Eitan Farchi, Boaz Carmeli, Ateret Anaby-Tavor
2022	J	`jnl`	Random Test Generation of Application Programming Interfaces. CoRR Eitan Farchi, Krithika Prakash, Vitali Sokhin
2022	J	`jnl`	Using Fuzzy Matching of Queries to optimize Database workloads. CoRR Sweta Singh, Vaibhav Kulkarni, Mario Briggs, Deepak Mahajan, Eitan Farchi
2021	J	`jnl`	Broadly Applicable Targeted Data Sample Omission Attacks. CoRR Guy Barash, Eitan Farchi, Sarit Kraus, Onn Shehory
2021	J	`jnl`	Density-based interpretable hypercube region partitioning for mixed numeric and categorical data. CoRR Samuel Ackerman, Eitan Farchi, Orna Raz, Marcel Zalmanovici, Maya Zohar
2021	J	`jnl`	Detecting model drift using polynomial relations. CoRR Eliran Roffe, Samuel Ackerman, Orna Raz, Eitan Farchi
2021	—	`conf`	Machine Learning Model Drift Detection Via Weak Data Slices. DeepTest@ICSE Samuel Ackerman, Parijat Dube, Eitan Farchi, Orna Raz, Marcel Zalmanovici
2021	J	`jnl`	Machine Learning Model Drift Detection Via Weak Data Slices. CoRR Samuel Ackerman, Parijat Dube, Eitan Farchi, Orna Raz, Marcel Zalmanovici
2021	A*	`conf`	Ranking Data Slices for ML Model Validation: A Shapley Value Approach. ICDE Eitan Farchi, Ramasuri Narayanam, Lokesh Nagalapatti
2021	J	`jnl`	Towards API Testing Across Cloud and Edge. CoRR Samuel Ackerman, Sanjib Choudhury, Nirmit Desai, Eitan Farchi, Dan Gisolfi, Andrew Hicks, Saritha Route, Diptikalyan Saha
2021	J	`jnl`	Using sequential drift detection to test the API economy. CoRR Samuel Ackerman, Parijat Dube, Eitan Farchi
2020	J	`jnl`	Detection of data drift and outliers affecting machine learning model performance over time. CoRR Samuel Ackerman, Eitan Farchi, Orna Raz, Marcel Zalmanovici, Parijat Dube
2020	J	`jnl`	Sequential Drift Detection in Deep Learning Classifiers. CoRR Samuel Ackerman, Parijat Dube, Eitan Farchi
2020	J	`jnl`	The Association for the Advancement of Artificial Intelligence 2020 Workshop Program. AI Mag. Grace Bang, Guy Barash, Ryan Beal, Jacques Calì, Mauricio Castillo-Effen, Xin Cynthia Chen, Niyati Chhaya, Rachel Cummings, Rohan Dhoopar, Sebastijan Dumancic, Huáscar Espinoza, Eitan Farchi, Ferdinando Fioretto, Raquel Fuentetaja, Christopher William Geib, Odd Erik Gundersen, José Hernández-Orallo, Xiaowei Huang, Kokil Jaidka, Sarah Keren, Seokhwan Kim, Michel Galley, Xiaomo Liu, Tyler Lu, Zhiqiang Ma, Richard Mallah, John A. McDermid, Martin Michalowski, Reuth Mirsky, Seán Ó hÉigeartaigh, Deepak Ramachandran, Javier Segovia-Aguas, Onn Shehory, Arash Shaban-Nejad, Vered Shwartz, Siddharth Srivastava, Kartik Talamadupula, Jian Tang, Pascal Van Hentenryck, Dell Zhang, Jian Zhang
2019	—	`conf`	Bridging the gap between ML solutions and their business requirements using feature interactions. ESEC/SIGSOFT FSE Guy Barash, Eitan Farchi, Ilan Jayaraman, Orna Raz, Rachel Tzoref-Brill, Marcel Zalmanovici
2019	J	`jnl`	Defending via strategic ML selection. CoRR Eitan Farchi, Onn Shehory, Guy Barash
2019	J	`jnl`	Engineering Reliable Deep Learning Systems. CoRR P. Santhanam, Eitan Farchi, Victor Pankratius
2019	J	`jnl`	Reports of the Workshops Held at the 2019 AAAI Conference on Artificial Intelligence. AI Mag. Guy Barash, Mauricio Castillo-Effen, Niyati Chhaya, Peter Clark, Huáscar Espinoza, Eitan Farchi, Christopher W. Geib, Odd Erik Gundersen, Seán Ó hÉigeartaigh, José Hernández-Orallo, Chiori Hori, Xiaowei Huang, Kokil Jaidka, Pavan Kapanipathi, Sarah Keren, Seokhwan Kim, Marc Lanctot, Danny Lange, Julian J. McAuley, David R. Martinez, Marwan Mattar, Mausam, Martin Michalowski, Reuth Mirsky, Roozbeh Mottaghi, Joseph C. Osborn, Julien Pérolat, Martin Schmid, Arash Shaban-Nejad, Onn Shehory, Biplav Srivastava, William W. Streilein, Kartik Talamadupula, Julian Togelius, Koichiro Yoshino, Quanshi Zhang, Imed Zitouni
2018	J	`jnl`	Reports of the Workshops of the 32nd AAAI Conference on Artificial Intelligence. AI Mag. Bruno Bouchard, Kevin Bouchard, Noam Brown, Niyati Chhaya, Eitan Farchi, Sébastien Gaboury, Christopher W. Geib, Amelie Gyrard, Kokil Jaidka, Sarah Keren, Roni Khardon, Parisa Kordjamshidi, David R. Martinez, Nicholas Mattei, Martin Michalowski, Reuth Mirsky, Joseph C. Osborn, Cem Sahin, Onn Shehory, Arash Shaban-Nejad, Amit P. Sheth, Ilan Shimshoni, Howard E. Shrobe, Arunesh Sinha, Atanu R. Sinha, Biplav Srivastava, William W. Streilein, Georgios Theocharous, K. Brent Venable, Neal Wagner, Anna Zamansky
2017	—	`conf`	A Composition-Based Method for Combinatorial Test Design. ICST Workshops Anna Zamansky, Amir Shwartz, Seri Khoury, Eitan Farchi
2017	—	`conf`	A randomized algorithm for constructing cross-feature tests from single feature tests. HLDVT Guy Barash, Eitan Farchi
2016	—	`conf`	A Visual Logical Language for System Modelling in Combinatorial Test Design. CAiSE Workshops Maria Spichkova, Anna Zamansky, Eitan Farchi
2016	J	`jnl`	Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems. CoRR Maria Spichkova, Anna Zamansky, Eitan Farchi
2015	—	`conf`	Exploring the Role of Logic and Formal Methods in Information Systems Education. SEFM Workshops Anna Zamansky, Eitan Farchi
2015	—	`conf`	Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test Design. SEFM Workshops Anna Zamansky, Eitan Farchi
2015	J	`jnl`	Special issue on testing, analysis and debugging of concurrent programs. Softw. Test. Verification Reliab. Eitan Farchi, Robert M. Hierons, João Lourenço
2015	J	`jnl`	Teaching Logic to Information Systems Students: Challenges and Opportunities. CoRR Anna Zamansky, Eitan Farchi
2015	B	`conf`	Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems. ICPADS Maria Spichkova, Anna Zamansky, Eitan Farchi
2014	—	`conf`	Combinatorial Testing with Order Requirements. ICST Workshops Eitan Farchi, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick
2014	—	`conf`	Using Wiki as a Collaboration Platform for Software Requirements and Design. KICSS Irit Hadar, Meira Levy, Yochai Ben-Chaim, Eitan Farchi
2013	—	`ed.`	Multicore Software Engineering, Performance, and Tools - International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings musepat João Lourenço, Eitan Farchi
2013	—	`conf`	Using Projections to Debug Large Combinatorial Models. ICST Workshops Eitan Farchi, Itai Segall, Rachel Tzoref-Brill
2012	—	`conf`	Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools. PADTAD Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, David Kelk
2012	—	`conf`	Using program closures to make an application programming interface (API) implementation thread safe. PADTAD Eitan Farchi, Itai Segall, João Lourenço, Diogo Sousa
2011	—	`conf`	Practical verification of high-level dataraces in transactional memory programs. PADTAD Vasco Pessanha, Ricardo J. Dias, João Lourenço, Eitan Farchi, Diogo Sousa
2011	—	`ed.`	Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011, Toronto, ON, Canada, July 17-21, 2011 PADTAD João Lourenço, Eitan Farchi
2011	J	`jnl`	The Study of Resource Allocation among Software Development Phases: An Economics-Based Approach. Adv. Softw. Eng. Peleg Yiftachel, Irit Hadar, Dan Peled, Eitan Farchi, Dan Goldwasser
2011	A	`conf`	Using binary decision diagrams for combinatorial test design. ISSTA Itai Segall, Rachel Tzoref-Brill, Eitan Farchi
2010	—	`conf`	Detection of Transactional Memory anomalies using static analysis. PDATAD Bruno C. Teixeira, João Lourenço, Eitan Farchi, Ricardo J. Dias, Diogo Sousa
2010	J	`jnl`	Detection of deadlock potentials in multithreaded programs. IBM J. Res. Dev. Rahul Agarwal, Saddek Bensalem, Eitan Farchi, Klaus Havelund, Yarden Nir-Buchbinder, Scott D. Stoller, Shmuel Ur, Liqiang Wang
2010	—	`conf`	Engaging Stakeholders in Globally Distributed Software Development Processes. MCIS Yochai Ben-Chaim, Meira Levy, Irit Hadar, Eitan Farchi, Alla Bronshtein
2010	—	`conf`	Unit testing for concurrent business code. PDATAD Yao Qi, Yarden Nir-Buchbinder, Eitan Farchi, Raja Das, Zhi Da Luo, Zhi Gan
2009	A	`conf`	Advanced code coverage analysis using substring holes. ISSTA Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick
2009	—	`conf`	Automated substring hole analysis. ICSE Companion Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick
2009	B	`conf`	Cross-Entropy-Based Replay of Concurrent Programs. FASE Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov
2009	—	`conf`	Forcing small models of conditions on program interleaving for detection of concurrent bugs. PADTAD Ehud Trainin, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Aviad Zlotnick, Shmuel Ur, Eitan Farchi
2009	—	`ed.`	Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009 PADTAD Ganesh Gopalakrishnan, Eitan Farchi, Eric Mercer
2008	A	`conf`	6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08). ISSTA Shmuel Ur, Scott D. Stoller, Eitan Farchi
2008	—	`conf`	Pitfalls in teaching development and testing of concurrent programs and how to overcome them. PADTAD Eitan Farchi
2008	—	`conf`	SeeCode - A Code Review Plug-in for Eclipse. Haifa Verification Conference Moran Shochat, Orna Raz, Eitan Farchi
2008	A	`conf`	Selective Homeworkless Reviews. ICST Eitan Farchi, Shmuel Ur
2007	J	`jnl`	Choosing among alternative pasts. Concurr. Comput. Pract. Exp. Marina Biberstein, Eitan Farchi, Shmuel Ur
2007	B	`conf`	Cross-Entropy Based Testing. FMCAD Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov
2007	J	`jnl`	Distributed desk checking. Concurr. Comput. Pract. Exp. Amiram Hayardeny, Shachar Fienblit, Eitan Farchi
2007	—	`ed.`	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 PADTAD Shmuel Ur, Eitan Farchi
2007	—	`conf`	The Advantages of Post-Link Code Coverage. Haifa Verification Conference Orna Raz, Moshe Klausner, Nitzan Peleg, Gadi Haber, Eitan Farchi, Shachar Fienblit, Yakov S. Filiarsky, Shay Gammer, Sergey Novikov
2006	—	`conf`	Formal verification of concurrent software: two case studies. PADTAD Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz
2006	C	`conf`	Noise Makers Need to Know Where to be Silent - Producing Schedules That Find Bugs. ISoLA Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani, Shmuel Ur
2006	—	`ed.`	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 PADTAD Shmuel Ur, Eitan Farchi
2006	—	`conf`	Producing scheduling that causes concurrent programs to fail. PADTAD Yosi Ben-Asher, Yaniv Eytani, Eitan Farchi, Shmuel Ur
2005	B	`conf`	Applications of synchronization coverage. PPoPP Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur
2005	—	`conf`	Assisting the Code Review Process Using Simple Pattern Recognition. Haifa Verification Conference Eitan Farchi, Bradley R. Harrington
2005	J	`jnl`	Compact Representations of Search in Complex Domains. IGTR Yosi Ben-Asher, Eitan Farchi
2005	J	`jnl`	Compact Representations of Search in Complex Domains. IGTR Yosi Ben-Asher, Eitan Farchi
2005	A	`conf`	Effective Testing and Debugging Techniques for a Group Communication System. DSN Eitan Farchi, Gabriel Kliot, Yoel Krasny, Alex Krits, Roman Vitenberg
2005	—	`conf`	Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains. Haifa Verification Conference Yosi Ben-Asher, Igor Breger, Eitan Farchi, Ilia Gordon
2004	A	`conf`	Automatic Simulation of Network Problems in UDP-Based Java Programs. IPDPS Eitan Farchi, Yoel Krasny, Yarden Nir
2004	A	`conf`	Concurrent and Distributed Desk Checking. IPDPS Amiram Hayardeny, Shachar Fienblit, Eitan Farchi
2004	A	`conf`	Fidgeting to the Point of No Return. IPDPS Marina Biberstein, Eitan Farchi, Shmuel Ur
2003	A	`conf`	Choosing among Alternative Pasts. IPDPS Marina Biberstein, Eitan Farchi, Shmuel Ur
2003	A	`conf`	Concurrent Bug Patterns and How to Test Them. IPDPS Eitan Farchi, Yarden Nir, Shmuel Ur
2003	J	`jnl`	Framework for testing multi-threaded Java programs. Concurr. Comput. Pract. Exp. Orit Edelstein, Eitan Farchi, Evgeny Goldin, Yarden Nir, Gil Ratsaby, Shmuel Ur
2003	A	`conf`	Heuristics for Finding Concurrent Bug. IPDPS Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani
2002	A*	`conf`	Automatic query refinement using lexical affinities with maximal information gain. SIGIR David Carmel, Eitan Farchi, Yael Petruschka, Aya Soffer
2002	J	`jnl`	Multithreaded Java program test generation. IBM Syst. J. Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur
2002	J	`jnl`	Using a model-based test generator to test for standard conformance. IBM Syst. J. Eitan Farchi, Alan Hartman, Shlomit S. Pinter
2001	—	`conf`	Multithreaded Java program test generation. Java Grande Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur
2001	A*	`conf`	Static Index Pruning for Information Retrieval Systems. SIGIR Aya Soffer, David Carmel, Doron Cohen, Ronald Fagin, Eitan Farchi, Michael Herscovici, Yoëlle S. Maarek
1999	J	`jnl`	Optimal Search in Trees. SIAM J. Comput. Yosi Ben-Asher, Eitan Farchi, Ilan Newman
1997	A*	`conf`	Optimal Search in Trees: Extended Abstract + Appendix. SODA Yosi Ben-Asher, Eitan Farchi, Ilan Newman
1994	J	`jnl`	Using true concurrency to model execution of parallel programs. Int. J. Parallel Program. Yosi Ben-Asher, Eitan Farchi