Imen Loulou

According to our database, Imen Loulou authored at least 8 papers between 2004 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2014

SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties.

Imen Graja, Imen Loulou, Ahmed Hadj Kacem

Proceedings of the ENASE 2014, 2014

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

P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural Styles.

Ikbel Krichen, Imen Loulou, Hedi Dhouib, Ahmed Hadj Kacem

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011

Formal Modeling of Behavioral Properties to Support Correct by Design Publish/Subscribe Architectural Styles.

Ikbel Krichen, Imen Loulou, Ahmed Hadj Kacem

Proceedings of the ICSOFT 2011, 2011

2010

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

2007

Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles.

Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira

Proceedings of the Software Architecture, First European Conference, 2007

2006

Compositional specification of event-based software architectural styles.

Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira

Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2004

Towards a Unified Graph-Based Framework for Dynamic Component-Based Architectures Description in Z.

Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira

Proceedings of the IEEE/ACS International Conference on Pervasive Services (ICPS'04), 2004