Self-Stabilizing Microprocessor - Analyzing and Overcoming Soft-Errors (Extended Abstract). - Shlomi Dolev; Yinnon A. Haviv (ARCS, 2004)

Self-Stabilizing Microprocessor: Analyzing and Overcoming Soft Errors. - Shlomi Dolev; Yinnon A. Haviv (IEEE Trans. Computers, 2006)

Self-Stabilization as a Foundation for Autonomic Computing. - Olga Brukman; Shlomi Dolev; Yinnon A. Haviv; Reuven Yagel (ARES, 2007)

Self-Stabilization from Theory to Practice. - Olga Brukman; Shlomi Dolev; Yinnon A. Haviv; Limor Lahiani; Ronen I. Kat; Elad Michael Schiller; Nir Tzachar; Reuven Yagel (Bull. EATCS, 2008)

Brief Announcement: Unique Permutation Hashing. - Shlomi Dolev; Limor Lahiani; Yinnon A. Haviv (SSS, 2009)

Self-stabilization preserving compiler. - Shlomi Dolev; Yinnon A. Haviv; Mooly Sagiv (ACM Trans. Program. Lang. Syst., 2009)

Stabilization Enabling Technology. - Shlomi Dolev; Yinnon A. Haviv (IEEE Trans. Dependable Secur. Comput., 2012)

Unique permutation hashing. - Shlomi Dolev; Limor Lahiani; Yinnon A. Haviv (Theor. Comput. Sci., 2013)