@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 = {Software Technologies for Embedded and Ubiquitous Systems, 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008, Proceedings},
  editor = {Uwe Brinkschulte and Tony Givargis and Stefano Russo},
  volume = {5287},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-87784-4},
}

@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 = {Parallel and Distributed Processing and Applications, 5th International Symposium, ISPA 2007, Niagara Falls, Canada, August 29-31, 2007, Proceedings},
  editor = {Ivan Stojmenovic and Ruppa K. Thulasiram and Laurence Tianruo Yang and Weijia Jia and Minyi Guo and Rodrigo Fernandes de Mello},
  volume = {4742},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74741-3},
}

@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 = {Proceedings of the 6th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2005), May 23-25, 2005, Towson, Maryland, USA},
  editor = {Lawrence Chung and Yeong-Tae Song},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2294-7},
}

@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 = {On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal},
  editor = {Robert Meersman and Zahir Tari and Pilar Herrero},
  volume = {4806},
  publisher = {Springer},
}

@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 = {34th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2008, September 3-5, 2008, Parma, Italy},
  publisher = {IEEE},
}

@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 = {Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, part of the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 15-17, 2005},
  editor = {Thomas Fahringer and M. H. Hamza},
  publisher = {IASTED/ACTA Press},
  isbn = {0-88986-470-5},
}

@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 = {9th International Conference on Information Visualisation, IV 2005, 6-8 July 2005, London, UK},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2397-8},
}

@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 = {Distributed Applications and Interoperable Systems, 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006, Proceedings},
  editor = {Frank Eliassen and Alberto Montresor},
  volume = {4025},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-35126-4},
}

@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 = {Computer Safety, Reliability, and Security, 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings},
  editor = {Rune Winther and Bjørn Axel Gran and Gustav Dahll},
  volume = {3688},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29200-4},
}