Fault-containing self-stabilizing algorithms
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
The Request Reply Family of Group Routing Protocols
IEEE Transactions on Computers
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Easy Stabilization with an Agent
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
A New Rewrite Method for Convergence of Self-Stabilizing Systems
Proceedings of the 13th International Symposium on Distributed Computing
The Theory of Weak Stabilization
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
Distributed Computing
Hello again: Stabilization of the Hello protocol in OSPF
Journal of High Speed Networks - Self-Stabilizing Systems, Part 1
SSS '08 Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Nash Equilibria in Stabilizing Systems
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
Stabilization of loop-free redundant routing
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
r-semi-groups: a generic approach for designing stabilizing silent tasks
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Group routing without group routing tables: an exercise in protocol design
Computer Communications
A Lightweight Method for Automated Design of Convergence in Network Protocols
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special Section: Extended Version of SASO 2011 Best Paper
| Hi-index | 0.00 |