ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms

No abstract is available for this paper.

• Publication year

  2017

• Venue

  Safety-critical Systems Symposium

• Publication date

  2017-11-05

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-319-69084-1_15
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Specification-Based Synthesis of Distributed Self-Stabilizing Protocols

  2015cited by this paper
• SMT-Based Synthesis of Distributed Self-Stabilizing Systems

  2014cited by this paper
• On the Complexity of Adding Convergence

  2013cited by this paper
• Parameterized Synthesis

  2012cited by this paper
• On the self-stabilization of mobile oblivious robots in uniform rings

  2012cited by this paper
• Unbeast: Symbolic Bounded Synthesis

  2011cited by this paper
• A Lightweight Method for Automated Design of Convergence

  2011cited by this paper
• Monotonic Stabilization

  2010cited by this paper
• Nash equilibria in stabilizing systems

  2009cited by this paper
• SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs

  2008cited by this paper
• FTSyn: a framework for automatic synthesis of fault-tolerance

  2008cited by this paper
• A new self-stabilizing maximal matching algorithm

  2007cited by this paper
• Bounded synthesis

  2007influential reference
• Weak vs. Self vs. Probabilistic Stabilization

  2007cited by this paper
• Software Abstractions - Logic, Language, and Analysis

  2006influential reference
• A belated proof of self-stabilization

  2005cited by this paper
• Self-stabilizing group communication in directed networks

  2003cited by this paper
• The Theory of Weak Stabilization

  2001cited by this paper
• Maximal Matching Stabilizes in Quadratic Time

  1994cited by this paper
• A Self-Stabilizing Algorithm for Maximal Matching

  1992cited by this paper
• A tree-based algorithm for distributed mutual exclusion

  1989cited by this paper
• Temporal Logic of Programs

  1987cited by this paper
• Self-stabilizing systems in spite of distributed control

  1974influential reference

• Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction

  2021cites this paper
• Parameterized synthesis of self-stabilizing protocols in symmetric networks

  2019cites this paper
• Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings

  2018cites this paper
• Automated Synthesis of Distributed Self-Stabilizing Protocols

  2015cites this paper