publications:
- title: "Designing Fault-Tolerant Component Based Applications with a Model Driven Approach"
  author:
  - name: "Brahim Hamid"
    link: "http://www.irit.fr/~Brahim.Hamid/"
  - name: "Ansgar Radermacher"
    link: "https://researchr.org/alias/ansgar-radermacher"
  - name: "Agnes Lanusse"
    link: "https://researchr.org/alias/agnes-lanusse"
  - name: "Christophe Jouvray"
    link: "https://researchr.org/alias/christophe-jouvray"
  - name: "Sébastien Gérard"
    link: "https://researchr.org/alias/s%C3%A9bastien-g%C3%A9rard"
  - name: "François Terrier"
    link: "https://researchr.org/alias/fran%C3%A7ois-terrier"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-87785-1_2"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "HamidRLJGT08"
- title: "Distributed Local 2-Connectivity Test of Graphs and Applications"
  author:
  - name: "Brahim Hamid"
    link: "http://www.irit.fr/~Brahim.Hamid/"
  - name: "Bertrand Le Saëc"
    link: "https://researchr.org/alias/bertrand-le-sa%C3%ABc"
  - name: "Mohamed Mosbah"
    link: "https://researchr.org/alias/mohamed-mosbah"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-74742-0_20"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "HamidSM07"
- title: "An Automatic Approach to Self-Stabilization"
  author:
  - name: "Brahim Hamid"
    link: "http://www.irit.fr/~Brahim.Hamid/"
  - name: "Mohamed Mosbah"
    link: "https://researchr.org/alias/mohamed-mosbah"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SNPD-SAWN.2005.14"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "HamidM05:0"
- title: "A Self-stabilizing Distributed Algorithm for Resolving Conflicts"
  author:
  - name: "Brahim Hamid"
    link: "http://www.irit.fr/~Brahim.Hamid/"
  - name: "Mohamed Mosbah"
    link: "https://researchr.org/alias/mohamed-mosbah"
  - name: "Akka Zemmari"
    link: "https://researchr.org/alias/akka-zemmari"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-76890-6_31"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "HamidMZ07"
- title: "Solving Geometric Constraints by a Graph-Constructive Approach"
  author:
  - name: "Samy Ait-Aoudia"
    link: "https://researchr.org/alias/samy-ait-aoudia"
  - name: "Brahim Hamid"
    link: "http://www.irit.fr/~Brahim.Hamid/"
  - name: "Adel Moussaoui"
    link: "https://researchr.org/alias/adel-moussaoui"
  - name: "Toufik Saadi"
    link: "https://researchr.org/alias/toufik-saadi"
  year: "1999"
  doi: "http://computer.org/proceedings/iv/0210/02100250abs.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "Ait-AoudiaHMS99"
- title: "A Fault-tolerance Framework for Distributed Component Systems"
  author:
  - name: "Brahim Hamid"
    link: "http://www.irit.fr/~Brahim.Hamid/"
  - name: "Ansgar Radermacher"
    link: "https://researchr.org/alias/ansgar-radermacher"
  - name: "Patrick Vanuxeem"
    link: "https://researchr.org/alias/patrick-vanuxeem"
  - name: "Agnes Lanusse"
    link: "https://researchr.org/alias/agnes-lanusse"
  - name: "Sébastien Gérard"
    link: "https://researchr.org/alias/s%C3%A9bastien-g%C3%A9rard"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/SEAA.2008.50"
  links:
    doi: "http://dx.doi.org/10.1109/SEAA.2008.50"
  researchr: "https://researchr.org/publication/HamidRVLG08"
  cites: 0
  citedby: 0
  pages: "84-91"
  booktitle: "seaa"
  kind: "inproceedings"
  key: "HamidRVLG08"
- title: "An Implementation of a Failure Detector for Local Computations in Graphs"
  author:
  - name: "Brahim Hamid"
    link: "http://www.irit.fr/~Brahim.Hamid/"
  - name: "Mohamed Mosbah"
    link: "https://researchr.org/alias/mohamed-mosbah"
  year: "2005"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/HamidM05%3A1"
  cites: 0
  citedby: 0
  pages: "473-478"
  booktitle: "pdcn"
  kind: "inproceedings"
  key: "HamidM05:1"
- title: "Visualization of Self-Stabilizing Distributed Algorithms"
  author:
  - name: "Brahim Hamid"
    link: "http://www.irit.fr/~Brahim.Hamid/"
  - name: "Mohamed Mosbah"
    link: "https://researchr.org/alias/mohamed-mosbah"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/IV.2005.149"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/IV.2005.149"
  researchr: "https://researchr.org/publication/HamidLM05"
  cites: 0
  citedby: 0
  pages: "550-555"
  booktitle: "IV"
  kind: "inproceedings"
  key: "HamidLM05"
- title: "A Local Self-stabilizing Enumeration Algorithm"
  author:
  - name: "Brahim Hamid"
    link: "http://www.irit.fr/~Brahim.Hamid/"
  - name: "Mohamed Mosbah"
    link: "https://researchr.org/alias/mohamed-mosbah"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11773887_22"
  links:
    doi: "http://dx.doi.org/10.1007/11773887_22"
  researchr: "https://researchr.org/publication/HamidM06"
  cites: 0
  citedby: 0
  pages: "289-302"
  booktitle: "dais"
  kind: "inproceedings"
  key: "HamidM06"
- title: "A Local Enumeration Protocol in Spite of Corrupted Data"
  author:
  - name: "Brahim Hamid"
    link: "http://www.irit.fr/~Brahim.Hamid/"
  - name: "Mohamed Mosbah"
    link: "https://researchr.org/alias/mohamed-mosbah"
  year: "2006"
  doi: "http://www.academypublisher.com/jcp/vol01/no07/jcp01070920.html"
  links:
    doi: "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"
  kind: "article"
  key: "HamidM06:0"
- title: "A Formal Model for Fault-Tolerance in Distributed Systems"
  author:
  - name: "Brahim Hamid"
    link: "http://www.irit.fr/~Brahim.Hamid/"
  - name: "Mohamed Mosbah"
    link: "https://researchr.org/alias/mohamed-mosbah"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11563228_9"
  links:
    doi: "http://dx.doi.org/10.1007/11563228_9"
  researchr: "https://researchr.org/publication/HamidM05"
  cites: 0
  citedby: 0
  pages: "108-121"
  booktitle: "safecomp"
  kind: "inproceedings"
  key: "HamidM05"