Towards a Unified Graph-Based Framework for Dynamic Component-Based Architectures Description in Z. - Imen Loulou; Ahmed Hadj Kacem; Mohamed Jmaiel; Khalil Drira (ICPS, 2004)

Compositional specification of event-based software architectural styles. - Imen Loulou; Ahmed Hadj Kacem; Mohamed Jmaiel; Khalil Drira (AICCSA, 2006)

Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles. - Imen Loulou; Ahmed Hadj Kacem; Mohamed Jmaiel; Khalil Drira (ECSA, 2007)

P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration. - Imen Loulou; Mohamed Jmaiel; Khalil Drira; Ahmed Hadj Kacem (J. Syst. Softw., 2010)

Formal Modeling of Behavioral Properties to Support Correct by Design Publish/Subscribe Architectural Styles. - Ikbel Krichen; Imen Loulou; Ahmed Hadj Kacem (ICSOFT (2), 2011)

P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural Styles. - Ikbel Krichen; Imen Loulou; Hedi Dhouib; Ahmed Hadj Kacem (ICECCS, 2012)

A formal approach to model and verify the behaviour of publish/subscribe architectural style. - Hatem Hadj Kacem; Imen Loulou; Ahmed Hadj Kacem (Int. J. Inf. Technol. Commun. Convergence, 2012)

SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties. - Imen Graja; Imen Loulou; Ahmed Hadj Kacem (ENASE, 2014)