@inproceedings{HamidRLJGT08,
  title = {Designing Fault-Tolerant Component Based Applications with a Model Driven Approach},
  author = {Brahim Hamid and Ansgar Radermacher and Agnes Lanusse and Christophe Jouvray and Sébastien Gérard and François Terrier},
  year = {2008},
  doi = {10.1007/978-3-540-87785-1_2},
  url = {http://dx.doi.org/10.1007/978-3-540-87785-1_2},
  tags = {rule-based, systematic-approach},
  researchr = {https://researchr.org/publication/HamidRLJGT08},
  cites = {0},
  citedby = {0},
  pages = {9-20},
  booktitle = {seus},
}

@inproceedings{HamidSM07,
  title = {Distributed Local 2-Connectivity Test of Graphs and Applications},
  author = {Brahim Hamid and Bertrand Le Saëc and Mohamed Mosbah},
  year = {2007},
  doi = {10.1007/978-3-540-74742-0_20},
  url = {http://dx.doi.org/10.1007/978-3-540-74742-0_20},
  tags = {testing, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/HamidSM07},
  cites = {0},
  citedby = {0},
  pages = {195-207},
  booktitle = {ispa},
}

@inproceedings{HamidM05:0,
  title = {An Automatic Approach to Self-Stabilization},
  author = {Brahim Hamid and Mohamed Mosbah},
  year = {2005},
  doi = {10.1109/SNPD-SAWN.2005.14},
  url = {http://doi.ieeecomputersociety.org/10.1109/SNPD-SAWN.2005.14},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/HamidM05%3A0},
  cites = {0},
  citedby = {0},
  pages = {123-128},
  booktitle = {snpd},
}

@inproceedings{HamidMZ07,
  title = {A Self-stabilizing Distributed Algorithm for Resolving Conflicts},
  author = {Brahim Hamid and Mohamed Mosbah and Akka Zemmari},
  year = {2007},
  doi = {10.1007/978-3-540-76890-6_31},
  url = {http://dx.doi.org/10.1007/978-3-540-76890-6_31},
  researchr = {https://researchr.org/publication/HamidMZ07},
  cites = {0},
  citedby = {0},
  pages = {1042-1051},
  booktitle = {otm},
}

@inproceedings{Ait-AoudiaHMS99,
  title = {Solving Geometric Constraints by a Graph-Constructive Approach},
  author = {Samy Ait-Aoudia and Brahim Hamid and Adel Moussaoui and Toufik Saadi},
  year = {1999},
  url = {http://computer.org/proceedings/iv/0210/02100250abs.htm},
  tags = {constraints, graph-rewriting, rewriting, systematic-approach},
  researchr = {https://researchr.org/publication/Ait-AoudiaHMS99},
  cites = {0},
  citedby = {0},
  pages = {250},
  booktitle = {IV},
}

@inproceedings{HamidRVLG08,
  title = {A Fault-tolerance Framework for Distributed Component Systems},
  author = {Brahim Hamid and Ansgar Radermacher and Patrick Vanuxeem and Agnes Lanusse and Sébastien Gérard},
  year = {2008},
  doi = {10.1109/SEAA.2008.50},
  url = {http://dx.doi.org/10.1109/SEAA.2008.50},
  researchr = {https://researchr.org/publication/HamidRVLG08},
  cites = {0},
  citedby = {0},
  pages = {84-91},
  booktitle = {seaa},
}

@inproceedings{HamidM05:1,
  title = {An Implementation of a Failure Detector for Local Computations in Graphs},
  author = {Brahim Hamid and Mohamed Mosbah},
  year = {2005},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/HamidM05%3A1},
  cites = {0},
  citedby = {0},
  pages = {473-478},
  booktitle = {pdcn},
}

@inproceedings{HamidLM05,
  title = {Visualization of Self-Stabilizing Distributed Algorithms},
  author = {Brahim Hamid and Mohamed Mosbah},
  year = {2005},
  doi = {10.1109/IV.2005.149},
  url = {http://doi.ieeecomputersociety.org/10.1109/IV.2005.149},
  researchr = {https://researchr.org/publication/HamidLM05},
  cites = {0},
  citedby = {0},
  pages = {550-555},
  booktitle = {IV},
}

@inproceedings{HamidM06,
  title = {A Local Self-stabilizing Enumeration Algorithm},
  author = {Brahim Hamid and Mohamed Mosbah},
  year = {2006},
  doi = {10.1007/11773887_22},
  url = {http://dx.doi.org/10.1007/11773887_22},
  researchr = {https://researchr.org/publication/HamidM06},
  cites = {0},
  citedby = {0},
  pages = {289-302},
  booktitle = {dais},
}

@article{HamidM06:0,
  title = {A Local Enumeration Protocol in Spite of Corrupted Data},
  author = {Brahim Hamid and Mohamed Mosbah},
  year = {2006},
  url = {http://www.academypublisher.com/jcp/vol01/no07/jcp01070920.html},
  tags = {protocol, data-flow},
  researchr = {https://researchr.org/publication/HamidM06%3A0},
  cites = {0},
  citedby = {0},
  journal = {jcp},
  volume = {1},
  number = {7},
  pages = {9-20},
}

@inproceedings{HamidM05,
  title = {A Formal Model for Fault-Tolerance in Distributed Systems},
  author = {Brahim Hamid and Mohamed Mosbah},
  year = {2005},
  doi = {10.1007/11563228_9},
  url = {http://dx.doi.org/10.1007/11563228_9},
  researchr = {https://researchr.org/publication/HamidM05},
  cites = {0},
  citedby = {0},
  pages = {108-121},
  booktitle = {safecomp},
}