We stand with Ukraine  

Aly Farahat

According to our database1, Aly Farahat authored at least 6 papers between 2011 and 2012.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
A Lightweight Method for Automated Design of Convergence in Network Protocols.
[BibTeX]
[DOI]
Aly Farahat
,
Ali Ebnenasir
ACM Trans. Auton. Adapt. Syst., 2012

Local Reasoning for Global Convergence of Parameterized Rings.
[BibTeX]
[DOI]
Aly Farahat
,
Ali Ebnenasir
Proceedings of the 2012 IEEE 32nd International Conference on Distributed Computing Systems, 2012

Swarm Synthesis of Convergence for Symmetric Protocols.
[BibTeX]
[DOI]
Ali Ebnenasir
,
Aly Farahat
Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012

2011
Exploiting Computational Redundancy for Efficient Recovery from Soft Errors in Sensor Nodes.
[BibTeX]
Aly Farahat
,
Ali Ebnenasir
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Lightweight Methods for Automated Design of Self-Stabilization.
[BibTeX]
[DOI]
Aly Farahat
,
Ali Ebnenasir
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

A Lightweight Method for Automated Design of Convergence.
[BibTeX]
[DOI]
Ali Ebnenasir
,
Aly Farahat
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011


  Loading...