An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures. - Mohammed Nadhmi Miladi; Ikbel Krichen; Mohamed Jmaiel; Khalil Drira (FSEN, 2009)

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)