Robust Asynchronous Algorithms in Networks with a Fault Detection Ring. - Moshe Molcho; Shmuel Zaks (ISAAC, 1994)

Test Program Generation for Functional Verification of PowerPC Processors in IBM. - Aharon Aharon; Dave Goodman; Moshe Levinger; Yossi Lichtenstein; Yossi Malka; Charlotte Metzger; Moshe Molcho; Gil Shurek (DAC, 1995)