Yarden Nir-Buchbinder

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Eitan Farchi

> Home > Persons > Yarden Nir-Buchbinder

Publications

2010
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ibmrd/AgarwalBFHNSUW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ibmrd/AgarwalBFHNSUW10
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)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/QiNFDLG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/QiNFDLG10
Yao Qi, Yarden Nir-Buchbinder, Eitan Farchi, Raja Das, Zhi Da Luo, Zhi Gan:
Unit testing for concurrent business code. PDATAD 2010: 37-47
2009
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/TraininNTZUF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/TraininNTZUF09
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
2006
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/ChocklerFGGNR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ChocklerFGGNR06
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
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/BronFMNU05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/BronFMNU05
Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir, Shmuel Ur:
Applications of synchronization coverage. PPoPP 2005: 206-212
2004
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/FarchiKN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/FarchiKN04
Eitan Farchi, Yoel Krasny, Yarden Nir:
Automatic Simulation of Network Problems in UDP-Based Java Programs. IPDPS 2004
2003
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/EdelsteinFGNRU03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/EdelsteinFGNRU03
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)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/FarchiNU03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/FarchiNU03
Eitan Farchi, Yarden Nir, Shmuel Ur:
Concurrent Bug Patterns and How to Test Them. IPDPS 2003: 286
2002
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ibmsj/EdelsteinFNRU02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ibmsj/EdelsteinFNRU02
Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur:
Multithreaded Java program test generation. IBM Syst. J. 41(1): 111-125 (2002)
2001
[c1]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/java/EdelsteinFNRU01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/java/EdelsteinFNRU01
Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur:
Multithreaded Java program test generation. Java Grande 2001: 181

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.