Formal verification of concurrent software: Two case studies
- Hana Chockler
- Eitan Farchi
- et al.
- 2006
- PADTAD 2006
Publications
Date
Featured collections
Popular topics
50 results for Eitan Farchi
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