Ahmed Hadj Kacem

	2008
24		Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel: Electing a leader in the local computation model using mobile agents. AICCSA 2008: 473-480
23		Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel: Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks. ICDCN 2008: 286-291
	2007
22		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
21		Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel: A Distributed Computational Model for Mobile Agents. PRIMA 2007: 416-421
20		Monia Loulou, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Jmaiel: A Formal Approach to prevent Attacks on Mobile Agent Systems. SECURWARE 2007: 42-47
19		Ahmed Hadj Kacem, Amira Regayeg, Mohamed Jmaiel: ForMAAD: A formal method for agent-based application design. Web Intelligence and Agent Systems 5(4): 435-454 (2007)
	2006
18		Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira: Compositional specification of event-based software architectural styles. AICCSA 2006: 337-344
17		Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira: Describing dynamic software architectures using an extended UML model. SAC 2006: 1245-1249
16		Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira: An UML-Based Approach for Validation of Software Architecture Descriptions. TEAA 2006: 158-171
15		Amira Regayeg, Slim Kallel, Ahmed Hadj Kacem, Mohamed Jmaiel: ForMAAD Method: An Experimental Design for Air Traffic Control. ITSSA 1(4): 327-334 (2006)
	2005
14		Hany Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel: A formal model for mobile agent systems using Z. AICCSA 2005: 113
13		Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel: Towards a formal methodology for developing multi-agent applications using temporal Z. AICCSA 2005: 123
12		Mohamed Hadj Kacem, Mohammed Nadhmi Miladi, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira: Towards a UML profile for the description of dynamic software architectures. COEA 2005: 25-39
11		Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira: Evaluation and Comparison of ADL Based Approaches for the Description of Dynamic of Software Architectures. ICEIS (3) 2005: 189-195
10		Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira: Using UML2.0 and GG for Describing the Dynamic of Software Architectures. ICITA (1) 2005: 46-51
9		Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel: Towards a Formal Methodology for Designing Multi-agent Applications. MATES 2005: 153-164
	2004
8		Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel: Specification and Verification of Multi-Agent Applications using Temporal Z. IAT 2004: 260-266
7		Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel: Formalization of Cooperation in MAS: Towards a Generic Conceptual Model. IBERAMIA 2004: 43-52
6		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
5		Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel: Specification and Design of Multi-agent Applications Using Temporal Z. PRIMA 2004: 228-242
	2003
4		Chafik Aloulou, Abdelmajid Ben Hamadou, Ahmed Hadj Kacem, Lamia Hadrich Belguith: Apport des approches agent pour l'analyse syntaxique de l'arabe. Technique et Science Informatiques 22(4): 47-60 (2003)
	2002
3		Mohamed Jmaiel, Ahmed Hadj Kacem: An Operational Semantics for Negotiating Agents. PRIMA 2002: 77-91
	2001
2		Khalil Drira, Michel Diaz, Thierry Villemur, Mohamed Jmaiel, Abdelmajid Ben Hamadou, Ahmed Hadj Kacem: Cooperative Systems for Information Sharing and Exchange. WETICE 2001: 313-314
	1993
1		Ahmed Hadj Kacem, J.-L. Soubie, J. Frontin: A Software Architecture for Cooperative Knowledge Based Systems. HCI (2) 1993: 303-308

Coauthor Index

1	Chafik Aloulou	[4]
2	Lamia Hadrich Belguith	[4]
3	Michel Diaz	[2]
4	Khalil Drira	[2] [6] [10] [11] [12] [16] [17] [18] [22]
5	J. Frontin	[1]
6	Med Amine Haddar	[21] [23] [24]
7	Abdelmajid Ben Hamadou	[2] [4]
8	Mohamed Jmaiel	[2] [3] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24]
9	Mohamed Hadj Kacem	[10] [11] [12] [16] [17]
10	Slim Kallel	[15]
11	Hany Loulou	[14]
12	Imen Loulou	[6] [18] [22]
13	Monia Loulou	[7] [20]
14	Yves Métivier	[21] [23] [24]
15	Mohammed Nadhmi Miladi	[12]
16	Mohamed Mosbah	[21] [23] [24]
17	Amira Regayeg	[5] [8] [9] [13] [15] [19]
18	J.-L. Soubie	[1]
19	Mohamed Tounsi	[20]
20	Thierry Villemur	[2]

Colors in the list of coauthors