Towards modelling and analysis of a coordination protocol for dynamic software adaptation. - Najla Hadj Kacem; Ahmed Hadj Kacem; Mohamed Jmaiel; Khalil Drira (CSTST, 2008)

A Formal Approach to Enforcing Consistency in Self-adaptive Systems. - Najla Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (ECSA, 2010)

Orchestrating Safe Behavioural Adaptations of Component-Based Systems. - Najla Hadj Kacem; Ahmed Hadj Kacem; Khalil Drira (ICAS, 2010)