Description - Ecole Nationale d'ingénieurs de Sfax

• A QoS-driven reconfiguration management system extending Web services withself-healing properties(conférence) WETICE '07: Proceedings of the 16th IEEE International Workshops onEnabling Technologies: Infrastru, date début : 2007-06-18, date fin : 2007-06-20, 6pages[ Riadh BEN HALIMA Mohamed JMAIEL Khalil DRIRA ]• Combining Formal Methods and Aspects for Specifying and EnforcingArchitectural Invariants(conférence) 9th International Conference on Coordination Models and Languages(Coordination), date début : 2007-06-05, date fin : 2007-06-08, 20 pages[ Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel ]• A Serialisation Based Approach for Processes Strong Mobility(conférence) The 7th IFIP International Conference on Distributed Applications andInteroperable Systems(DAIS'07), date début : 2007-06-05, date fin : 2007-06-08, 14pages[ Soumaya Marzouk, Maher Ben Jemaa, Mohamed Jmaiel ]• Une approche orientée règle pour la spécification formelle des architecturesdynamiquement configurables(conférence) Conférence Internationale sur les NOvelles TEchnologies de laREpartition (NOTERE'2007), date début : 2007-06-04, date fin : 2007-06-11, 8 pages[ Riadh BEN HALIMA, Mohamed JMAIEL, Khalil DRIRA ]• Consistent Reconfiguration for Publish/Subscribe Architecture Styles(conférence) VECoS'07, date début : 2007-05-05, date fin : 2007-05-06[ Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira ]• Spécification et vérification d’algorithmes distribués à base d’agents mobiles(conférence) , date début : 2007-04-19, date fin : 2007-04-22, 12 pages[ Med A. Haddar, A. Hadj Kacem, M.Mosbah, Y. Métivier and M. Jmaiel ]• A UML Profile and a FUJABA PlugIn for modelling dynamic softwarearchitectures(conférence) MoDSE'07: Workshop on Model-Driven Software Evolution, date début6

: 2007-03-20, date fin : 2007-03-20, 7 pages[ Mohamed Nadhmi Miladi Mohamed Hadj Kacem Mohamed Jmaiel ] En 2006• Des services orientés besoin pour l’exploitation des bases lexicales normalisées(conférence) 9ème Conférence Maghrébine sur les Technologies de l'Information,date début : 2006-12-07, date fin : 2006-12-09, 6 pages[ Mehdi Ben Abderrahmen, Fatma Chaâri, Bilel Gargouri, Mohamed Jmaiel ]• A formally specified framework for elaborating event-based architectural stylescorrect by design(conférence) MCSEAI'06, date début : 2006-12-07, date fin : 2006-12-09[ Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira ]• UML-based approach for validation of software architecture descriptions(conférence) TEAA-06 : The 2nd International Conference on Trends in EnterpriseApplication Architecture, LNCS, date début : 2006-11-29, date fin : 2006-12-01, 15pages[ Mohamed HADJ KACEM, Mohamed JMAIEL, Ahmed HADJ KACEM, khalilDRIRA ]• A conceptual model for secure mobile agent systems(conférence) International Conference on Computational Intelligence and Security,date début : 2006-11-03, date fin : 2006-11-06, 4 pages[ Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Mohamed Mosbah ]• Moderate Growth Time Series Dynamic Combinatorics Modelisation(conférence) International Conference on Economics, Law and ManagementICELM2, date début : 2006-05-31, date fin : 2006-06-03, 9 pages[ Luaî JAFF, Gérard H. E. DUCHAMP, Hatem HADJ KACEM and CyrilleBERTELLE ]• Emerging Decision Support System for Geographical Information Systems.(conférence) International Conference on Economics, Law and ManagementICELM2, date début : 2006-05-31, date fin : 2005-06-03, 15 pages7

[ Hakima Kadri, Rawan Ghnemat, Hatem Hadj Kacem, Cyrille Bertelle and GérardH. E. Duchamp ]• Un environnement de recherche et d'intégration de composant logiciel(conférence) seventh Maghrebian conference related to the software engineering andthe artificial intelligence, date début : 2006-05-04, date fin : 2006-05-06, 6 pages[ KHEMAKHEM S, JMAIEL M., BENHAMADOU A., DRIRA K ]• Describing dynamic software architectures using an extended UML model(conférence) SAC-06 : The 21st Annual Symposium on Applied Computing, Track-Model Transformation, ACM, date début : 2006-04-23, date fin : 2006-04-27, 5 pages[ Mohamed HADJ KACEM and Mohamed JMAIEL and Ahmed HADJ KACEM andKhalil DRIRA ]• SEC: a search engine for component based software development(conférence) Proceedings of the 2006 ACM symposium on Applied computing, datedébut : 2006-04-23, date fin : 2006-04-25, 6 pages[ Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel ]• Compositional specification of event-based software architectural styles(conférence) AICCSA'06, date début : 2006-03-08, date fin : 2006-03-11[ Imen Loulou Ahmed Hadj Kacem Mohamed Jmaiel Khalil Drira ] En 2005• Algebraic elimination of epsilon-transitions(journal) Discrete Mathematics and Theoretical Computer Science, volume 7, 2005-04-26, 20 pages[ Gérard H. E. Duchamp, Hatem Hadj Kacem and Éric Laugerotte ]• Approche formelle intégrée pour la spécification des architectures dynamiquesorientées composants(journal) , 2005-01-01[ Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil drira ]• Towards a UML profile for the description of dynamic software architectures(conférence) COEA-05 : The International Conference on Component-Oriented8

Enterprise Applications, volume 70, LNI, date début : 2005-09-20, date fin : 2005-09-24, 15 pages[ Mohamed HADJ KACEM,Mohamed Nadhmi MILADI,Mohamed JMAIEL,AhmedHADJ KACEM, khalil DRIRA ]• Graphical simulation of the dynamic evolution of the software architecturesspecified in Z(conférence) International Workshop on Principles of Software Evolution(IWPSE'2005), date début : 2005-09-05, date fin : 2005-09-06, 4 pages[ Riadh BEN HALIMA, Mohamed JMAIEL, Khalil DRIRA ]• Using UML2.0 and GG for describing the dynamic of software architectures(conférence) ICITA-05 : The Third International Conference on InformationTechnology and Application, IEEE Compu, date début : 2005-07-04, date fin : 2005-07-07, 6 pages[ Mohamed HADJ KACEM, Mohamed JMAIEL, Ahmed HADJ KACEM, khalilDRIRA ]• Evaluation and comparison of ADL based approaches for the description ofdynamic software architecture(conférence) ICEIS-5: The 7th International Conference on Enterprise InformationSystems, date début : 2005-05-24, date fin : 2005-05-28, 6 pages[ Mohamed HADJ KACEM,Mohamed JMAIEL, Ahmed HADJ KACEM, KhalilDRIRA ]• Spécification d'une solution multi-agent pour la gestion des conflits aériens(conférence) Journées Scientifiques des Jeunes Chercheurs en Génie Electrique etInformatique, date début : 2005-03-15, date fin : 2005-03-18[ Slim Kallel, Amira Regayeg, Mohamed Jmaiel ]• On the decomposition of Boolean Functions(conférence) Boolean Functions: Cryptography and Applications, date début : 2005-03-05, date fin : 2005-03-07[ Gérard H.E. Duchamp, Hatem Hadj Kacem,Éric Laugerotte ]• A formal model for mobile agent systems using Z(conférence) The 3rd ACS/IEEE International Conference on Computer Systems and9

V. Membres Enseignants-chercheurs statutaires• Mohamed Jmaiel : Responsable de l’unité (Professeur)• Ahmed Hadj Kacem (Maitre de Conférences)• Maher Ben Jemaa (Maitre assistant)• Mourid Marrakchi (Maitre assistant)• Fathi Ghribi (Maitre assistant)• Mohamed Hadj Kacem (Maitre Assistant)• Amira Regayeg (Maitre Assistant)• Hatem Hadj Kacem (Maitre assistant)• Tarak Chaari (Maitre assistant)• Moez Krichen (Maittre Assistant)• Wassef Louati (Maitre Assistant)• Bechir Zalila (Assistant)• Monia Loulou (Assistant)• Imen Loulou (Assistant)• Amine Haddar (Assistant)• Bachar Zouari (Assistant)• Mahdi Ben Abderrahmen (Assistant)• Riadh Ben Halima (Assistant)• Mohamed Nadhmi Miledi (Assistant)• Slim Kallel (Assistant)• Soufien Chtourou (Assistant)• Soufien Khemakhem (Assistant Technologue) Assistants contractuels• Soumaya Marzouk (Thèse doctorat)• Lamia Bouaziz Yangui (Thèse doctorat)• Monia Ben Brahim (Thèse doctorat)• Najla Hadj Kacem (Thèse doctorat)• Nouha Sellami Baccour (Thèse doctorat)• Kaouthar Fakhfakh (Thèse doctorat)• Imen Lahiani (Thèse doctorat)• Amina Chaabane (Thèse doctorat)11

• Myriam Kallel (Thèse doctorat)• Fatma Krichen (Thèse doctorat) Doctorants (en sciences) et étudiants en mastère (de recherche)• Ismaïl Bouassida (Thèse doctorat)• Emna Fki (Thèse doctorat)• Afef Mdhaffar (Master)• Nadia Masmoudi (Master)• Hatem Arous (Master)• Nesrine Ouled Abdallah (Master)• Imen Tounsi (Master)• Nawel Ben Ameur (Master)• Hamdi Aloulou (Master)• Ghofrane Fersi (Master)• Siwar Khlifi (Master)• Afef Jmal Maâlej (Master)• Zeineb Fki (Master)• Houssem Medhioub (Master)• Raja Haddad (Master)• Wassim Drira (Master)• Hamza Hlioui (Master) Enseignants chercheurs associés• Bilel Gargouri (Maître assistant)• Walid Mahdi (Maître assistant)• Chafik Aloulou (Maître assistant)12