Self-stabilizing symmetry breaking in constant-space (extended abstract)
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
ACM Computing Surveys (CSUR)
Reasoning about probabilistic parallel programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Probabilistic self-stabilizing mutual exclusion in uniform rings
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Uniform and Self-Stabilizing Token Rings Allowing Unfair Daemon
IEEE Transactions on Parallel and Distributed Systems
A Self-Stabilizing Ring Orientation Algorithm With a Smaller Number of Processor States
IEEE Transactions on Parallel and Distributed Systems
Memory space requirements for self-stabilizing leader election protocols
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
Self-stabilizing algorithms for synchronous unidirectional rings
Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms
Self-stabilizing unidirectional network algorithms by power-supply
SODA '97 Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms
Self-stabilizing token circulation on asynchronous uniform unidirectional rings
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
Two-State Self-Stabilizing Algorithms for Token Rings
IEEE Transactions on Software Engineering
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Token-based self-stabilizing uniform algorithms
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Randomized Finite-State Distributed Algorithms as Markov Chains
DISC '01 Proceedings of the 15th International Conference on Distributed Computing
Tight Space Self-stabilizing Uniform l-Mutual Exclusion
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Distributed Computing
A self-stabilizing algorithm for bridge finding
Distributed Computing
Probabilistic model checking in practice: case studies with PRISM
ACM SIGMETRICS Performance Evaluation Review
Self-stabilization: randomness to reduce space
Distributed Computing
Cost-based analysis of probabilistic programs mechanised in HOL
Nordic Journal of Computing
Coupling and self-stabilization
Distributed Computing - Special issue: DISC 04
On the expected time for Herman's probabilistic self-stabilizing algorithm
Theoretical Computer Science
An elementary proof that Herman's ring is Θ(N2)
Information Processing Letters
Self-stabilizing population protocols
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Efficient Probabilistic Model Checking on General Purpose Graphics Processors
Proceedings of the 16th International SPIN Workshop on Model Checking Software
Quantitative Analysis With the Probabilistic Model Checker PRISM
Electronic Notes in Theoretical Computer Science (ENTCS)
An elementary proof that Herman's Ring is Θ(N2)
Information Processing Letters
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
All k-bounded policies are equivalent for self-stabilization
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
A self-stabilizing distributed algorithm for resolving conflicts
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
On automated verification of probabilistic programs
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
A uniform process alternator for arbitrary topologies
Journal of High Speed Networks
Algorithms and theory of computation handbook
On stabilization in Herman's algorithm
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
Language equivalence for probabilistic automata
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Self-stabilizing population protocols
OPODIS'05 Proceedings of the 9th international conference on Principles of Distributed Systems
Programming-logic analysis of fault tolerance: expected performance of self-stabilisation
Rigorous Development of Complex Fault-Tolerant Systems
Proof rules for probabilistic loops
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Learning markov models for stationary system behaviors
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Searching for pareto-optimal randomised algorithms
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Brief announcement: probabilistic stabilization under probabilistic schedulers
DISC'12 Proceedings of the 26th international conference on Distributed Computing
A tighter bound for the self-stabilization time in Herman's algorithm
Information Processing Letters
Introducing speculation in self-stabilization: an application to mutual exclusion
Proceedings of the 2013 ACM symposium on Principles of distributed computing
Reasoning about almost-certain convergence properties using Event-B
Science of Computer Programming
Hi-index | 0.90 |