| * | 2009 |
| 6 | EE | Shlomi Dolev,
Yinnon A. Haviv,
Mooly Sagiv:
Self-stabilization preserving compiler.
ACM Trans. Program. Lang. Syst. 31(6): (2009) |
| 2007 |
| 5 | EE | Olga Brukman,
Shlomi Dolev,
Yinnon A. Haviv,
Reuven Yagel:
Self-Stabilization as a Foundation for Autonomic Computing.
ARES 2007: 991-998 |
| 2006 |
| 4 | EE | Shlomi Dolev,
Yinnon A. Haviv:
Stabilization Enabling Technology.
SSS 2006: 1-15 |
| 3 | EE | Shlomi Dolev,
Yinnon A. Haviv:
Self-Stabilizing Microprocessor: Analyzing and Overcoming Soft Errors.
IEEE Trans. Computers 55(4): 385-399 (2006) |
| 2005 |
| 2 | EE | Shlomi Dolev,
Yinnon A. Haviv,
Mooly Sagiv:
Self-stabilization Preserving Compiler.
Self-Stabilizing Systems 2005: 81-95 |
| 2004 |
| 1 | EE | Shlomi Dolev,
Yinnon A. Haviv:
Self-Stabilizing Microprocessor - Analyzing and Overcoming Soft-Errors (Extended Abstract).
ARCS 2004: 31-46 |