Najla Hadj Kacem

Publication Activity (10 Years)

Years Active: 2008-2010
Publications (10 Years): 0

Publications

Najla Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
A Formal Approach to Enforcing Consistency in Self-adaptive Systems. ECSA (2010)
Najla Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira
Orchestrating Safe Behavioural Adaptations of Component-Based Systems. ICAS (2010)
Najla Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira
Towards modelling and analysis of a coordination protocol for dynamic software adaptation. CSTST (2008)