![]() |
| 2007 | ||
|---|---|---|
| 3 | EE | 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 |
| 2 | EE | Amiram Hayardeny, Shachar Fienblit, Eitan Farchi: Distributed desk checking. Concurrency and Computation: Practice and Experience 19(3): 295-309 (2007) |
| 2004 | ||
| 1 | EE | Amiram Hayardeny, Shachar Fienblit, Eitan Farchi: Concurrent and Distributed Desk Checking. IPDPS 2004 |
| 1 | Eitan Farchi | [1] [2] [3] |
| 2 | Yakov S. Filiarsky | [3] |
| 3 | Shay Gammer | [3] |
| 4 | Gadi Haber | [3] |
| 5 | Amiram Hayardeny | [1] [2] |
| 6 | Moshe Klausner | [3] |
| 7 | Sergey Novikov | [3] |
| 8 | Nitzan Peleg | [3] |
| 9 | Orna Raz | [3] |