@InProceedings{HAMID_2007-DistributedLocal, Author = {Hamid, Brahim and LeSaec, Bertrand and Mosbah, Mohamed}, Title = {Distributed Local 2-Connectivity Test of Graphs and Applications}, BookTitle = {Parallel and Distributed Processing and Applications}, Volume = {4742}, Pages = {195--207}, Publisher = {Springer Berlin / Heidelberg}, Year = {2007} } @InProceedings{HAMID_2007-ASimpleDistributed, Author = {Hamid, Brahim and LeSaec, Bertrand and Mosbah, Mohamed}, Title = {A Simple Distributed Algorithm for the Maintenance of a Spanning Tree}, BookTitle = {First International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007)}, Address = {Algiers, Algeria}, Month = {May}, Year = {2007} } @InProceedings{HAMID_2007-Distributed, Author = {Hamid, Brahim and LeSaec, Bertrand and Mosbah, Mohamed}, Title = {Distributed $2$-Vertex Connectivity Test of Graphs Using Local Knowledge}, BookTitle = {Proceeding of the International Conference on Parallel and Distributed Computing Systems}, Pages = {71--6}, Year = {2007} } @InProceedings{HAMID_2007-ASelfStabilizing, Author = {Hamid, Brahim and Mosbah, Mohamed and Zemmari, Akka}, Title = {A Self-stabilizing Distributed Algorithm for Resolving Conflicts}, BookTitle = {On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops}, Volume = {4806}, Pages = {1042--51}, Publisher = {Springer Berlin / Heidelberg}, Year = {2007} } @InProceedings{HAMID_2005-AFormalModel, Author = {Hamid, Brahim and Mosbah, Mohamed}, Title = {A Formal Model for Fault-Tolerance in Distributed Systems}, BookTitle = {Computer Safety, Reliability, and Security}, Volume = {3688}, Pages = {108--21}, Publisher = {Springer Berlin / Heidelberg}, Year = {2005} } @InProceedings{1070272, Author = {Hamid, Brahim and Mosbah, Mohamed}, Title = {An Automatic Approach to Self-Stabilization}, BookTitle = {SNPD-SAWN '05: Proceedings of the Sixth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing and First ACIS International Workshop on Self-Assembling Wireless Networks}, Pages = {123--128}, Publisher = {IEEE Computer Society}, Address = {Washington, DC, USA}, Year = {2005} } @InProceedings{HAMID_2005-AnImplementation, Author = {Hamid, Brahim and Mosbah, Mohamed}, Title = {An Implementation of a Failure Detector for Local Computations in Graphs}, BookTitle = {International Conference on Parallel and Distributed Computing Networks, PDCN 2005}, Pages = {473--8}, Publisher = {ACTA Press}, Address = {Innsbruck, Austria}, Year = {2005} }