Article Co-authored by Ali Ebnenasir Accepted for Publication

The article “Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems With Constant-Space Processes,” authored by Ali Ebnenasir (SAS/CS) and Alex Klinkhamer, has been accepted for publication in the journal IEEE Transactions on Software Engineering. Read the full article here: https://ieeexplore.ieee.org/document/8651426.