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] |