Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

50 results for Eitan Farchi

Formal verification of concurrent software: Two case studies
- - Hana Chockler
  - Eitan Farchi
  - et al.
- 2006
- PADTAD 2006
Producing scheduling that causes concurrent programs to fail
- - Yosi Ben-Asher
  - Yaniv Eytani
  - et al.
- 2006
- PADTAD 2006
Noise makers need to know where to be silent - Producing schedules that find bugs
- - Yosi Ben-Asher
  - Yaniv Eytani
  - et al.
- 2006
- ISoLA 2006
Applications of synchronization coverage
- - Arkady Bron
  - Eitan Farchi
  - et al.
- 2005
- PROPP 2005
Effective testing and debugging techniques for a group communication system
- - Eitan Farchi
  - Gabi Kliot
  - et al.
- 2005
- DSN 2005
Concurrent and distributed desk checking
- - Amiram Hayardeny
  - Shachar Fienblit
  - et al.
- 2004
- IPDPS 2004
Automatic simulation of network problems in UDP-based java programs
- - Eitan Farchi
  - Yoel Krasny
  - et al.
- 2004
- IPDPS 2004
Fidgeting to the point of no return
- - Marina Biberstein
  - Eitan Farchi
  - et al.
- 2004
- IPDPS 2004
Heuristics for finding concurrent bugs
- - Yaniv Eytani
  - Eitan Farchi
  - et al.
- 2003
- IPDPS 2003
Concurrent bug patterns and how to test them
- - Eitan Farchi
  - Yarden Nir
  - et al.
- 2003
- IPDPS 2003