Ahmed Hadj Kacem

2008
19	EE	M. A. 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
18	EE	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
2006
17	EE	Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira: Describing dynamic software architectures using an extended UML model. SAC 2006: 1245-1249
16	EE	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	EE	Hany Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel: A formal model for mobile agent systems using Z. AICCSA 2005: 113
13	EE	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	EE	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	EE	Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel: Towards a Formal Methodology for Designing Multi-agent Applications. MATES 2005: 153-164
2004
8	EE	Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel: Specification and Verification of Multi-Agent Applications using Temporal Z. IAT 2004: 260-266
7	EE	Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel: Formalization of Cooperation in MAS: Towards a Generic Conceptual Model. IBERAMIA 2004: 43-52
6	EE	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	EE	Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel: Specification and Design of Multi-agent Applications Using Temporal Z. PRIMA 2004: 228-242
2003
4	EE	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	EE	Mohamed Jmaiel, Ahmed Hadj Kacem: An Operational Semantics for Negotiating Agents. PRIMA 2002: 77-91
2001
2	EE	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]
5	J. Frontin	[1]
6	M. A. Haddar	[19]
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]
9	Mohamed Hadj Kacem	[10] [11] [12] [16] [17]
10	Slim Kallel	[15]
11	Hany Loulou	[14]
12	Imen Loulou	[6] [18]
13	Monia Loulou	[7]
14	Yves Métivier	[19]
15	Mohammed Nadhmi Miladi	[12]
16	Mohamed Mosbah	[19]
17	Amira Regayeg	[5] [8] [9] [13] [15]
18	J.-L. Soubie	[1]
19	Thierry Villemur	[2]

Colors in the list of coauthors