Publication



Any opinions, findings, and conclusions or recommendations expressed in this material are those of the PI and his colleagues and do not necessarily reflect the views of the National Science Foundation.
Journal papers:

Aly Farahat and Ali Ebnenasir, A Lightweight Method for Automated Design of Convergence in Network Protocols, To appear in the ACM Transactions on Autonomous and Adaptive Systems.

Conference papers:

Aly Farahat and Ali Ebnenasir, Local Reasoning for Global Convergence in Parameterized Rings, To appear in the Proceedings of the 32nd International Conference on Distributed Computing Systems (ICDCS), Macau China, 2012.

Ali Ebnenasir and Aly Farahat, Swarm Synthesis of Convergence for Symmetric Protocols, In the Proceedings of the Ninth European Dependable Computing Conference (EDCC), Sibu Romania, pp. 13-24, 2012.

Technical report:

Aly Farahat and Ali Ebnenasir, Local Reasoning for Global Convergence of Parameterized Rings. Technical Report CS-TR-11-04, Computer Science Department, Michigan Technological University, Houghton, Michigan, November 2011.

A. Ebnenasir and Aly Farahat. Swarm Synthesis of Convergence for Symmetric Protocols. Technical Report CS-TR-11-02, Computer Science Department, Michigan Technological University, Houghton, Michigan, May 2011.









Softwar Design Laboratory at MichiganTech

A Framework for Automated Design of Self-Stabilizing Network Protocols