An optimal self-stabilizing strarvation-free alternator
Journal of Computer and System Sciences
How to Improve Safety under Convergence Using Stable Storage
IEEE Transactions on Parallel and Distributed Systems
Disassembling real-time fault-tolerant programs
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
An adaptive stabilizing algorithm for finding all disjoint paths in anonymous mesh networks
Computer Communications
Compositional verification of fault-tolerant real-time programs
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Analysis of an Intentional Fault Which Is Undetectable by Local Checks under an Unfair Scheduler
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Timer-based composition of fault-containing self-stabilizing protocols
Information Sciences: an International Journal
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
ACM Transactions on Algorithms (TALG)
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
OPODIS'10 Proceedings of the 14th international conference on Principles of distributed systems
An application of snap-stabilization: matching in bipartite graphs
ACMOS'07 Proceedings of the 9th WSEAS international conference on Automatic control, modelling and simulation
Output stability versus time till output
DISC'07 Proceedings of the 21st international conference on Distributed Computing
Hi-index | 0.89 |