On Distributed Verification (2006)

Cached

Download Links

by Amos Korman , Shay Kutten
Citations:1 - 0 self

Active Bibliography

20 Proof Labeling Schemes – Amos Korman, Shay Kutten, David Peleg - 2005
Proof Labeling Schemes (Extended ABstract) – Amos Korman, Shay Kutten, David Peleg - 2005
23 The Local Detection Paradigm and its Applications to Self-Stabilization – Yehuda Afek, Shay Kutten, Moti Yung
The Local Detection Paradigm for Self Stabilization to Self Stabilization – Yehuda Afek, Shay Kutten, Moti Yung - 1994
19 Distributed Verification of Minimum Spanning Trees – Amos Korman, Shay Kutten - 2006
Local Stabilizer (Extended Abstract) – Yehuda Afek, Shlomi Dolev
35 Local Stabilizer – Yehuda Afek, Shlomi Dolev - 1997
1 Scalable Fault Tolerance – Shay Kutten - 1996
15 Self-Stabilizing PIF Algorithm in Arbitrary Rooted Networks – Alain Cournier, Ajoy K. Datta, Franck Petit, Vincent Villain - 2001
11 A Survey of Self-Stabilizing Spanning-Tree Construction Algorithms – Felix C. Gärtner - 2003
1 Optimal PIF In Tree Networks – Alain Bui, Ajoy K. Datta, Franck Petit, Vincent Villain - 1999
51 State-Optimal Snap-Stabilizing PIF in Tree Networks (Extended Abstract) – Alain Bui, Ajoy K. Datta, Franck Petit, Vincent Villain - 1999
STUDYING NETWORK OPTIMIZATION IN THE CONTEXT OF SELF-STABILIZATION – Abusayeed Saifullah
1 Fair and Reliable Self-Stabilizing Communication – Colette Johnen, Ivan Lavallée, Christian Lavault
RELIABLE SELF-STABILIZING COMMUNICATION FOR QUASI RENDEZVOUS – Colette Johnen, Ivan Lavallée, Christian Lavault
62 Fault-local distributed mending – Shay Kutten, David Peleg - 1995
19 Stabilizing Time-Adaptive Protocols – Shay Kutten, Boaz Patt-Shamir - 1998
5 A Time Optimal Self-Stabilizing Synchronizer Using A Phase Clock – Baruch Awerbuch, Shay Kutten, Yishay Mansour, Boaz Patt-Shamir, George Varghese - 2006
40 Self-stabilization by Counter Flushing – George Varghese - 1994