Gil Ratsaby

According to our database, Gil Ratsaby authored at least 5 papers between 2001 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2006

Quantum advantage without entanglement.

Dan Kenigsberg, Tal Mor, Gil Ratsaby

Quantum Inf. Comput., 2006

2003

Framework for testing multi-threaded Java programs.

Orit Edelstein, Eitan Farchi, Evgeny Goldin, Yarden Nir, Gil Ratsaby, Shmuel Ur

Concurr. Comput. Pract. Exp., 2003

2002

Improvements in Coverability Analysis.

Gil Ratsaby, Baruch Sterin, Shmuel Ur

Proceedings of the FME 2002: Formal Methods, 2002

2001

Multithreaded Java program test generation.

Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur

Proceedings of the ACM 2001 Java Grande Conference, Stanford University, California, USA, 2001

Coverability Analysis Using Symbolic Model Checking.

Gil Ratsaby, Shmuel Ur, Yaron Wolfsthal

Proceedings of the Correct Hardware Design and Verification Methods, 2001