Imen Loulou

Publication Activity (10 Years)

Years Active: 2004-2014
Publications (10 Years): 0

Top Topics

Architectural Style

Service Oriented

Top Venues

Int. J. Inf. Technol. Commun. Convergence

Publications

Imen Graja, Imen Loulou, Ahmed Hadj Kacem
SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties. ENASE (2014)
Hatem Hadj Kacem, Imen Loulou, Ahmed Hadj Kacem
A formal approach to model and verify the behaviour of publish/subscribe architectural style. Int. J. Inf. Technol. Commun. Convergence 2 (3) (2012)
Ikbel Krichen, Imen Loulou, Hedi Dhouib, Ahmed Hadj Kacem
P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural Styles. ICECCS (2012)
Ikbel Krichen, Imen Loulou, Ahmed Hadj Kacem
Formal Modeling of Behavioral Properties to Support Correct by Design Publish/Subscribe Architectural Styles. ICSOFT (2) (2011)
Imen Loulou, Mohamed Jmaiel, Khalil Drira, Ahmed Hadj Kacem
P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration. J. Syst. Softw. 83 (3) (2010)
Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira
Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles. ECSA (2007)
Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira
Compositional specification of event-based software architectural styles. AICCSA (2006)
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)