Publications

Publications de Brahim HAMID

Articles dans des revues internationales Articles dans des revues nationales Conférences et workshops internationaux avec actes édités et comité de lecture Conférences et workshops nationaux avec actes édités et comité de lecture Conférences sans actes publiés
  • 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

Rédaction d’actes de conférences et de workshops Contributions à des ouvrages de synthèse Rapports Thèses et habilitations
  • 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

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par
et
Ordre chronologique (année) Décroissant Croissant