N. Kacem

From Formal Specification to Model Checking of MAS Using CSP-Z and SPIN

Ahmed Hadj Kacem, Najla Hadj Kacem, A. Kacem, 2007 .

A Formal Approach to Enforcing Consistency in Self-adaptive Systems

Khalil Drira, Ahmed Hadj Kacem, Najla Hadj Kacem, 2010, ECSA.