Ahmed Hadj Kacem

	2011
33		Ikbel Krichen, Imen Loulou, Ahmed Hadj Kacem: Formal Modeling of Behavioral Properties to Support Correct by Design Publish/Subscribe Architectural Styles. ICSOFT (2) 2011: 286-289
	2010
32		Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel: NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31 - June 2, 2010, Proceedings IEEE 2010
31		Zeineb Graja, Amira Regayeg, Ahmed Hadj Kacem: $\mathcal{F}_{or}\mathcal{MAAD}$ : Towards a Model Driven Approach for Agent Based Application Design. AOSE 2010: 148-164
30		Najla Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira: A Formal Approach to Enforcing Consistency in Self-adaptive Systems. ECSA 2010: 279-294
29		Najla Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira: Orchestrating Safe Behavioural Adaptations of Component-Based Systems. ICAS 2010: 37-46
28		Imen Loulou, Mohamed Jmaiel, Khalil Drira, Ahmed Hadj Kacem: P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration. Journal of Systems and Software 83(3): 412-428 (2010)
	2009
27		Houssem Aloulou, Monia Loulou, Slim Kallel, Ahmed Hadj Kacem: RDyMASS: Reliable and Dynamic Enforcement of Security Policies for Mobile Agent Systems. DPM/SETOP 2009: 237-252
	2008
26		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
25		Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Mohamed Mosbah: A formal security framework for mobile agent systems: Specification and verification. CRiSIS 2008: 69-76
24		Najla Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira: Towards modelling and analysis of a coordination protocol for dynamic software adaptation. CSTST 2008: 499-507
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	Houssem Aloulou	[27]
3	Lamia Hadrich Belguith	[4]
4	Michel Diaz	[2]
5	Khalil Drira	[2] [6] [10] [11] [12] [16] [17] [18] [22] [24] [28] [29] [30] [32]
6	J. Frontin	[1]
7	Zeineb Graja	[31]
8	Med Amine Haddar	[21] [23] [26]
9	Abdelmajid Ben Hamadou	[2] [4]
10	Mohamed Jmaiel	[2] [3] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [28] [32]
11	Mohamed Hadj Kacem	[10] [11] [12] [16] [17]
12	Najla Hadj Kacem	[24] [29] [30]
13	Slim Kallel	[15] [27]
14	Ikbel Krichen	[33]
15	Hany Loulou	[14]
16	Imen Loulou	[6] [18] [22] [28] [33]
17	Monia Loulou	[7] [20] [25] [27]
18	Yves Métivier	[21] [23] [26]
19	Mohammed Nadhmi Miladi	[12]
20	Mohamed Mosbah	[21] [23] [25] [26]
21	Amira Regayeg	[5] [8] [9] [13] [15] [19] [31]
22	J.-L. Soubie	[1]
23	Mohamed Tounsi	[20]
24	Thierry Villemur	[2]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page