The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Ahmed Hadj Kacem: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mohamed Hadj Kacem, Mohammed Nadhmi Miladi, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira
    Towards a UML profile for the description of dynamic software architectures. [Citation Graph (0, 0)][DBLP]
    COEA, 2005, pp:25-39 [Conf]
  2. Ahmed Hadj Kacem, J.-L. Soubie, J. Frontin
    A Software Architecture for Cooperative Knowledge Based Systems. [Citation Graph (0, 0)][DBLP]
    HCI (2), 1993, pp:303-308 [Conf]
  3. Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel
    Specification and Verification of Multi-Agent Applications using Temporal Z. [Citation Graph (0, 0)][DBLP]
    IAT, 2004, pp:260-266 [Conf]
  4. Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel
    Formalization of Cooperation in MAS: Towards a Generic Conceptual Model. [Citation Graph (0, 0)][DBLP]
    IBERAMIA, 2004, pp:43-52 [Conf]
  5. 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. [Citation Graph (0, 0)][DBLP]
    ICEIS (3), 2005, pp:189-195 [Conf]
  6. Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira
    Towards a Unified Graph-Based Framework for Dynamic Component-Based Architectures Description in Z. [Citation Graph (0, 0)][DBLP]
    ICPS, 2004, pp:227-234 [Conf]
  7. Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel
    Towards a Formal Methodology for Designing Multi-agent Applications. [Citation Graph (0, 0)][DBLP]
    MATES, 2005, pp:153-164 [Conf]
  8. Mohamed Jmaiel, Ahmed Hadj Kacem
    An Operational Semantics for Negotiating Agents. [Citation Graph (0, 0)][DBLP]
    PRIMA, 2002, pp:77-91 [Conf]
  9. Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel
    Specification and Design of Multi-agent Applications Using Temporal Z. [Citation Graph (0, 0)][DBLP]
    PRIMA, 2004, pp:228-242 [Conf]
  10. Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira
    Describing dynamic software architectures using an extended UML model. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:1245-1249 [Conf]
  11. Khalil Drira, Michel Diaz, Thierry Villemur, Mohamed Jmaiel, Abdelmajid Ben Hamadou, Ahmed Hadj Kacem
    Cooperative Systems for Information Sharing and Exchange. [Citation Graph (0, 0)][DBLP]
    WETICE, 2001, pp:313-314 [Conf]
  12. Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira
    Using UML2.0 and GG for Describing the Dynamic of Software Architectures. [Citation Graph (0, 0)][DBLP]
    ICITA (1), 2005, pp:46-51 [Conf]
  13. Chafik Aloulou, Abdelmajid Ben Hamadou, Ahmed Hadj Kacem, Lamia Hadrich Belguith
    Apport des approches agent pour l'analyse syntaxique de l'arabe. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:4, pp:47-60 [Journal]
  14. Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel
    Towards a formal methodology for developing multi-agent applications using temporal Z. [Citation Graph (0, 0)][DBLP]
    AICCSA, 2005, pp:123- [Conf]
  15. Hany Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel
    A formal model for mobile agent systems using Z. [Citation Graph (0, 0)][DBLP]
    AICCSA, 2005, pp:113- [Conf]
  16. Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira
    An UML-Based Approach for Validation of Software Architecture Descriptions. [Citation Graph (0, 0)][DBLP]
    TEAA, 2006, pp:158-171 [Conf]
  17. Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira
    Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles. [Citation Graph (0, 0)][DBLP]
    ECSA, 2007, pp:44-59 [Conf]
  18. Amira Regayeg, Slim Kallel, Ahmed Hadj Kacem, Mohamed Jmaiel
    ForMAAD Method: An Experimental Design for Air Traffic Control. [Citation Graph (0, 0)][DBLP]
    ITSSA, 2006, v:1, n:4, pp:327-334 [Journal]

  19. Electing a leader in the local computation model using mobile agents. [Citation Graph (, )][DBLP]


  20. Compositional specification of event-based software architectural styles. [Citation Graph (, )][DBLP]


  21. RDyMASS: Reliable and Dynamic Enforcement of Security Policies for Mobile Agent Systems. [Citation Graph (, )][DBLP]


  22. A Distributed Computational Model for Mobile Agents. [Citation Graph (, )][DBLP]


  23. Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks. [Citation Graph (, )][DBLP]


  24. A Formal Approach to Enforcing Consistency in Self-adaptive Systems. [Citation Graph (, )][DBLP]


  25. Towards modelling and analysis of a coordination protocol for dynamic software adaptation. [Citation Graph (, )][DBLP]


  26. A Formal Approach to prevent Attacks on Mobile Agent Systems. [Citation Graph (, )][DBLP]


  27. A formal security framework for mobile agent systems: Specification and verification. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.302secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002