Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Brahim Hamid

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Actes de conférences et de workshops / Conference proceedings

Articles de revues internationales / International journal papers

Articles de revues nationales / National journal papers

Contributions à des ouvrages de synthèse / Book chapters

Conférences et workshops internationaux / International conference papers

Conférences et workshops nationaux / National conference papers

Conférences sans actes publiés / Conference papers without published proceedings
  • Brahim Hamid. Alternative Paths to Components and Systems: Challenge objectives and Success Stories. Dans : International Networking Event on Med-EU ICT Co-operation, Hammamet, Tunisia, 08/11/10-10/11/10 (conférencier invité).
    BibTeX

  • Brahim Hamid. Distributed maintenance of spanning trees using graph relabeling systems. Dans : Workshop on Graph Computation Models (GCM'06), a satellite event of the The third International Conference on Graph Transformation (ICGT'06), Natal, Brazil, 18/09/06-18/09/06.
    BibTeX

  • Brahim Hamid. A formal model for snap-stabilization in distributed systems. Dans : The Poster Session of the symposium on self-stabilizing systems (SSS'05), Barcelona, Spain, 25/10/05-27/10/05.
    BibTeX

  • Brahim Hamid, Mohamed Mosbah. A model for self-stabilization using relabeling systems. Dans : Cinquième journées scientifiques des jeunes chercheurs en génie électrique et informatique (GEI'05), Sousse, Tunisie, 25/03/05-27/03/05.
    BibTeX

  • Brahim Hamid, Mohamed Mosbah. Détection de pannes dans un système distribué par échange local de messages,. Dans : Journées Scientifiques Francophones (JSF'03), Tozeur, Tunisie, 20/12/03-21/12/03.
    BibTeX

Rapports / Reports

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • Brahim Hamid. Engineering secure systems: patterns, properties, models, analysis and experimental evaluations. Habilitation à diriger des recherches, Université de Toulouse-le-Mirail, décembre 2016.
    BibTeX