A Lightweight Method for Automated Design of Convergence. - Ali Ebnenasir; Aly Farahat (IPDPS, 2011)

Lightweight Methods for Automated Design of Self-Stabilization. - Aly Farahat; Ali Ebnenasir (IPDPS Workshops, 2011)

Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes. - Aly Farahat; Ali Ebnenasir (SEKE, 2011)

Swarm Synthesis of Convergence for Symmetric Protocols. - Ali Ebnenasir; Aly Farahat (EDCC, 2012)

Local Reasoning for Global Convergence of Parameterized Rings. - Aly Farahat; Ali Ebnenasir (ICDCS, 2012)

A Lightweight Method for Automated Design of Convergence in Network Protocols. - Aly Farahat; Ali Ebnenasir (ACM Trans. Auton. Adapt. Syst., 2012)