Coverability Analysis Using Symbolic Model Checking. - Gil Ratsaby; Shmuel Ur; Yaron Wolfsthal (CHARME, 2001)

Improvements in Coverability Analysis. - Gil Ratsaby; Baruch Sterin; Shmuel Ur (FME, 2002)

Multithreaded Java program test generation. - Orit Edelstein; Eitan Farchi; Yarden Nir; Gil Ratsaby; Shmuel Ur (IBM Syst. J., 2002)

Framework for testing multi-threaded Java programs. - Orit Edelstein; Eitan Farchi; Evgeny Goldin; Yarden Nir; Gil Ratsaby; Shmuel Ur (Concurr. Comput. Pract. Exp., 2003)

Quantum advantage without entanglement. - Dan Kenigsberg; Tal Mor; Gil Ratsaby (Quantum Inf. Comput., 2006)