|
[1]
|
Imen Loulou, Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, and Mohamed
Jmaiel.
Making sound policies for self-healing systems.
In 9th annual international conference
on New Technologies of Distributed Systems (NOTERE’09) Montréal - Canada, July 2009.
[ BibTeX ]
|
|
[2]
|
Imen Loulou, Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, and Mohamed
Jmaiel.
A formal architecture-centric approach for safe self-repair.
In Second International
Conference on Web and Information Technologies (ICWIT’09) , Kerkennah Island, Sfax,
Tunisia, June 2009.
[ BibTeX ]
|
|
[3]
|
Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, and Khalil Drira. Consistent reconfiguration
for publish/subscribe architecture styles. In VECoS’07 The 1st International
Workshop on Verification and Evaluation of Computer and Communication Systems, Algiers,
Algeria, May 2007. Electronic Workshops in Computing EWIC Series, The British
Comput. Society.
[ BibTeX ]
|
|
[4]
|
Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, and Khalil Drira. A formally
specified framework for elaborating event-based architectural styles correct by design. In
The 9th Maghrebian Conference on Software Engineering and Artificial Intelligence (MCSEAI’06)
, Agadir-Morocco, December 2006.
[ BibTeX ]
|
|
[5]
|
Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, and Khalil Drira. Compositional
specification of event-based software architectural styles. In The 4th ACS/IEEE International
Conference on Computer Systems and Applications (AICCSA’06), Dubai/Sharjah, UAE,
March 2006.
[ BibTeX ]
|
|
[6]
|
Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, and Khalil Drira. Towards a unified
graph-based framework for dynamic component-based architectures description in Z. In
The IEEE/ACS International Conference on Pervasive Services (ICPS’04), pages 227-234,
American University of Beirut (AUB), Lebanon, July 2004. IEEE Comput. Society.
[ BibTeX ]
|
