The mutual exclusion problem: partII—statement and solutions
Journal of the ACM (JACM)
A resilient distributed protocol for network synchronization
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Fault tolerant distributed process-control systems
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
A Class of Inherently Fault Tolerant Distributed Programs
IEEE Transactions on Software Engineering
Uniform self-stabilizing rings
ACM Transactions on Programming Languages and Systems (TOPLAS)
Token Systems That Self-Stabilize
IEEE Transactions on Computers
A Design Approach for Self-Diagnosis of Fault-Tolerant Clock Synchronization
IEEE Transactions on Computers
Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets
IEEE Transactions on Computers
Self-stabilizing extensions for message-passing systems
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Token management schemes and random walks yield self-stabilizing mutual exclusion
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Implementing fault-tolerant services using the state machine approach: a tutorial
ACM Computing Surveys (CSUR)
STOC '90 Proceedings of the twenty-second annual ACM symposium on Theory of computing
How to withstand mobile virus attacks (extended abstract)
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Resource bounds for self stabilizing message driven protocols
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Stabilizing Communication Protocols
IEEE Transactions on Computers - Special issue on protocol engineering
A first-come-first-served mutual-exclusion algorithm with small communication variables
ACM Transactions on Programming Languages and Systems (TOPLAS)
Stability and stabilizability of discrete event dynamic systems
Journal of the ACM (JACM)
IEEE Transactions on Software Engineering
An object-based programming model for shared data
ACM Transactions on Programming Languages and Systems (TOPLAS)
Self-stabilizing symmetry breaking in constant-space (extended abstract)
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
Self-stabilizing deadlock detection algorithms
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Computing with faulty shared memory
PODC '92 Proceedings of the eleventh annual ACM symposium on Principles of distributed computing
PODC '92 Proceedings of the eleventh annual ACM symposium on Principles of distributed computing
PODC '92 Proceedings of the eleventh annual ACM symposium on Principles of distributed computing
ACM Computing Surveys (CSUR)
An alternative solution to a problem on self-stabilization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Wait-free clock synchronization
PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
Unifying self-stabilization and fault-tolerance
PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
Time optimal self-stabilizing synchronization
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
A protocol for route establishment and packet forwarding across multidomain internets
IEEE/ACM Transactions on Networking (TON)
A distributed shared virtual memory for Ada 83 and Ada 9X applications
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Closure and Convergence: A Foundation of Fault-Tolerant Computing
IEEE Transactions on Software Engineering - Special issue on software reliability
Leader election in uniform rings
ACM Transactions on Programming Languages and Systems (TOPLAS)
A bounded first-in, first-enabled solution to the l-exclusion problem
ACM Transactions on Programming Languages and Systems (TOPLAS)
Self-stabilization by counter flushing
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Memory-efficient and self-stabilizing network RESET (extended abstract)
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Probabilistic self-stabilizing mutual exclusion in uniform rings
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Log-space polynomial end-to-end communication
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Computing with faulty shared objects
Journal of the ACM (JACM)
Self-stabilizing topology maintenance protocols for high-speed networks
IEEE/ACM Transactions on Networking (TON)
Memory requirements for silent stabilization
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Self-stabilization by window washing
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Uniform and Self-Stabilizing Token Rings Allowing Unfair Daemon
IEEE Transactions on Parallel and Distributed Systems
Crash Resilient Communication in Dynamic Networks
IEEE Transactions on Computers
Uniform Dynamic Self-Stabilizing Leader Election
IEEE Transactions on Parallel and Distributed Systems
Possible and Impossible Self-Stabilizing Digital ClockSynchronization in General Graphs
Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part I
Self-stabilizing sliding window ARQ protocols
IEEE/ACM Transactions on Networking (TON)
Implementing a Probabilistic Clock Synchronization Algorithm
Real-Time Systems
Time-adaptive self stabilization
PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing
Trade-offs in fault-containing self-stabilization
PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing
Asynchronous time-adaptive self stabilization
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
ACM Transactions on Computer Systems (TOCS)
A Self-Stabilizing Ring Orientation Algorithm With a Smaller Number of Processor States
IEEE Transactions on Parallel and Distributed Systems
Constructing a Reliable Test&Set Bit
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
Optimal reactive k-stabilization: the case of mutual exclusion
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
Simulation of self-stabilizing algorithms in distributed systems
ANSS '92 Proceedings of the 25th annual symposium on Simulation
Fundamentals of fault-tolerant distributed computing in asynchronous environments
ACM Computing Surveys (CSUR)
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
What it means for a concurrent program to satisfy a specification: why no one has specified priority
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A simple self-stabilizing reset protocol
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Simple distributed algorithms for the cycle cutset problem
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Fault-containing network protocols
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Self-stabilizing token circulation on asynchronous uniform unidirectional rings
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Symbolic Model Checking for Self-Stabilizing Algorithms
IEEE Transactions on Parallel and Distributed Systems
Design of Multi-Invariant Data Structures for Robust Shared Accesses in Multiprocessor Systems
IEEE Transactions on Software Engineering
Using actors in an interactive animation in a graduate course on distributed system
Proceedings of the 6th annual conference on Innovation and technology in computer science education
Phase Synchronization on Asynchronous Uniform Rings with Odd Size
IEEE Transactions on Parallel and Distributed Systems
Real-time protocol analysis for detecting link-state routing protocol attacks
ACM Transactions on Information and System Security (TISSEC)
Theoretical Computer Science
Self-stabilization as multiagent systems property
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Self-stabilizing mutual exclusion using tokens in mobile ad hoc networks
DIALM '02 Proceedings of the 6th international workshop on Discrete algorithms and methods for mobile computing and communications
Self-stabilization and eventual consistency in replicated real-time databases
WOSS '02 Proceedings of the first workshop on Self-healing systems
Self-stabilizing deterministic network decomposition
Journal of Parallel and Distributed Computing
A quorum-based self-stabilizing distributed mutual exclusion algorithm
Journal of Parallel and Distributed Computing
Introducing middle school girls to fault tolerant computing
SIGCSE '03 Proceedings of the 34th SIGCSE technical symposium on Computer science education
Semantics-based transaction processing: satisfying conflicting objectives
IEEE Parallel & Distributed Technology: Systems & Technology
Nest: A Nested-Predicate Scheme for Fault Tolerance
IEEE Transactions on Computers
A Resilient Mutual Exclusion Algorithm for Computer Networks
IEEE Transactions on Parallel and Distributed Systems
Two-State Self-Stabilizing Algorithms for Token Rings
IEEE Transactions on Software Engineering
Analyzing Expected Time by Scheduler-Luck Games
IEEE Transactions on Software Engineering
Theoretical Computer Science - Dependable computing
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Stabilization-preserving atomicity refinement
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Finite-state self-stabilizing protocols in message-passing systems
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Self-stabilization of wait-free shared memory objects
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Space and time efficient self-stabilizing l-exclusion in tree networks
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
A latency optimal superstabilizing mutual exclusion protocol in unidirectional rings
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
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
Tolerating transient and intermittent failures
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
A stabilizing algorithm for finding biconnected components
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Distributed Enforcement of Integrity Constraints
Distributed and Parallel Databases
IEEE Annals of the History of Computing
Fault Tolerant Distributed Coloring Algorithms that Stabilize in Linear Time
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Proving Self-Stabilization with a Proof Assistant
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
A distributed self-stabilizing algorithm for argumentation
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
On Restructuring Distributed Algorithms for Mobile Computing
IWDC '02 Proceedings of the 4th International Workshop on Distributed Computing, Mobile and Wireless Computing
Stabilization-Preserving Atomicity Refinement
Proceedings of the 13th International Symposium on Distributed Computing
Self-Stabilizing Local Mutual Exclusion and Daemon Refinement
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
Self Stabilizing Distributed Queuing
DISC '01 Proceedings of the 15th International Conference on Distributed Computing
Randomized Finite-State Distributed Algorithms as Markov Chains
DISC '01 Proceedings of the 15th International Conference on Distributed Computing
A Space Optimal, Deterministic, Self-Stabilizing, Leader Election Algorithm for Unidirectional Rings
DISC '01 Proceedings of the 15th International Conference on Distributed Computing
Transformations of Self-Stabilizing Algorithms
DISC '02 Proceedings of the 16th International Conference on Distributed Computing
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
Self-stabilizing Neighborhood Unique Naming under Unfair Scheduler
Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing
Stabilizing Inter-domain Routing in the Internet (Research Note)
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
A Self-stabilizing Token-Based k-out-of-l Exclusion Algorithm
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
Unavoidable Configurations of Parameterized Rings of Processes
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Agents, Distributed Algorithms, and Stabilization
COCOON '00 Proceedings of the 6th Annual International Conference on Computing and Combinatorics
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Fast Self-Stabilizing Depth-First Token Circulation
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
On a Space-Optimal Distributed Traversal Algorithm
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
Easy Stabilization with an Agent
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
Communication Adaptive Self-Stabilizing Group Membership Service
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
Cooperating Mobile Agents and Stabilization
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
A New Efficient Tool for the Design of Self-Stabilizing l-Exclusion Algorithms: The Controller
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
Approximation Algorithm for the Maximum Leaf Spanning Tree Problem for Cubic Graphs
ESA '02 Proceedings of the 10th Annual European Symposium on Algorithms
A New Rewrite Method for Convergence of Self-Stabilizing Systems
Proceedings of the 13th International Symposium on Distributed Computing
Self-Stabilizing Minimum Spanning Tree Construction on Message-Passing Networks
DISC '01 Proceedings of the 15th International Conference on Distributed Computing
The Theory of Weak Stabilization
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
Self-stabilization with path algebra
Theoretical Computer Science
Universal dynamic synchronous self-stabilization
Distributed Computing
A self-stabilizing distributed algorithm for spanning tree construction in wireless ad hoc networks
Journal of Parallel and Distributed Computing - Special issue on wireless and mobile ad hoc networking and computing
Impact of hardware interconnection structures on the performance of decentralized software
ISCA '81 Proceedings of the 8th annual symposium on Computer Architecture
On the performance of decentralized software
PERFORMANCE '80 Proceedings of the 1980 international symposium on Computer performance modelling, measurement and evaluation
Reducing The Cost Of Security In Link-State Routing
SNDSS '97 Proceedings of the 1997 Symposium on Network and Distributed System Security
Efficient Self-stabilizing Algorithms for Tree Networks
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
Self-Stabilizing Smoothing and Counting
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Proceedings of the twenty-second annual symposium on Principles of distributed computing
Self-Stabilizing Mutual Exclusion in the Presence of Faulty Nodes
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Optimal Resiliency Against Mobile Faults
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Tight Space Self-stabilizing Uniform l-Mutual Exclusion
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Self-Stabilizing PIF Algorithm in Arbitrary Rooted Networks
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
An Exercise in Proving Self-Stabilization through Ljapunov Functions
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Communication Adaptive Self-Stabilizing Group Membership Service
IEEE Transactions on Parallel and Distributed Systems
An Efficient Fault-Containing Self-Stabilizing Algorithm for Finding a Maximal Independent Set
IEEE Transactions on Parallel and Distributed Systems
Linear time self-stabilizing colorings
Information Processing Letters
Automatic detection and repair of errors in data structures
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Theoretical Computer Science
Distributed Computing
A self-stabilizing quorum-based protocol for maxima computing
Distributed Computing
Asynchronous Phase Synchronization in Uniform Unidirectional Rings
IEEE Transactions on Parallel and Distributed Systems
Distributed mutual exclusion algorithms in mobile ad hoc networks: an overview
ACM SIGOPS Operating Systems Review
A Multi-Channel MAC Protocol Using Maximal Matching for Ad Hoc Networks
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
TDMA Service for Sensor Networks
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
The hyperring: a low-congestion deterministic data structure for distributed environments
SODA '04 Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms
Locating cache proxies in manets
Proceedings of the 5th ACM international symposium on Mobile ad hoc networking and computing
Pagoda: a dynamic overlay network for routing, data management, and multicasting
Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures
When graph theory helps self-stabilization
Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing
An anonymous self-stabilizing algorithm for 1-maximal independent set in trees
Information Processing Letters - Devoted to the rapid publication of short contributions to information processing
Self-stabilizing clock synchronization in the presence of Byzantine faults
Journal of the ACM (JACM)
A self-stabilizing algorithm for maximal 2-packing
Nordic Journal of Computing
Self-Stabilizing Real-Time OPS5 Production Systems
IEEE Transactions on Knowledge and Data Engineering
Superstabilizing mutual exclusion
Distributed Computing
Self-stabilizing 2m-clock for unidirectional rings of odd size
Distributed Computing
Communications of the ACM
A self-stabilizing algorithm for the maximum flow problem
Distributed Computing
Self-stabilizing token circulation in uniform networks
Distributed Computing
Self-stabilizing depth-first token circulation in arbitrary rooted networks
Distributed Computing
UbiCrawler: a scalable fully distributed web crawler
Software—Practice & Experience
Coordination without communication: the case of the flocking problem
Discrete Applied Mathematics - Fun with algorithms 2 (FUN 2001)
Self-Management: The Solution to Complexity or Just Another Problem?
IEEE Distributed Systems Online
Self-Stabilizing Anonymous Leader Election in a Tree
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 8 - Volume 09
Distributed approximation: a survey
ACM SIGACT News
Ad Hoc, self-supervising peer-to-peer search networks
ACM Transactions on Information Systems (TOIS)
Alternators on uniform rings of odd size
Distributed Computing
Design and analysis of dynamic leader election protocols in broadcast networks
Distributed Computing
Self-stabilizing multi-token rings
Distributed Computing
Self-stabilization: randomness to reduce space
Distributed Computing
Distributed Computing
A fault-tolerant message passing algorithm and its hardware implementation
Advances in Engineering Software
A space-efficient self-stabilizing algorithm for measuring the size of ring networks
Information Processing Letters
Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing
Constant density spanners for wireless ad-hoc networks
Proceedings of the seventeenth annual ACM symposium on Parallelism in algorithms and architectures
Distributed Computing - Special issue: Self-stabilization
Self-stabilization of dynamic systems assuming only read/write atomicity
Distributed Computing - Special issue: Self-stabilization
Self-stabilizing extensions for message-passing systems
Distributed Computing - Special issue: Self-stabilization
Self-stabilization over unreliable communication media
Distributed Computing - Special issue: Self-stabilization
Stabilization and pseudo-stabilization
Distributed Computing - Special issue: Self-stabilization
Convergence of iteration systems
Distributed Computing - Special issue: Self-stabilization
A self-stabilizing algorithm for coloring planar graphs
Distributed Computing - Special issue: Self-stabilization
Self-stabilizing depth-first token circulation on networks
Distributed Computing - Special issue: Self-stabilization
A self-stabilizing algorithm for the shortest path problem assuming read/write atomicity
Journal of Computer and System Sciences
Stabilizing mobile philosophers
Information Processing Letters
Self-stabilizing coloration in anonymous planar networks
Information Processing Letters
The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance
IEEE Transactions on Dependable and Secure Computing
Self-organizing publish/subscribe
DSM '05 Proceedings of the 2nd international doctoral symposium on Middleware
Queue - Managing Megaservices
Theory and Practice of Logic Programming
Self-stabilizing operating systems
Proceedings of the twentieth ACM symposium on Operating systems principles
An optimal self-stabilizing strarvation-free alternator
Journal of Computer and System Sciences
The TTA's Approach to Resilience after Transient Upsets
Real-Time Systems
How to Improve Safety under Convergence Using Stable Storage
IEEE Transactions on Parallel and Distributed Systems
Random Walk for Self-Stabilizing Group Communication in Ad Hoc Networks
IEEE Transactions on Mobile Computing
Journal of Parallel and Distributed Computing
An efficient leader election protocol for mobile networks
Proceedings of the 2006 international conference on Wireless communications and mobile computing
A self-adjusting algorithm for byzantine agreement
Distributed Computing
Self-Stabilizing Distributed Queuing
IEEE Transactions on Parallel and Distributed Systems
Fast Convergence in Self-Stabilizing Wireless Networks
ICPADS '06 Proceedings of the 12th International Conference on Parallel and Distributed Systems - Volume 1
Snap-Stabilizing PIF and Useless Computations
ICPADS '06 Proceedings of the 12th International Conference on Parallel and Distributed Systems - Volume 1
Coupling and self-stabilization
Distributed Computing - Special issue: DISC 04
Decidability analysis of self-stabilization for infinite-state systems
Fundamenta Informaticae
On the expected time for Herman's probabilistic self-stabilizing algorithm
Theoretical Computer Science
Complexities of some interesting problems on spanning trees
Information Processing Letters
A note on K-state self-stabilization in a ring with K = N
Nordic Journal of Computing
Self-stabilizing dynamic mutual exclusion for mobile ad hoc networks
Journal of Parallel and Distributed Computing
Properties and mechanisms of self-organizing MANET and P2P systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Randomized three-state alternator for uniform rings
Journal of Parallel and Distributed Computing
Optimal snap-stabilizing depth-first token circulation in tree networks
Journal of Parallel and Distributed Computing
A self-stabilizing (Δ+4)-edge-coloring algorithm for planar graphs in anonymous uniform systems
Information Processing Letters
An improved self-stabilizing algorithm for biconnectivity and bridge-connectivity
Information Processing Letters
Observing locally self-stabilization
Journal of High Speed Networks - Self-Stabilizing Systems, Part 1
Stabilizing inter-domain routing in the Internet
Journal of High Speed Networks - Self-Stabilizing Systems, Part 1
Formal design of self-stabilizing programs
Journal of High Speed Networks - Self-Stabilizing Systems, Part 1
Transformations of self-stabilizing algorithms
Journal of High Speed Networks - Self-Stabilizing Systems, Part 1
On modeling and tolerating incorrect software
Journal of High Speed Networks - Self-Stabilizing Systems, Part 2
Stabilizing causal deterministic merge
Journal of High Speed Networks - Self-Stabilizing Systems, Part 2
Optimal snap-stabilizing PIF algorithms in un-oriented trees
Journal of High Speed Networks - Self-Stabilizing Systems, Part 2
Information Processing Letters
Goal-Directed Reasoning for Specification-Based Data Structure Repair
IEEE Transactions on Software Engineering
Self-stabilizing algorithm for checkpointing in a distributed system
Journal of Parallel and Distributed Computing
Generating effective symmetry-breaking predicates for search problems
Discrete Applied Mathematics
Designing Run-Time Fault-Tolerance Using Dynamic Updates
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Computers & Mathematics with Applications
Preserving data privacy in outsourcing data aggregation services
ACM Transactions on Internet Technology (TOIT) - Special Issue on the Internet and Outsourcing
Greedy distributed optimization of multi-commodity flows
Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing
A Time-Optimal Self-Stabilizing Synchronizer Using A Phase Clock
IEEE Transactions on Dependable and Secure Computing
Exploring the interdisciplinary connections of gossip-based systems
ACM SIGOPS Operating Systems Review - Gossip-based computer networking
Exploiting the synergy between gossiping and structured overlays
ACM SIGOPS Operating Systems Review - Gossip-based computer networking
Fault tolerant mutual and k-mutual exclusion algorithms for single-hop mobile ad hoc networks
International Journal of Ad Hoc and Ubiquitous Computing
Debugging debugged, a metaphysical manifesto of systems integration
ACM SIGSOFT Software Engineering Notes
Distance- k knowledge in self-stabilizing algorithms
Theoretical Computer Science
Stateless distributed gradient descent for positive linear programs
STOC '08 Proceedings of the fortieth annual ACM symposium on Theory of computing
Maintenance goals of agents in a dynamic environment: Formulation and policy construction
Artificial Intelligence
Assurance of dynamic adaptation in distributed systems
Journal of Parallel and Distributed Computing
ACM Transactions on Sensor Networks (TOSN)
Self-stabilizing and self-orgenizing mobile networks
Proceedings of the fifth international workshop on Foundations of mobile computing
An optimal snap-stabilizing wave algorithm in arbitrary graphs
Computer Communications
On the Performance of Beauquier and Debas' Self-stabilizing Algorithm for Mutual Exclusion
SIROCCO '08 Proceedings of the 15th international colloquium on Structural Information and Communication Complexity
Self-stabilizing Cuts in Synchronous Networks
SIROCCO '08 Proceedings of the 15th international colloquium on Structural Information and Communication Complexity
Fast Distributed Approximations in Planar Graphs
DISC '08 Proceedings of the 22nd international symposium on Distributed Computing
A self-stabilizing algorithm for the st-order problem
International Journal of Parallel, Emergent and Distributed Systems
Self-stabilizing population protocols
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
An exercise in selfish stabilization
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Self-stabilizing device drivers
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Constructing dependable certainty grids from unreliable sensor data
Robotics and Autonomous Systems
Complexity results in revising UNITY programs
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Light enabling snap-stabilization of fundamental protocols
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Fault tolerance in wireless sensor networks through self-stabilisation
International Journal of Communication Networks and Distributed Systems
Short correctness proofs for two self-stabilizing algorithms under the distributed daemon model
Discrete Applied Mathematics
Quasi-self-stabilization of a distributed system assuming read/write atomicity
Computers & Mathematics with Applications
A Distributed and Deterministic TDMA Algorithm for Write-All-With-Collision Model
SSS '08 Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Distance-2 Self-stabilizing Algorithm for a b-Coloring of Graphs
SSS '08 Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems
A Self-stabilizing $\frac{2}{3}$-Approximation Algorithm for the Maximum Matching Problem
SSS '08 Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Self-Stabilizing Leader Election in Optimal Space
SSS '08 Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Local Synchronization on Oriented Rings
SSS '08 Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Stabilization of Max-Min Fair Networks without Per-flow State
SSS '08 Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems
SSS '08 Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Tutorial Abstract Virtual Infrastructure
SSS '08 Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Autonomics '08 Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems
A Self-stabilizing Approximation for the Minimum Connected Dominating Set with Safe Convergence
OPODIS '08 Proceedings of the 12th International Conference on Principles of Distributed Systems
Empire of colonies: Self-stabilizing and self-organizing distributed algorithm
Theoretical Computer Science
A new self-stabilizing maximal matching algorithm
Theoretical Computer Science
Rapid almost-complete broadcasting in faulty networks
Theoretical Computer Science
An adaptive stabilizing algorithm for finding all disjoint paths in anonymous mesh networks
Computer Communications
Dynamic Architectures For Soa-Based Applications
Journal of Integrated Design & Process Science
A self-stabilizing algorithm for the maximum planarization problem in complete bipartite networks
Information Processing Letters
Snap-Stabilization in Message-Passing Systems
ICDCN '09 Proceedings of the 10th International Conference on Distributed Computing and Networking
Self-managing energy-efficient multicast support in MANETs under end-to-end reliability constraints
Computer Networks: The International Journal of Computer and Telecommunications Networking
Self-stabilization preserving compiler
ACM Transactions on Programming Languages and Systems (TOPLAS)
International Journal of High Performance Computing Applications
A distributed polylogarithmic time algorithm for self-stabilizing skip graphs
Proceedings of the 28th ACM symposium on Principles of distributed computing
Stabilization of Information Sharing for Queries Answering in Multiagent Systems
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
A Self-stabilizing K-Clustering Algorithm Using an Arbitrary Metric
Euro-Par '09 Proceedings of the 15th International Euro-Par Conference on Parallel Processing
Superstabilizing, fault-containing distributed combinatorial optimization
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Dynamic distributed constraint reasoning
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Asynchronous forward bounding for distributed COPs
Journal of Artificial Intelligence Research
Compositional verification of fault-tolerant real-time programs
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
On the feasibility of distributed constraint satisfaction
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
International Journal of High Performance Computing Applications
A concise introduction to autonomic computing
Advanced Engineering Informatics
A fault-tolerant message passing algorithm and its hardware implementation
Advances in Engineering Software
Transformations for write-all-with-collision model
Computer Communications
Developing topology discovery in Event-B
Science of Computer Programming
The wandering token: Congestion avoidance of a shared resource
Future Generation Computer Systems
Stabilizing leader election in partial synchronous systems with crash failures
Journal of Parallel and Distributed Computing
A self-stabilizing algorithm for the shortest path problem assuming the distributed demon
Computers & Mathematics with Applications
A self-stabilizing algorithm for the center-finding problem assuming read/write separate atomicity
Computers & Mathematics with Applications
Local Algorithms: Self-stabilization on Speed
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
A Superstabilizing log(n)-Approximation Algorithm for Dynamic Steiner Trees
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
How to Improve Snap-Stabilizing Point-to-Point Communication Space Complexity?
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Stability of Distributed Algorithms in the Face of Incessant Faults
SSS '09 Proceedings of the 11th 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
Cached Sensornet Transformation of Non-silent Self-stabilizing Algorithms with Unreliable Links
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
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
A Self-stabilizing Algorithm for Graph Searching in Trees
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Brief Announcement: Consistent Fixed Points and Negative Gain
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
OPODIS '09 Proceedings of the 13th International Conference on Principles of Distributed Systems
A Self-stabilizing and Local Delaunay Graph Construction
ISAAC '09 Proceedings of the 20th International Symposium on Algorithms and Computation
ICACT'09 Proceedings of the 11th international conference on Advanced Communication Technology - Volume 1
Stabilizing mobile philosophers
Information Processing Letters
Self-stabilizing coloration in anonymous planar networks
Information Processing Letters
Complexities of some interesting problems on spanning trees
Information Processing Letters
A space-efficient self-stabilizing algorithm for measuring the size of ring networks
Information Processing Letters
Alternators in read/write atomicity
Information Processing Letters
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
Journal of Parallel and Distributed Computing
A self-stabilizing algorithm for cut problems in synchronous networks
Theoretical Computer Science
Calibrating embedded protocols on asynchronous systems
Information Sciences: an International Journal
Timer-based composition of fault-containing self-stabilizing protocols
Information Sciences: an International Journal
Stabilization enabling technology
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Toward a time-optimal odd phase clock unison in trees
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
From self- to snap- stabilization
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Reliability and availability analysis of self-stabilizing systems
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Self-stabilizing device drivers
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Fault masking in tri-redundant systems
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Distributed edge coloration for bipartite networks
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
A Byzantine-fault tolerant self-stabilizing protocol for distributed clock synchronization systems
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
A memory efficient self-stabilizing algorithm for maximal k-packing
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Bounding the impact of unbounded attacks in stabilization
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Self-stabilizing asynchronous phase synchronization in general graphs
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Brief announcement: self-stabilizing spanning tree algorithm for large scale systems
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Brief announcement: towards modular verification of stabilisation in self-adaptive embedded systems
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Collision-free communication in sensor networks
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
Self-stabilizing algorithms for {k}-domination
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
Self-stabilizing group communication in directed networks
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
Lyapunov analysis of neural network stability in an adaptive flight control system
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
Self-stabilizing token circulation on uniform trees by using edge-tokens
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
Self-stabilizing atomicity refinement allowing neighborhood concurrency
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
A framework of safe stabilization
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
Time-efficient self-stabilizing algorithms through hierarchical structures
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
Route preserving stabilization
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
An improved snap-stabilizing PIF algorithm
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
Robots and demons: the code of the origins
FUN'07 Proceedings of the 4th international conference on Fun with algorithms
A self-stabilizing algorithm for the median problem in partial rectangular grids and their relatives
SIROCCO'07 Proceedings of the 14th international conference on Structural information and communication complexity
A new self-stabilizing maximal matching algorithm
SIROCCO'07 Proceedings of the 14th international conference on Structural information and communication complexity
Rapid almost-complete broadcasting in faulty networks
SIROCCO'07 Proceedings of the 14th international conference on Structural information and communication complexity
A pattern-based approach for modeling and analyzing error recovery
Architecting dependable systems IV
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
Self-stabilizing routing algorithms for wireless ad-hoc networks
ICDCIT'07 Proceedings of the 4th international conference on Distributed computing and internet technology
Snap-stabilizing prefix tree for peer-to-peer systems
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Decentralized, connectivity-preserving, and cost-effective structured overlay maintenance
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
On the performance of Dijkstra's third self-stabilizing algorithm for mutual exclusion
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Robust stabilizing leader election
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Magnifying computing gaps: establishing encrypted communication over unidirectional channels
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Stabilizing trust and reputation for self-stabilizing efficient hosts in spite of Byzantine guests
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
The truth system: can a system of lying processes stabilize?
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Secure and self-stabilizing clock synchronization in sensor networks
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Upper bounds for stabilization in acyclic preference-based systems
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Self-stabilization and virtual node layer emulations
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Self-stabilizing distributed protocol switching
ICDCN'08 Proceedings of the 9th international conference on Distributed computing and networking
A self-stabilizing algorithm for the minimum color sum of a graph
ICDCN'08 Proceedings of the 9th international conference on Distributed computing and networking
Game authority for robust and scalable distributed selfish-computer systems
Theoretical Computer Science
Vertex domination in dynamic networks
WALCOM'08 Proceedings of the 2nd international conference on Algorithms and computation
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
Stateless near optimal flow control with poly-logarithmic convergence
LATIN'08 Proceedings of the 8th Latin American conference on Theoretical informatics
ACM Transactions on Algorithms (TALG)
A uniform process alternator for arbitrary topologies
Journal of High Speed Networks
Brief announcement: dynamic FTSS in asynchronous systems: the case of unison
DISC'09 Proceedings of the 23rd international conference on Distributed computing
A new self-stabilizing minimum spanning tree construction with loop-free property
DISC'09 Proceedings of the 23rd international conference on Distributed computing
Secure token passing at application level
Future Generation Computer Systems
Brief announcement: monotonic stabilization
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Adaptivity and self-organization in organic computing systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Stabilizing trust and reputation for self-stabilizing efficient hosts in spite of byzantine guests
ACM SIGOPS Operating Systems Review
When consensus meets self-stabilization
Journal of Computer and System Sciences
A self-stabilizing k-clustering algorithm for weighted graphs
Journal of Parallel and Distributed Computing
An improved connectionist activation function for energy minimization
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
SFS3: a simulation framework for self-stabilizing systems
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Snap-stabilization in message-passing systems
Journal of Parallel and Distributed Computing
Algorithms and theory of computation handbook
The failure detector abstraction
ACM Computing Surveys (CSUR)
Low communication self-stabilization through randomization
DISC'10 Proceedings of the 24th international conference on Distributed computing
DISC'10 Proceedings of the 24th international conference on Distributed computing
The impact of topology on Byzantine containment in stabilization
DISC'10 Proceedings of the 24th international conference on Distributed computing
A self-stabilizing minimal dominating set algorithm with safe convergence
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Self-stabilizing distributed algorithms for graph alliances
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Relationships between communication models in networks using atomic registers
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Necessary and sufficient conditions for 1-adaptivity
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
International Journal of Autonomous and Adaptive Communications Systems
Systematic correct construction of self-stabilizing systems: a case study
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
A fault-resistant asynchronous clock function
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
Slf-stabiliezing leader election in dynamic networks
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
Loop-free super-stabilizing spanning tree construction
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
A new technique for proving self-stabilizing under the distributed scheduler
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
On byzantine containment properties of the min + 1 protocol
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
Adaptive containment of time-bounded byzantine faults
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
"Slow is fast" for wireless sensor networks in the presence of message losses
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
Self-stabilizing algorithm of two-hop conflict resolution
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
Chameleon-MAC: adaptive and self-algorithms for media access control in mobile ad hoc networks
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
Snap-stabilizing linear message forwarding
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
Storage capacity of labeled graphs
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
Self-stabilizing minimum degree spanning tree within one from the optimal degree
Journal of Parallel and Distributed Computing
Self-stabilizing Byzantine asynchronous unison
OPODIS'10 Proceedings of the 14th international conference on Principles of distributed systems
Effect of fairness in model checking of self-stabilizing programs
OPODIS'10 Proceedings of the 14th international conference on Principles of distributed systems
OPODIS'10 Proceedings of the 14th international conference on Principles of distributed systems
A self-stabilising algorithm for 3-edge-connectivity
International Journal of High Performance Computing and Networking
Architectures & infrastructure
Service research challenges and solutions for the future internet
Dynamic FTSS in asynchronous systems: The case of unison
Theoretical Computer Science
Re-Chord: a self-stabilizing chord overlay network
Proceedings of the twenty-third annual ACM symposium on Parallelism in algorithms and architectures
Fast and compact self stabilizing verification, computation, and fault detection of an MST
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Self-stabilizing embedded systems
Proceedings of the 2011 workshop on Organic computing
Optical Memory and Neural Networks
Trivial solution for a non-trivial problem in MANETs
ACAI '11 Proceedings of the International Conference on Advances in Computing and Artificial Intelligence
Stabilizing data-link over non-FIFO channels with optimal fault-resilience
Information Processing Letters
Probabilistic self-stabilizing vertex coloring in unidirectional anonymous networks
ICDCN'10 Proceedings of the 11th international conference on Distributed computing and networking
An O(n)-time self-stabilizing leader election algorithm
Journal of Parallel and Distributed Computing
On stabilization in Herman's algorithm
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
A self-stabilizing 23-approximation algorithm for the maximum matching problem
Theoretical Computer Science
Secure and self-stabilizing clock synchronization in sensor networks
Theoretical Computer Science
Self-stabilizing leader election in optimal space under an arbitrary scheduler
Theoretical Computer Science
Stabilization of max-min fair networks without per-flow state
Theoretical Computer Science
Self-stabilizing hierarchical construction of bounded size clusters
SIROCCO'11 Proceedings of the 18th international conference on Structural information and communication complexity
Automated addition of fault recovery to cyber-physical component-based models
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
PaCT'11 Proceedings of the 11th international conference on Parallel computing technologies
Building self-stabilizing overlay networks with the transitive closure framework
SSS'11 Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems
SSS'11 Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems
Self-stabilizing labeling and ranking in ordered trees
SSS'11 Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems
The south zone: distributed algorithms for alliances
SSS'11 Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems
Space-efficient fault-containment in dynamic networks
SSS'11 Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems
Corona: a stabilizing deterministic message-passing skip list
SSS'11 Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems
Brief announcement: a stabilizing algorithm for finding two edge-disjoint paths in arbitrary graphs
SSS'11 Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems
Feasibility of Stepwise Design of Multitolerant Programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Adaptive inter-layer message routing in 3D networks-on-chip
Microprocessors & Microsystems
Feasibility analysis for robustness quantification by symbolic model checking
Formal Methods in System Design
Maximum metric spanning tree made Byzantine tolerant
DISC'11 Proceedings of the 25th international conference on Distributed computing
DISC'11 Proceedings of the 25th international conference on Distributed computing
Learning about the learning process
IDA'11 Proceedings of the 10th international conference on Advances in intelligent data analysis X
Reconfiguring self-stabilizing publish/subscribe systems
DSOM'06 Proceedings of the 17th IFIP/IEEE international conference on Distributed Systems: operations and management
A proxy based efficient checkpointing scheme for fault recovery in mobile grid system
HiPC'06 Proceedings of the 13th international conference on High Performance Computing
When consensus meets self-stabilization
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
Empire of Colonies: self-stabilizing and self-organizing distributed algorithms
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
Self-stabilizing leader election in networks of finite-state anonymous agents
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
Self-stabilizing wireless connected overlays
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
ICDCN'06 Proceedings of the 8th international conference on Distributed Computing and Networking
Flat holonomies on automata networks
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
A self-stabilizing algorithm for finding a spanning tree in a polynomial number of moves
PPAM'05 Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics
Sensor networks: distributed algorithms reloaded – or revolutions?
SIROCCO'06 Proceedings of the 13th international conference on Structural Information and Communication Complexity
Self-stabilizing space optimal synchronization algorithms on trees
SIROCCO'06 Proceedings of the 13th international conference on Structural Information and Communication Complexity
Distance-k information in self-stabilizing algorithms
SIROCCO'06 Proceedings of the 13th international conference on Structural Information and Communication Complexity
Self-stabilizing publish/subscribe protocol for p2p networks
IWDC'05 Proceedings of the 7th international conference on Distributed Computing
Self-stabilizing checkpointing algorithm in ring topology
IWDC'05 Proceedings of the 7th international conference on Distributed Computing
Synchronous vs. asynchronous unison
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
A snap-stabilizing DFS with a lower space requirement
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
Self-stabilization preserving compiler
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
Self-stabilizing mobile node location management and message routing
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
Memory management for self-stabilizing operating systems
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
Stabilizing certificate dispersal
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
On the possibility and the impossibility of message-driven self-stabilizing failure detection
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
About the self-stabilization of a virtual topology for self-organization in ad hoc networks
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
Snap-Stabilizing detection of cutsets
HiPC'05 Proceedings of the 12th international conference on High Performance Computing
Self-stabilizing leader election for single-hop wireless networks despite jamming
MobiHoc '11 Proceedings of the Twelfth ACM International Symposium on Mobile Ad Hoc Networking and Computing
A local self-stabilizing enumeration algorithm
DAIS'06 Proceedings of the 6th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Topological adaptability for the distributed token circulation paradigm in faulty environment
ISPA'04 Proceedings of the Second international conference on Parallel and Distributed Processing and Applications
Randomized self-stabilizing algorithms for wireless sensor networks
IWSOS'06/EuroNGI'06 Proceedings of the First international conference, and Proceedings of the Third international conference on New Trends in Network Architectures and Services conference on Self-Organising Systems
Self-stabilizing deadlock detection under the OR requirement model
Euro-Par'06 Proceedings of the 12th international conference on Parallel Processing
On self-stabilizing search trees
DISC'06 Proceedings of the 20th international conference on Distributed Computing
Distributed maintenance of a spanning tree using labeled tree encoding
Euro-Par'05 Proceedings of the 11th international Euro-Par conference on Parallel Processing
Self-stabilizing publish/subscribe systems: algorithms and evaluation
Euro-Par'05 Proceedings of the 11th international Euro-Par conference on Parallel Processing
Robustness in the presence of liveness
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
A dynamic reconfiguration tolerant self-stabilizing token circulation algorithm in ad-hoc networks
OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
Snap-stabilizing depth-first search on arbitrary networks
OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
A self-stabilizing link-coloring protocol resilient to byzantine faults in tree networks
OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
Mechanical verification of automatic synthesis of fault-tolerant programs
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Adding fault-tolerance using pre-synthesized components
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
A formal model for fault-tolerance in distributed systems
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Adaptive stabilization of reactive protocols
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science
Tiara: A self-stabilizing deterministic skip list and skip graph
Theoretical Computer Science
Self-stabilizing gathering with strong multiplicity detection
Theoretical Computer Science
Observing locally self-stabilization in a probabilistic way
DISC'05 Proceedings of the 19th international conference on Distributed Computing
Self-stabilizing population protocols
OPODIS'05 Proceedings of the 9th international conference on Principles of Distributed Systems
OPODIS'05 Proceedings of the 9th international conference on Principles of Distributed Systems
Timed virtual stationary automata for mobile networks
OPODIS'05 Proceedings of the 9th international conference on Principles of Distributed Systems
Asynchronous and fully self-stabilizing time-adaptive majority consensus
OPODIS'05 Proceedings of the 9th international conference on Principles of Distributed Systems
Self-stabilizing algorithms for graph coloring with improved performance guarantees
ICAISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Soft Computing
A new polynomial silent stabilizing spanning-tree construction algorithm
SIROCCO'09 Proceedings of the 16th international conference on Structural Information and Communication Complexity
Loosely-Stabilizing leader election in population protocol model
SIROCCO'09 Proceedings of the 16th international conference on Structural Information and Communication Complexity
Self-stabilizing energy-aware routing algorithm in wireless sensor network with limited mobility
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
Self-stabilizing deterministic TDMA for sensor networks
ICDCIT'05 Proceedings of the Second international conference on Distributed Computing and Internet Technology
Self-stabilising protocols on oriented chains with joins and leaves
International Journal of Autonomous and Adaptive Communications Systems
The first fully polynomial stabilizing algorithm for BFS tree construction
OPODIS'11 Proceedings of the 15th international conference on Principles of Distributed Systems
Self-stabilizing mutual exclusion and group mutual exclusion for population protocols with covering
OPODIS'11 Proceedings of the 15th international conference on Principles of Distributed Systems
Snap-Stabilizing message forwarding algorithm on tree topologies
ICDCN'12 Proceedings of the 13th international conference on Distributed Computing and Networking
Modeling asynchronous message passing for c programs
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
A self-stabilizing algorithm to maximal 2-packing with improved complexity
Information Processing Letters
Research note: Self-stabilizing byzantine asynchronous unison
Journal of Parallel and Distributed Computing
Recovery approach to the design of stabilizing communication protocols
Computer Communications
Modified tree structure for location management in mobile environments
Computer Communications
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
Loosely-stabilizing leader election in a population protocol model
Theoretical Computer Science
Tree-based link-state routing in the presence of routing information corruption
Computer Communications
Survey: Robust and scalable middleware for selfish-computer systems
Computer Science Review
Deploying mobile nodes for maximal energy matching in WSNs
Wireless Communications & Mobile Computing
Proving liveness property under strengthened compassion requirements
TAMC'12 Proceedings of the 9th Annual international conference on Theory and Applications of Models of Computation
Practical hardening of crash-tolerant systems
USENIX ATC'12 Proceedings of the 2012 USENIX conference on Annual Technical Conference
Theoretical Computer Science
FUN'12 Proceedings of the 6th international conference on Fun with Algorithms
Emerge-Sort: swarm intelligence sorting
SETN'12 Proceedings of the 7th Hellenic conference on Artificial Intelligence: theories and applications
Decidability Analysis of Self-Stabilization for Infinite-State Systems
Fundamenta Informaticae
Input-output robustness for discrete systems
Proceedings of the tenth ACM international conference on Embedded software
Time optimal asynchronous self-stabilizing spanning tree
DISC'07 Proceedings of the 21st international conference on Distributed Computing
Output stability versus time till output
DISC'07 Proceedings of the 21st international conference on Distributed Computing
A self-stabilizing algorithm for 3-edge-connectivity
ISPA'07 Proceedings of the 5th international conference on Parallel and Distributed Processing and Applications
Action-based discovery of satisfying subsets: A distributed method for model correction
Information and Software Technology
Self-stabilizing algorithm for maximal graph partitioning into triangles
SSS'12 Proceedings of the 14th international conference on Stabilization, Safety, and Security of Distributed Systems
Brief announcement: self-stabilizing silent disjunction in an anonymous network
SSS'12 Proceedings of the 14th international conference on Stabilization, Safety, and Security of Distributed Systems
SSS'12 Proceedings of the 14th international conference on Stabilization, Safety, and Security of Distributed Systems
Self-stabilizing distributed data fusion
SSS'12 Proceedings of the 14th international conference on Stabilization, Safety, and Security of Distributed Systems
From self- to self-stabilizing with service guarantee 1-hop weight-based clustering
SSS'12 Proceedings of the 14th international conference on Stabilization, Safety, and Security of Distributed Systems
Brief announcement: verification of stabilizing programs with SMT solvers
SSS'12 Proceedings of the 14th international conference on Stabilization, Safety, and Security of Distributed Systems
Self-stabilizing algorithm for maximal graph decomposition into disjoint paths of fixed length
Proceedings of the 4th International Workshop on Theoretical Aspects of Dynamic Distributed Systems
Proceedings of the 4th International Workshop on Theoretical Aspects of Dynamic Distributed Systems
Searching for pareto-optimal randomised algorithms
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Universal adaptive self-stabilizing traversal scheme: Random walk and reloading wave
Journal of Parallel and Distributed Computing
Dense subgraphs on dynamic networks
DISC'12 Proceedings of the 26th international conference on Distributed Computing
Asynchronous pattern formation by anonymous oblivious mobile robots
DISC'12 Proceedings of the 26th international conference on Distributed Computing
Randomized distributed decision
DISC'12 Proceedings of the 26th international conference on Distributed Computing
The Worst-Case Stabilization Time of a Self-Stabilizing Algorithm under the Weakly Fair Daemon Model
International Journal of Artificial Life Research
Towards scalable model checking of self-stabilizing programs
Journal of Parallel and Distributed Computing
Spanders: Distributed spanning expanders
Science of Computer Programming
Survey On reliability in publish/subscribe services
Computer Networks: The International Journal of Computer and Telecommunications Networking
Introducing speculation in self-stabilization: an application to mutual exclusion
Proceedings of the 2013 ACM symposium on Principles of distributed computing
Brief announcement: deterministic self-stabilizing leader election with O(log log n)-bits
Proceedings of the 2013 ACM symposium on Principles of distributed computing
HEX: scaling honeycombs is easier than scaling clock trees
Proceedings of the twenty-fifth annual ACM symposium on Parallelism in algorithms and architectures
Towards a complexity theory for local distributed computing
Journal of the ACM (JACM)
A low complexity coordination architecture for networked supervisory medical systems
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems
A super-stabilizing log(n)-approximation algorithm for dynamic Steiner trees
Theoretical Computer Science
Groups synchronizing a transformation of non-uniform kernel
Theoretical Computer Science
ADC '13 Proceedings of the Twenty-Fourth Australasian Database Conference - Volume 137
Self-stabilizing iterative solvers
ScalA '13 Proceedings of the Workshop on Latest Advances in Scalable Algorithms for Large-Scale Systems
International Journal of Grid and Utility Computing
A theory of robust omega-regular software synthesis
ACM Transactions on Embedded Computing Systems (TECS)
Self-stabilizing consensus average algorithm in distributed sensor networks
Transactions on Large-Scale Data- and Knowledge-centered systems IX
Amorphous computing: examples, mathematics and theory
Natural Computing: an international journal
Building self-stabilizing overlay networks with the transitive closure framework
Theoretical Computer Science
Self-stabilizing labeling and ranking in ordered trees
Theoretical Computer Science
The computational power of simple protocols for self-awareness on graphs
Theoretical Computer Science
Corona: A stabilizing deterministic message-passing skip list
Theoretical Computer Science
Efficient fault-tolerant collision-free data aggregation scheduling for wireless sensor networks
Journal of Parallel and Distributed Computing
Self-stabilizing with service guarantee construction of 1-hop weight-based bounded size clusters
Journal of Parallel and Distributed Computing
Self-Stabilizing Algorithm for Low Weight Connected Dominating Set
DS-RT '13 Proceedings of the 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications
Distributed algorithm for the maximal 2-packing in geometric outerplanar graphs
Journal of Parallel and Distributed Computing
Effective storage capacity of labeled graphs
Information and Computation
Journal of Computer and System Sciences
International Journal of Artificial Life Research
Dynamic multiagent load balancing using distributed constraint optimization techniques
Web Intelligence and Agent Systems
Efficient self-stabilizing algorithms for minimal total k-dominating sets in graphs
Information Processing Letters
Hi-index | 48.28 |
The synchronization task between loosely coupled cyclic sequential processes (as can be distinguished in, for instance, operating systems) can be viewed as keeping the relation “the system is in a legitimate state” invariant. As a result, each individual process step that could possibly cause violation of that relation has to be preceded by a test deciding whether the process in question is allowed to proceed or has to be delayed. The resulting design is readily—and quite systematically—implemented if the different processes can be granted mutually exclusive access to a common store in which “the current system state” is recorded.