Ahmed Hadj Kacem Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIkbel 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
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhalil 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
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZeineb 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
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNajla Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira: A Formal Approach to Enforcing Consistency in Self-adaptive Systems. ECSA 2010: 279-294
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNajla Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira: Orchestrating Safe Behavioural Adaptations of Component-Based Systems. ICAS 2010: 37-46
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLImen 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
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHoussem 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
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMed 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
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMonia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Mohamed Mosbah: A formal security framework for mobile agent systems: Specification and verification. CRiSIS 2008: 69-76
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNajla 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
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMed 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
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLImen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira: Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles. ECSA 2007: 44-59
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMed Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel: A Distributed Computational Model for Mobile Agents. PRIMA 2007: 416-421
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMonia Loulou, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Jmaiel: A Formal Approach to prevent Attacks on Mobile Agent Systems. SECURWARE 2007: 42-47
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed 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
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLImen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira: Compositional specification of event-based software architectural styles. AICCSA 2006: 337-344
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira: Describing dynamic software architectures using an extended UML model. SAC 2006: 1245-1249
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira: An UML-Based Approach for Validation of Software Architecture Descriptions. TEAA 2006: 158-171
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmira Regayeg, Slim Kallel, Ahmed Hadj Kacem, Mohamed Jmaiel: ForMAAD Method: An Experimental Design for Air Traffic Control. ITSSA 1(4): 327-334 (2006)
2005
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHany Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel: A formal model for mobile agent systems using Z. AICCSA 2005: 113
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel: Towards a formal methodology for developing multi-agent applications using temporal Z. AICCSA 2005: 123
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed 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
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel: Towards a Formal Methodology for Designing Multi-agent Applications. MATES 2005: 153-164
2004
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel: Specification and Verification of Multi-Agent Applications using Temporal Z. IAT 2004: 260-266
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMonia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel: Formalization of Cooperation in MAS: Towards a Generic Conceptual Model. IBERAMIA 2004: 43-52
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLImen 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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel: Specification and Design of Multi-agent Applications Using Temporal Z. PRIMA 2004: 228-242
2003
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChafik 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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohamed Jmaiel, Ahmed Hadj Kacem: An Operational Semantics for Negotiating Agents. PRIMA 2002: 77-91
2001
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhalil 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
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Hadj Kacem, J.-L. Soubie, J. Frontin: A Software Architecture for Cooperative Knowledge Based Systems. HCI (2) 1993: 303-308

Coauthor Index

1Chafik Aloulou [4]
2Houssem Aloulou [27]
3Lamia Hadrich Belguith [4]
4Michel Diaz [2]
5Khalil Drira [2] [6] [10] [11] [12] [16] [17] [18] [22] [24] [28] [29] [30] [32]
6J. Frontin [1]
7Zeineb Graja [31]
8Med Amine Haddar [21] [23] [26]
9Abdelmajid Ben Hamadou [2] [4]
10Mohamed 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]
11Mohamed Hadj Kacem [10] [11] [12] [16] [17]
12Najla Hadj Kacem [24] [29] [30]
13Slim Kallel [15] [27]
14Ikbel Krichen [33]
15Hany Loulou [14]
16Imen Loulou [6] [18] [22] [28] [33]
17Monia Loulou [7] [20] [25] [27]
18Yves Métivier [21] [23] [26]
19Mohammed Nadhmi Miladi [12]
20Mohamed Mosbah [21] [23] [25] [26]
21Amira Regayeg [5] [8] [9] [13] [15] [19] [31]
22J.-L. Soubie [1]
23Mohamed Tounsi [20]
24Thierry Villemur [2]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page