Concurrent and Distributed Desk Checking. - Amiram Hayardeny; Shachar Fienblit; Eitan Farchi (IPDPS, 2004)

Architectures for Controller Based CDP. - Guy Laden; Paula Ta-Shma; Eitan Yaffe; Michael Factor; Shachar Fienblit (FAST, 2007)

The Advantages of Post-Link Code Coverage. - Orna Raz; Moshe Klausner; Nitzan Peleg; Gadi Haber; Eitan Farchi; Shachar Fienblit; Yakov S. Filiarsky; Shay Gammer; Sergey Novikov (Haifa Verification Conference, 2007)

Distributed desk checking. - Amiram Hayardeny; Shachar Fienblit; Eitan Farchi (Concurr. Comput. Pract. Exp., 2007)