Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Franck Petit |
Fast Self-Stabilizing Depth-First Token Circulation. |
WSS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Felix C. Gärtner, Stefan Pleisch |
(Im)Possibilities of Predicate Detection in Crash-Affected Systems. |
WSS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Sandeep S. Kulkarni, Ravikant |
Stabilizing Causal Deterministic Merge. |
WSS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ajoy Kumar Datta, Ted Herman (eds.) |
Self-Stabilizing Systems, 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings |
WSS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Arturo Cobb, Mohamed G. Gouda |
Stabilization of Routing in Directed Networks. |
WSS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed G. Gouda |
The Theory of Weak Stabilization. |
WSS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ted Herman, Imran A. Pirwani |
A Composite Stabilizing Data Structure. |
WSS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Joffroy Beauquier, Thomas Hérault, Elad Schiller |
Easy Stabilization with an Agent. |
WSS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed G. Gouda, Chin-Tser Huang, Anish Arora |
On the Security and Vulnerability of PING. |
WSS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Joffroy Beauquier, Maria Gradinariu, Colette Johnen |
Cross-Over Composition - Enforcement of Fairness under Unfair Adversary. |
WSS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Sukumar Ghosh |
Cooperating Mobile Agents and Stabilization. |
WSS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Tixeuil |
On a Space-Optimal Distributed Traversal Algorithm. |
WSS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Shlomi Dolev, Ted Herman |
Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments. |
WSS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Ted Herman, Toshimitsu Masuzawa |
Self-Stabilizing Agent Traversal. |
WSS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Hadid, Vincent Villain |
A New Efficient Tool for the Design of Self-Stabilizing l-Exclusion Algorithms: The Controller. |
WSS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Shlomi Dolev, Elad Schiller |
Communication Adaptive Self-Stabilizing Group Membership Service. |
WSS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Luc Onana Alima |
Self-stabilizing max-heap. |
WSS |
1999 |
DBLP BibTeX RDF |
|
1 | Felix C. Gärtner, Henning Pagnia |
Self-stabilizing load distribution for replicated servers on a per-access basis. |
WSS |
1999 |
DBLP BibTeX RDF |
|
1 | Rodney R. Howell, Mikhail Nesterenko, Masaaki Mizuno |
Finite-state self-stabilizing protocols in message-passing systems. |
WSS |
1999 |
DBLP BibTeX RDF |
|
1 | Oliver E. Theel, Felix C. Gärtner |
An exercise in proving convergence through transfer functions. |
WSS |
1999 |
DBLP BibTeX RDF |
|
1 | Sandeep S. Kulkarni, John M. Rushby, Natarajan Shankar |
A case-study in component-based mechanical verification of fault-tolerant programs. |
WSS |
1999 |
DBLP BibTeX RDF |
|
1 | Sukumar Ghosh, Xin He |
Scalable self-stabilization. |
WSS |
1999 |
DBLP BibTeX RDF |
|
1 | Adam M. Costello, George Varghese |
The FDDI MAC meets self-stabilization. |
WSS |
1999 |
DBLP BibTeX RDF |
|
1 | Joffroy Beauquier, Ajoy Kumar Datta, Sébastien Tixeuil |
Self-stabilizing census with cut-through constraint. |
WSS |
1999 |
DBLP BibTeX RDF |
|
1 | Shing-Tsaan Huang, Tzong-Jye Liu |
Phase synchronization on asynchronous uniform rings with odd size. |
WSS |
1999 |
DBLP BibTeX RDF |
|
1 | Alain Bui, Ajoy Kumar Datta, Franck Petit, Vincent Villain |
State-optimal snap-stabilizing PIF in tree networks. |
WSS |
1999 |
DBLP BibTeX RDF |
|
1 | Augusto Ciuffoletti |
Self-stabilizing clock synchronization in a hierarchical network. |
WSS |
1999 |
DBLP BibTeX RDF |
|
1 | Mohamed G. Gouda, F. Furman Haddix |
The alternator. |
WSS |
1999 |
DBLP BibTeX RDF |
|
1 | Shlomi Dolev, Ted Herman |
Parallel composition of stabilizing algorithms. |
WSS |
1999 |
DBLP BibTeX RDF |
|
1 | Anish Arora (eds.) |
1999 ICDCS Workshop on Self-stabilizing Systems, Austin, Texas, USA, June 5, 1999, Proceedings |
WSS |
1999 |
DBLP BibTeX RDF |
|
1 | Mohamed G. Gouda, Marco Schneider |
Stabilization of maximal metric trees. |
WSS |
1999 |
DBLP BibTeX RDF |
|
1 | Karlo Burket, Ruppert Koch |
Self-stabilizing multiple-sender/single-receiver protocol. |
WSS |
1997 |
DBLP BibTeX RDF |
|
1 | Colette Johnen |
Memory-efficient self-stabilizing algorithm to construct BFS spanning trees. |
WSS |
1997 |
DBLP BibTeX RDF |
|
1 | Anish Arora, Mohamed G. Gouda |
Delay-insensitive stabilization. |
WSS |
1997 |
DBLP BibTeX RDF |
|
1 | Joffroy Beauquier, Synnöve Kekkonen-Moneta |
On FTSS-solvable distributed problems. |
WSS |
1997 |
DBLP BibTeX RDF |
|
1 | Paolo Boldi, Sebastiano Vigna |
Self-stabilizing universal algorithms. |
WSS |
1997 |
DBLP BibTeX RDF |
|
1 | Eiichiro Ueda, Yoshiaki Katayama, Toshimitsu Masuzawa, Hideo Fujiwara |
A latency-optimal superstabilizing mutual exclusion protocol. |
WSS |
1997 |
DBLP BibTeX RDF |
|
1 | George Varghese |
Compositional proofs of self-stabilizing protocols. |
WSS |
1997 |
DBLP BibTeX RDF |
|
1 | Uri Abraham, Shlomi Dolev, Ted Herman, Irit Koll |
Self-stabilizing L-exclusion. |
WSS |
1997 |
DBLP BibTeX RDF |
|
1 | Yassine Lakhnech, Michael Siegel |
Deductive verification of stabilizing systems. |
WSS |
1997 |
DBLP BibTeX RDF |
|
1 | Sandeep S. Kulkarni, Anish Arora |
Compositional design of multitolerant repetitive byzantine agreement. |
WSS |
1997 |
DBLP BibTeX RDF |
|
1 | Sukumar Ghosh, Sriram V. Pemmaraju |
Tradeoffs in fault-containing self-stabilization. |
WSS |
1997 |
DBLP BibTeX RDF |
|
1 | Sukumar Ghosh, Ted Herman (eds.) |
3rd Workshop on Self-stabilizing Systems, Santa Barbara, California, USA, August, 1997, Proceedings |
WSS |
1997 |
DBLP BibTeX RDF |
|
1 | Mohamed G. Gouda, F. Furman Haddix |
The linear alternator. |
WSS |
1997 |
DBLP BibTeX RDF |
|
1 | Jorge Arturo Cobb, Mohamed Waris |
Propagated timestamps: a scheme for the stabilization of maximum-flow routing protocols. |
WSS |
1997 |
DBLP BibTeX RDF |
|
1 | Hirotsugu Kakugawa, Masaaki Mizuno, Mikhail Nesterenko |
Development of self-stabilizing distributed algorithms using transformation: case studies. |
WSS |
1997 |
DBLP BibTeX RDF |
|