 | 2012 |
| 21 |  | Nicolas Desnos,
Brahim Hamid,
Christian Percebois,
Damien Gouteux:
Towards a Security and Dependability Pattern Development Technique for Resource Constrained Embedded Systems.
SWQD 2012: 193-204 |
| 2011 |
| 20 |  | Fatma Krichen,
Brahim Hamid,
Bechir Zalila,
Mohamed Jmaiel:
Towards a Model-Based Approach for Reconfigurable DRE Systems.
ECSA 2011: 295-302 |
| 19 |  | Adel Ziani,
Brahim Hamid,
Salvador Trujillo:
Towards a Unified Meta-model for Resources-Constrained Embedded Systems.
EUROMICRO-SEAA 2011: 485-492 |
| 18 |  | Rahma Bouaziz,
Brahim Hamid,
Nicolas Desnos:
Towards a Better Integration of Patterns in Secure Component-Based Systems Design.
ICCSA (5) 2011: 607-621 |
| 17 |  | Brahim Hamid,
Sigrid Gürgens,
Christophe Jouvray,
Nicolas Desnos:
Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches.
MoDELS 2011: 319-333 |
| 16 |  | Salvador Trujillo,
Iñaki Alonso,
Brahim Hamid,
David Gonzalez,
Manuel Blanco,
Huaxi (Yulin) Zhang:
Towards variability support for security and dependability patterns: a case study.
SPLC Workshops 2011: 27 |
| 2010 |
| 15 |  | Brahim Hamid,
Fatma Krichen:
Model-based engineering for dynamic reconfiguration in DRTES.
ECSA Companion Volume 2010: 269-276 |
| 14 |  | Brahim Hamid,
Adel Ziani:
An Environment for Design Software and Hardware Aspects of Clock Synchronization and Communication in DRTES.
EUC 2010: 60-67 |
| 13 |  | Fatma Krichen,
Brahim Hamid,
Bechir Zalila,
Bernard Coulette:
Designing Dynamic Reconfiguration for Distributed Real Time Embedded Systems.
NOTERE 2010: 249-254 |
| 2008 |
| 12 |  | Brahim Hamid,
Ansgar Radermacher,
Patrick Vanuxeem,
Agnes Lanusse,
Sebastien Gerard:
A Fault-tolerance Framework for Distributed Component Systems.
EUROMICRO-SEAA 2008: 84-91 |
| 11 |  | Brahim Hamid,
Ansgar Radermacher,
Agnes Lanusse,
Christophe Jouvray,
Sébastien Gérard,
François Terrier:
Designing Fault-Tolerant Component Based Applications with a Model Driven Approach.
SEUS 2008: 9-20 |
| 2007 |
| 10 |  | Brahim Hamid,
Bertrand Le Saëc,
Mohamed Mosbah:
Distributed Local 2-Connectivity Test of Graphs and Applications.
ISPA 2007: 195-207 |
| 9 |  | Brahim Hamid,
Mohamed Mosbah,
Akka Zemmari:
A Self-stabilizing Distributed Algorithm for Resolving Conflicts.
OTM Workshops (2) 2007: 1042-1051 |
| 2006 |
| 8 |  | Brahim Hamid,
Mohamed Mosbah:
A Local Self-stabilizing Enumeration Algorithm.
DAIS 2006: 289-302 |
| 7 |  | Brahim Hamid,
Mohamed Mosbah:
A Local Enumeration Protocol in Spite of Corrupted Data.
JCP 1(7): 9-20 (2006) |
| 2005 |
| 6 |  | Brahim Hamid,
Mohamed Mosbah:
Visualization of Self-Stabilizing Distributed Algorithms.
IV 2005: 550-555 |
| 5 |  | Brahim Hamid,
Mohamed Mosbah:
An Implementation of a Failure Detector for Local Computations in Graphs.
Parallel and Distributed Computing and Networks 2005: 473-478 |
| 4 |  | Brahim Hamid,
Mohamed Mosbah:
A Formal Model for Fault-Tolerance in Distributed Systems.
SAFECOMP 2005: 108-121 |
| 3 |  | Brahim Hamid,
Mohamed Mosbah:
An Automatic Approach to Self-Stabilization.
SNPD 2005: 123-128 |
| 2 |  | Brahim Hamid,
Ted Herman,
Morten Mjelde:
The Poster Session of SSS 2005
CoRR abs/cs/0512021: (2005) |
| 1999 |
| 1 |  | Samy Ait-Aoudia,
Brahim Hamid,
Adel Moussaoui,
Toufik Saadi:
Solving Geometric Constraints by a Graph-Constructive Approach.
IV 1999: 250- |