College of Engineering

Fathiyeh Faghih

SMT-Based Synthesis of Distributed Self-Stabilizing Systems

SMT-based Synthesis of Distributed Self-stabilizing Systems

Synthesizing Self-stabilizing Protocols under Average Recovery Time Constraints

Specification-based Synthesis of Distributed Self-stabilizing Protocols

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

Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings

Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery

Automated Synthesis of Distributed Self-Stabilizing Protocols

Parameterized synthesis of self-stabilizing protocols in symmetric networks

Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction

Subscribe to Fathiyeh Faghih

Spartans Will.
© Michigan State University