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

Search the dblp DataBase

Title:
Author:
Mohamed Jmaiel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou
    Vers l'utilisation des méthodes formelles pour le développement de linguiciels. [Citation Graph (0, 0)][DBLP]
    COLING-ACL, 1998, pp:438-443 [Conf]
  2. Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou
    An Environment for Formal Lingware Engineering. [Citation Graph (0, 0)][DBLP]
    AICCSA, 2001, pp:451-453 [Conf]
  3. 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]
  4. Walid Chainbi, Mohamed Jmaiel, Abdelmajid Ben Hamadou
    Conception, Behavioral Semantics and Formal Specification of Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    DAI, 1998, pp:16-28 [Conf]
  5. 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]
  6. 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]
  7. 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]
  8. Mohamed Jmaiel
    A Unified Algebraic Framework for Specifying Communication Protocols. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:57-66 [Conf]
  9. 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]
  10. Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou
    An Environment for Formal Specification and Verification of Lingware. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 2001, pp:539-545 [Conf]
  11. Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou
    A Formal Approach to Lingware Development. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 1999, pp:859-868 [Conf]
  12. Riadh Ben Halima, Mohamed Jmaiel, Khalil Drira
    Graphical simulation of the dynamic evolution of the software architectures specified in Z. [Citation Graph (0, 0)][DBLP]
    IWPSE, 2005, pp:45-48 [Conf]
  13. 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]
  14. Mohamed Jmaiel, Ahmed Hadj Kacem
    An Operational Semantics for Negotiating Agents. [Citation Graph (0, 0)][DBLP]
    PRIMA, 2002, pp:77-91 [Conf]
  15. 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]
  16. Mohamed Jmaiel
    An algebraic-temporal specification of a CSMA/CD-protocol. [Citation Graph (0, 0)][DBLP]
    PSTV, 1995, pp:187-202 [Conf]
  17. 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]
  18. Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel
    SEC: a search engine for component based software development. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:1745-1750 [Conf]
  19. 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]
  20. 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]
  21. Mohamed Jmaiel, Peter Pepper
    Development of communication protocols using algebraic and temporal specifications. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2003, v:42, n:6, pp:737-764 [Journal]
  22. Walid Chainbi, Abdelmajid Ben Hamadou, Mohamed Jmaiel
    A Belief-Goal-Role Theory for Multiagent Systems. [Citation Graph (0, 0)][DBLP]
    IJPRAI, 2001, v:15, n:3, pp:435-450 [Journal]
  23. Kamel Barkaoui, Mohamed Jmaiel, Ali Mili
    Guest editorial. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2002, v:60, n:2, pp:87-89 [Journal]
  24. Mohamed Jmaiel
    Specification of communication protocols using temporal logic. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1996, v:33, n:3, pp:299-312 [Journal]
  25. 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]
  26. 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]
  27. Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel
    Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2007, pp:211-230 [Conf]
  28. Soumaya Marzouk, Maher Ben Jemaa, Mohamed Jmaiel
    A Serialisation Based Approach for Processes Strong Mobility. [Citation Graph (0, 0)][DBLP]
    DAIS, 2007, pp:153-166 [Conf]
  29. 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]
  30. 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]
  31. Soumaya Marzouk, Maher Ben Jemaa, Mohamed Jmaiel
    A serialization based approach for strong mobility of shared object. [Citation Graph (0, 0)][DBLP]
    PPPJ, 2007, pp:237-242 [Conf]
  32. 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]

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


  34. A UML rule-based approach for describing and checking dynamic software architectures. [Citation Graph (, )][DBLP]


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


  36. Implementing and Testing a Semantic-Driven Approach Towards a Better Comprehension Between Service Consumers and Providers. [Citation Graph (, )][DBLP]


  37. Using Recommendation to Limit Search Space in Web Services Discovery. [Citation Graph (, )][DBLP]


  38. Specifying and Monitoring Temporal Properties in Web Services Compositions. [Citation Graph (, )][DBLP]


  39. A QoS-Oriented Reconfigurable Middleware for Self-Healing Web Services. [Citation Graph (, )][DBLP]


  40. Experiments results and large scale measurement data for web services performance assessment. [Citation Graph (, )][DBLP]


  41. Security aware content-based publish/subscribe system. [Citation Graph (, )][DBLP]


  42. A Secure Content-Based Publish/Subscribe Middleware. [Citation Graph (, )][DBLP]


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


  44. A UML Based Deployment and Management Modeling for Cooperative and Distributed Applications. [Citation Graph (, )][DBLP]


  45. A QoS-Driven Reconfiguration Management System Extending Web Services with Self-Healing Properties. [Citation Graph (, )][DBLP]


  46. Towards Making WSRF Based Web Services Strongly Mobile. [Citation Graph (, )][DBLP]


  47. A model-based multi-level architectural reconfiguration applied to adaptability management in context-aware cooperative communication support systems. [Citation Graph (, )][DBLP]


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


  49. Toward an Aspect Oriented ADL for Embedded Systems. [Citation Graph (, )][DBLP]


  50. An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures. [Citation Graph (, )][DBLP]


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


  52. Implementing a rule-driven approach for architectural self configuration in collaborative activities using a graph rewriting formalism. [Citation Graph (, )][DBLP]


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


  54. From Formal Access Control Policies to Runtime Enforcement Aspects. [Citation Graph (, )][DBLP]


  55. LMF-QL: A Graphical Tool to Query LMF Databases for NLP and Editorial Use. [Citation Graph (, )][DBLP]


  56. Periodic Checkpointing for Strong Mobility of Orchestrated Web Services. [Citation Graph (, )][DBLP]


  57. A collaborative distributed video indexing. [Citation Graph (, )][DBLP]


  58. Security Mapping to Enhance Matching Fine-Grained Security Policies. [Citation Graph (, )][DBLP]


  59. Low cost checkpoint/rollback solution for strong mobility of orchestrated Web services. [Citation Graph (, )][DBLP]


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


  61. Aspect-based enforcement of formal delegation policies. [Citation Graph (, )][DBLP]


  62. Context-aware adaptation for group communication support applications with dynamic architecture [Citation Graph (, )][DBLP]


  63. Using Aspects for Enforcing Formal Architectural Invariants. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.304secs
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