| |
| 2008 | ||
|---|---|---|
| 3 | EE | Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur: Deadlocks: From Exhibiting to Healing. RV 2008: 104-118 |
| 2007 | ||
| 2 | EE | Yarden Nir-Buchbinder, Shmuel Ur: ConTest listeners: a concurrency-oriented infrastructure for Java test and heal tools. SOQUA 2007: 9-16 |
| 2006 | ||
| 1 | EE | 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 |
| 1 | Hana Chockler | [1] |
| 2 | Eitan Farchi | [1] |
| 3 | Ziv Glazberg | [1] |
| 4 | Benny Godlin | [1] |
| 5 | Ishai Rabinovitz | [1] |
| 6 | Rachel Tzoref | [3] |
| 7 | Shmuel Ur | [2] [3] |