default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEitan Farchi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c49]Mudit Verma, Sandeep Hans, Diptikalyan Saha, Praveen Jayachandran, Eitan Farchi, Naga Ravi Chaitanya Elluri, Tullio Sebastiani, Paige Rubendall, Yogananth Subramanian, Pradeep Surisetty, Brian Riordan:
A Chaos Recommendation Tool for Reliability Testing in Large-Scale Cloud-Native Systems. COMSNETS 2024: 270-272- [c48]C. M. Hicks Andrew, Deborah Ann Furman, Ryan Thomas Rawlins, Michael Edward Gildein, Eitan Farchi:
A Novel Double T-wise Approach to Root Cause Analysis via Combinatorial Test Set Completion. ICSTW 2024: 193-196 - [i33]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:
Detectors for Safe and Reliable LLMs: Implementations, Uses, and Limitations. CoRR abs/2403.06009 (2024) - [i32]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:
Alignment Studio: Aligning Large Language Models to Particular Contextual Regulations. CoRR abs/2403.09704 (2024) - [i31]Samuel Ackerman, Eitan Farchi, Rami Katan, Orna Raz:
Using Combinatorial Optimization to Design a High quality LLM Solution. CoRR abs/2405.13020 (2024) - [i30]Scott Ballentine, Eitan Farchi:
Effective Technical Reviews. CoRR abs/2407.02355 (2024) - [i29]Marcel Zalmanovici, Orna Raz, Eitan Farchi, Iftach Freund:
Generating Unseen Code Tests In Infinitum. CoRR abs/2407.19772 (2024) - [i28]Samuel Ackerman, Ella Rabinovich, Eitan Farchi, Ateret Anaby-Tavor:
A Novel Metric for Measuring the Robustness of Large Language Models in Non-adversarial Scenarios. CoRR abs/2408.01963 (2024) - [i27]Ora Nova Fandina, Leshem Choshen, Eitan Farchi, George Kour, Yotam Perlitz, Orna Raz:
Can You Trust Your Metric? Automatic Concatenation-Based Tests for Metric Validity. CoRR abs/2408.12259 (2024) - [i26]George Kour, Naama Zwerdling, Marcel Zalmanovici, Ateret Anaby-Tavor, Ora Nova Fandina, Eitan Farchi:
Exploring Straightforward Conversational Red-Teaming. CoRR abs/2409.04822 (2024) - 2023
- [j18]Samuel Ackerman, Lincoln Alexander, Margaret Bennett, Donglin Chen, Eitan Farchi, Autumn Houseknecht, Padmanabhan Santhanam:
Deploying automated ticket router across the enterprise. AI Mag. 44(1): 97-111 (2023) - [j17]Andrea Stocco, Onn Shehory, Gunel Jahangirova, Vincenzo Riccio, Guy Barash, Eitan Farchi, Diptikalyan Saha:
Software testing in the machine learning era. Empir. Softw. Eng. 28(3): 74 (2023) - [j16]Achiya Elyasaf, Eitan Farchi, Oded Margalit, Gera Weiss, Yeshayahu Weiss:
Generalized Coverage Criteria for Combinatorial Sequence Testing. IEEE Trans. Software Eng. 49(8): 4023-4034 (2023) - [c47]Dennis Wei, Haoze Wu, Min Wu, Pin-Yu Chen, Clark W. Barrett, Eitan Farchi:
Convex Bounds on the Softmax Function with Applications to Robustness Verification. AISTATS 2023: 6853-6878 - [i25]Eitan Farchi, Saritha Route:
Quality Engineering for Agile and DevOps on the Cloud and Edge. CoRR abs/2302.03651 (2023) - [i24]Dennis Wei, Haoze Wu, Min Wu, Pin-Yu Chen, Clark W. Barrett, Eitan Farchi:
Convex Bounds on the Softmax Function with Applications to Robustness Verification. CoRR abs/2303.01713 (2023) - [i23]Samuel Ackerman, Axel Bendavid, Eitan Farchi, Orna Raz:
Automatic Generation of Attention Rules For Containment of Machine Learning Model Errors. CoRR abs/2305.08115 (2023) - [i22]Samuel Ackerman, George Kour, Eitan Farchi:
Characterizing how 'distributional' NLP corpora distance metrics are. CoRR abs/2310.14829 (2023) - [i21]Dipak Wani, Samuel Ackerman, Eitan Farchi, Xiaotong Liu, Hau-wen Chang, Sarasi Lalithsena:
Data Drift Monitoring for Log Anomaly Detection Pipelines. CoRR abs/2310.14893 (2023) - [i20]Ella Rabinovich, Samuel Ackerman, Orna Raz, Eitan Farchi, Ateret Anaby-Tavor:
Predicting Question-Answering Performance of Large Language Models through Semantic Consistency. CoRR abs/2311.01152 (2023) - [i19]George Kour, Marcel Zalmanovici, Naama Zwerdling, Esther Goldbraich, Ora Nova Fandina, Ateret Anaby-Tavor, Orna Raz, Eitan Farchi:
Unveiling Safety Vulnerabilities of Large Language Models. CoRR abs/2311.04124 (2023) - 2022
- [i18]Samuel Ackerman, Eitan Farchi, Orna Raz, Onn Shehory:
Experiment Based Crafting and Analyzing of Machine Learning Solutions. CoRR abs/2201.00355 (2022) - [i17]Achiya Elyasaf, Eitan Farchi, Oded Margalit, Gera Weiss, Yeshayahu Weiss:
Combinatorial Sequence Testing Using Behavioral Programming and Generalized Coverage Criteria. CoRR abs/2201.00522 (2022) - [i16]Samuel Ackerman, Ateret Anaby-Tavor, Eitan Farchi, Esther Goldbraich, George Kour, Ella Rabinovich, Orna Raz, Saritha Route, Marcel Zalmanovici, Naama Zwerdling:
High-quality Conversational Systems. CoRR abs/2204.13043 (2022) - [i15]Sweta Singh, Vaibhav Kulkarni, Mario Briggs, Deepak Mahajan, Eitan Farchi:
Using Fuzzy Matching of Queries to optimize Database workloads. CoRR abs/2207.06820 (2022) - [i14]Eitan Farchi, Krithika Prakash, Vitali Sokhin:
Random Test Generation of Application Programming Interfaces. CoRR abs/2207.13143 (2022) - [i13]George Kour, Samuel Ackerman, Orna Raz, Eitan Farchi, Boaz Carmeli, Ateret Anaby-Tavor:
Measuring the Measuring Tools: An Automatic Evaluation of Semantic Metrics for Text Corpora. CoRR abs/2211.16259 (2022) - 2021
- [c46]Eitan Farchi, Ramasuri Narayanam, Lokesh Nagalapatti:
Ranking Data Slices for ML Model Validation: A Shapley Value Approach. ICDE 2021: 1937-1942 - [c45]Samuel Ackerman, Parijat Dube, Eitan Farchi, Orna Raz, Marcel Zalmanovici:
Machine Learning Model Drift Detection Via Weak Data Slices. DeepTest@ICSE 2021: 1-8 - [i12]Guy Barash, Eitan Farchi, Sarit Kraus, Onn Shehory:
Broadly Applicable Targeted Data Sample Omission Attacks. CoRR abs/2105.01560 (2021) - [i11]Samuel Ackerman, Parijat Dube, Eitan Farchi, Orna Raz, Marcel Zalmanovici:
Machine Learning Model Drift Detection Via Weak Data Slices. CoRR abs/2108.05319 (2021) - [i10]Samuel Ackerman, Sanjib Choudhury, Nirmit Desai, Eitan Farchi, Dan Gisolfi, Andrew Hicks, Saritha Route, Diptikalyan Saha:
Towards API Testing Across Cloud and Edge. CoRR abs/2109.02540 (2021) - [i9]Samuel Ackerman, Eitan Farchi, Orna Raz, Marcel Zalmanovici, Maya Zohar:
Density-based interpretable hypercube region partitioning for mixed numeric and categorical data. CoRR abs/2110.05430 (2021) - [i8]Eliran Roffe, Samuel Ackerman, Orna Raz, Eitan Farchi:
Detecting model drift using polynomial relations. CoRR abs/2110.12506 (2021) - [i7]Samuel Ackerman, Parijat Dube, Eitan Farchi:
Using sequential drift detection to test the API economy. CoRR abs/2111.05136 (2021) - 2020
- [j15]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:
The Association for the Advancement of Artificial Intelligence 2020 Workshop Program. AI Mag. 41(4): 100-114 (2020) - [i6]Samuel Ackerman, Parijat Dube, Eitan Farchi:
Sequential Drift Detection in Deep Learning Classifiers. CoRR abs/2007.16109 (2020) - [i5]Samuel Ackerman, Eitan Farchi, Orna Raz, Marcel Zalmanovici, Parijat Dube:
Detection of data drift and outliers affecting machine learning model performance over time. CoRR abs/2012.09258 (2020)
2010 – 2019
- 2019
- [j14]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:
Reports of the Workshops Held at the 2019 AAAI Conference on Artificial Intelligence. AI Mag. 40(3): 67-78 (2019) - [c44]Guy Barash, Eitan Farchi, Ilan Jayaraman, Orna Raz, Rachel Tzoref-Brill, Marcel Zalmanovici:
Bridging the gap between ML solutions and their business requirements using feature interactions. ESEC/SIGSOFT FSE 2019: 1048-1058 - [i4]Eitan Farchi, Onn Shehory, Guy Barash:
Defending via strategic ML selection. CoRR abs/1904.00737 (2019) - [i3]P. Santhanam, Eitan Farchi, Victor Pankratius:
Engineering Reliable Deep Learning Systems. CoRR abs/1910.12582 (2019) - 2018
- [j13]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, Kristen Brent Venable, Neal Wagner, Anna Zamansky:
Reports of the Workshops of the 32nd AAAI Conference on Artificial Intelligence. AI Mag. 39(4): 45-56 (2018) - 2017
- [c43]Guy Barash, Eitan Farchi:
A randomized algorithm for constructing cross-feature tests from single feature tests. HLDVT 2017: 1-8 - [c42]Anna Zamansky, Amir Shwartz, Seri Khoury, Eitan Farchi:
A Composition-Based Method for Combinatorial Test Design. ICST Workshops 2017: 249-252 - 2016
- [c41]Maria Spichkova, Anna Zamansky, Eitan Farchi:
A Visual Logical Language for System Modelling in Combinatorial Test Design. CAiSE Workshops 2016: 116-121 - [i2]Maria Spichkova, Anna Zamansky, Eitan Farchi:
Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems. CoRR abs/1601.06222 (2016) - 2015
- [j12]Eitan Farchi, Robert M. Hierons, João Lourenço:
Special issue on testing, analysis and debugging of concurrent programs. Softw. Test. Verification Reliab. 25(3): 165-166 (2015) - [c40]Maria Spichkova, Anna Zamansky, Eitan Farchi:
Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems. ICPADS 2015: 847-851 - [c39]Anna Zamansky, Eitan Farchi:
Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test Design. SEFM Workshops 2015: 35-42 - [c38]Anna Zamansky, Eitan Farchi:
Exploring the Role of Logic and Formal Methods in Information Systems Education. SEFM Workshops 2015: 68-74 - [i1]Anna Zamansky, Eitan Farchi:
Teaching Logic to Information Systems Students: Challenges and Opportunities. CoRR abs/1507.03687 (2015) - 2014
- [c37]Eitan Farchi, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick:
Combinatorial Testing with Order Requirements. ICST Workshops 2014: 118-127 - [c36]Irit Hadar, Meira Levy, Yochai Ben-Chaim, Eitan Farchi:
Using Wiki as a Collaboration Platform for Software Requirements and Design. KICSS 2014: 529-536 - 2013
- [c35]Eitan Farchi, Itai Segall, Rachel Tzoref-Brill:
Using Projections to Debug Large Combinatorial Models. ICST Workshops 2013: 311-320 - [e5]João Lourenço, Eitan Farchi:
Multicore Software Engineering, Performance, and Tools - International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings. Lecture Notes in Computer Science 8063, Springer 2013, ISBN 978-3-642-39954-1 [contents] - 2012
- [c34]Eitan Farchi, Itai Segall, João Lourenço, Diogo Sousa:
Using program closures to make an application programming interface (API) implementation thread safe. PADTAD 2012: 18-24 - [c33]Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, David Kelk:
Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools. PADTAD 2012: 25-35 - 2011
- [j11]Peleg Yiftachel, Irit Hadar, Dan Peled, Eitan Farchi, Dan Goldwasser:
The Study of Resource Allocation among Software Development Phases: An Economics-Based Approach. Adv. Softw. Eng. 2011: 579292:1-579292:21 (2011) - [c32]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 - [c31]Itai Segall, Rachel Tzoref-Brill, Eitan Farchi:
Using binary decision diagrams for combinatorial test design. ISSTA 2011: 254-264 - [e4]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, ISBN 978-1-4503-0809-0 [contents] - 2010
- [j10]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 J. Res. Dev. 54(5): 3 (2010) - [c30]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 - [c29]Yao Qi, Yarden Nir-Buchbinder, Eitan Farchi, Raja Das, Zhi Da Luo, Zhi Gan:
Unit testing for concurrent business code. PDATAD 2010: 37-47 - [c28]Yochai Ben-Chaim, Meira Levy, Irit Hadar, Eitan Farchi, Alla Bronshtein:
Engaging Stakeholders in Globally Distributed Software Development Processes. MCIS 2010: 14
2000 – 2009
- 2009
- [c27]Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov:
Cross-Entropy-Based Replay of Concurrent Programs. FASE 2009: 201-215 - [c26]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 - [c25]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 - [c24]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 - [e3]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, ISBN 978-1-60558-655-7 [contents] - 2008
- [c23]Moran Shochat, Orna Raz, Eitan Farchi:
SeeCode - A Code Review Plug-in for Eclipse. Haifa Verification Conference 2008: 205-209 - [c22]Eitan Farchi, Shmuel Ur:
Selective Homeworkless Reviews. ICST 2008: 404-413 - [c21]Eitan Farchi:
Pitfalls in teaching development and testing of concurrent programs and how to overcome them. PADTAD 2008: 11 - [c20]Shmuel Ur, Scott D. Stoller, Eitan Farchi:
6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08). ISSTA 2008: 309-310 - 2007
- [j9]Amiram Hayardeny, Shachar Fienblit, Eitan Farchi:
Distributed desk checking. Concurr. Comput. Pract. Exp. 19(3): 295-309 (2007) - [j8]Marina Biberstein, Eitan Farchi, Shmuel Ur:
Choosing among alternative pasts. Concurr. Comput. Pract. Exp. 19(3): 341-353 (2007) - [c19]Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov:
Cross-Entropy Based Testing. FMCAD 2007: 101-108 - [c18]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 - [e2]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, ISBN 978-1-59593-748-3 [contents] - 2006
- [c17]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 - [c16]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 - [c15]Yosi Ben-Asher, Yaniv Eytani, Eitan Farchi, Shmuel Ur:
Producing scheduling that causes concurrent programs to fail. PADTAD 2006: 37-40 - [e1]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, ISBN 1-59593-414-6 [contents] - 2005
- [j7]Yosi Ben-Asher, Eitan Farchi:
Compact Representations of Search in Complex Domains. IGTR 7(1): 73-90 (2005) - [j6]Yosi Ben-Asher, Eitan Farchi:
Compact Representations of Search in Complex Domains. IGTR 7(2): 171-188 (2005) - [c14]Eitan Farchi, Gabriel Kliot, Yoel Krasny, Alex Krits, Roman Vitenberg:
Effective Testing and Debugging Techniques for a Group Communication System. DSN 2005: 80-85 - [c13]Eitan Farchi, Bradley R. Harrington:
Assisting the Code Review Process Using Simple Pattern Recognition. Haifa Verification Conference 2005: 103-115 - [c12]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 - [c11]Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur:
Applications of synchronization coverage. PPoPP 2005: 206-212 - 2004
- [c10]Marina Biberstein, Eitan Farchi, Shmuel Ur:
Fidgeting to the Point of No Return. IPDPS 2004 - [c9]Eitan Farchi, Yoel Krasny, Yarden Nir:
Automatic Simulation of Network Problems in UDP-Based Java Programs. IPDPS 2004 - [c8]Amiram Hayardeny, Shachar Fienblit, Eitan Farchi:
Concurrent and Distributed Desk Checking. IPDPS 2004 - 2003
- [j5]Orit Edelstein, Eitan Farchi, Evgeny Goldin, Yarden Nir, Gil Ratsaby, Shmuel Ur:
Framework for testing multi-threaded Java programs. Concurr. Comput. Pract. Exp. 15(3-5): 485-499 (2003) - [c7]Eitan Farchi, Yarden Nir, Shmuel Ur:
Concurrent Bug Patterns and How to Test Them. IPDPS 2003: 286 - [c6]Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani:
Heuristics for Finding Concurrent Bug. IPDPS 2003: 288 - [c5]Marina Biberstein, Eitan Farchi, Shmuel Ur:
Choosing among Alternative Pasts. IPDPS 2003: 289 - 2002
- [j4]Eitan Farchi, Alan Hartman, Shlomit S. Pinter:
Using a model-based test generator to test for standard conformance. IBM Syst. J. 41(1): 89-110 (2002) - [j3]Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur:
Multithreaded Java program test generation. IBM Syst. J. 41(1): 111-125 (2002) - [c4]David Carmel, Eitan Farchi, Yael Petruschka, Aya Soffer:
Automatic query refinement using lexical affinities with maximal information gain. SIGIR 2002: 283-290 - 2001
- [c3]Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur:
Multithreaded Java program test generation. Java Grande 2001: 181 - [c2]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
1990 – 1999
- 1999
- [j2]Yosi Ben-Asher, Eitan Farchi, Ilan Newman:
Optimal Search in Trees. SIAM J. Comput. 28(6): 2090-2102 (1999) - 1997
- [c1]Yosi Ben-Asher, Eitan Farchi, Ilan Newman:
Optimal Search in Trees: Extended Abstract + Appendix. SODA 1997: 739-746 - 1994
- [j1]Yosi Ben-Asher, Eitan Farchi:
Using true concurrency to model execution of parallel programs. Int. J. Parallel Program. 22(4): 375-407 (1994)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-31 20:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
