 | 2011 |
| 5 |  | Ikbel Krichen,
Imen Loulou,
Ahmed Hadj Kacem:
Formal Modeling of Behavioral Properties to Support Correct by Design Publish/Subscribe Architectural Styles.
ICSOFT (2) 2011: 286-289 |
| 2010 |
| 4 |  | Imen Loulou,
Mohamed Jmaiel,
Khalil Drira,
Ahmed Hadj Kacem:
P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration.
Journal of Systems and Software 83(3): 412-428 (2010) |
| 2007 |
| 3 |  | Imen Loulou,
Ahmed Hadj Kacem,
Mohamed Jmaiel,
Khalil Drira:
Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles.
ECSA 2007: 44-59 |
| 2006 |
| 2 |  | Imen Loulou,
Ahmed Hadj Kacem,
Mohamed Jmaiel,
Khalil Drira:
Compositional specification of event-based software architectural styles.
AICCSA 2006: 337-344 |
| 2004 |
| 1 |  | Imen Loulou,
Ahmed Hadj Kacem,
Mohamed Jmaiel,
Khalil Drira:
Towards a Unified Graph-Based Framework for Dynamic Component-Based Architectures Description in Z.
ICPS 2004: 227-234 |