| 2008 |
|---|
| 35 | 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 |
|---|
| 34 | EE | Slim Kallel,
Anis Charfi,
Mira Mezini,
Mohamed Jmaiel:
Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants.
COORDINATION 2007: 211-230 |
| 33 | EE | Soumaya Marzouk,
Maher Ben Jemaa,
Mohamed Jmaiel:
A Serialisation Based Approach for Processes Strong Mobility.
DAIS 2007: 153-166 |
| 32 | 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 |
| 31 | EE | Soumaya Marzouk,
Maher Ben Jemaa,
Mohamed Jmaiel:
A serialization based approach for strong mobility of shared object.
PPPJ 2007: 237-242 |
| 30 | EE | Riadh Ben Halima,
Khalil Drira,
Mohamed Jmaiel:
A QoS-Driven Reconfiguration Management System Extending Web Services with Self-Healing Properties.
WETICE 2007: 339-344 |
| 29 | EE | Sofien Khemakhem,
Khalil Drira,
Mohamed Jmaiel:
SEC+: an enhanced search engine for component-based software development.
ACM SIGSOFT Software Engineering Notes 32(4): (2007) |
| 2006 |
|---|
| 28 | EE | Mohamed Hadj Kacem,
Ahmed Hadj Kacem,
Mohamed Jmaiel,
Khalil Drira:
Describing dynamic software architectures using an extended UML model.
SAC 2006: 1245-1249 |
| 27 | EE | Sofien Khemakhem,
Khalil Drira,
Mohamed Jmaiel:
SEC: a search engine for component based software development.
SAC 2006: 1745-1750 |
| 26 | 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 |
| 25 | | 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 |
|---|
| 24 | EE | Hany Loulou,
Ahmed Hadj Kacem,
Mohamed Jmaiel:
A formal model for mobile agent systems using Z.
AICCSA 2005: 113 |
| 23 | EE | Amira Regayeg,
Ahmed Hadj Kacem,
Mohamed Jmaiel:
Towards a formal methodology for developing multi-agent applications using temporal Z.
AICCSA 2005: 123 |
| 22 | | 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 |
| 21 | | 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 |
| 20 | 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 |
| 19 | EE | Riadh Ben Halima,
Mohamed Jmaiel,
Khalil Drira:
Graphical simulation of the dynamic evolution of the software architectures specified in Z.
IWPSE 2005: 45-48 |
| 18 | EE | Amira Regayeg,
Ahmed Hadj Kacem,
Mohamed Jmaiel:
Towards a Formal Methodology for Designing Multi-agent Applications.
MATES 2005: 153-164 |
| 2004 |
|---|
| 17 | EE | Amira Regayeg,
Ahmed Hadj Kacem,
Mohamed Jmaiel:
Specification and Verification of Multi-Agent Applications using Temporal Z.
IAT 2004: 260-266 |
| 16 | EE | Monia Loulou,
Ahmed Hadj Kacem,
Mohamed Jmaiel:
Formalization of Cooperation in MAS: Towards a Generic Conceptual Model.
IBERAMIA 2004: 43-52 |
| 15 | 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 |
| 14 | EE | Amira Regayeg,
Ahmed Hadj Kacem,
Mohamed Jmaiel:
Specification and Design of Multi-agent Applications Using Temporal Z.
PRIMA 2004: 228-242 |
| 2003 |
|---|
| 13 | EE | Mohamed Jmaiel,
Peter Pepper:
Development of communication protocols using algebraic and temporal specifications.
Computer Networks 42(6): 737-764 (2003) |
| 2002 |
|---|
| 12 | EE | Mohamed Jmaiel,
Ahmed Hadj Kacem:
An Operational Semantics for Negotiating Agents.
PRIMA 2002: 77-91 |
| 11 | EE | Kamel Barkaoui,
Mohamed Jmaiel,
Ali Mili:
Guest editorial.
Journal of Systems and Software 60(2): 87-89 (2002) |
| 2001 |
|---|
| 10 | EE | Bilel Gargouri,
Mohamed Jmaiel,
Abdelmajid Ben Hamadou:
An Environment for Formal Lingware Engineering.
AICCSA 2001: 451-453 |
| 9 | EE | Bilel Gargouri,
Mohamed Jmaiel,
Abdelmajid Ben Hamadou:
An Environment for Formal Specification and Verification of Lingware.
IEA/AIE 2001: 539-545 |
| 8 | 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 |
| 7 | | Walid Chainbi,
Abdelmajid Ben Hamadou,
Mohamed Jmaiel:
A Belief-Goal-Role Theory for Multiagent Systems.
IJPRAI 15(3): 435-450 (2001) |
| 2000 |
|---|
| 6 | EE | Mohamed Jmaiel:
A Unified Algebraic Framework for Specifying Communication Protocols.
ICFEM 2000: 57-66 |
| 1999 |
|---|
| 5 | | Bilel Gargouri,
Mohamed Jmaiel,
Abdelmajid Ben Hamadou:
A Formal Approach to Lingware Development.
IEA/AIE 1999: 859-868 |
| 1998 |
|---|
| 4 | | Bilel Gargouri,
Mohamed Jmaiel,
Abdelmajid Ben Hamadou:
Vers l'utilisation des méthodes formelles pour le développement de linguiciels.
COLING-ACL 1998: 438-443 |
| 3 | | Walid Chainbi,
Mohamed Jmaiel,
Abdelmajid Ben Hamadou:
Conception, Behavioral Semantics and Formal Specification of Multi-Agent Systems.
DAI 1998: 16-28 |
| 1996 |
|---|
| 2 | EE | Mohamed Jmaiel:
Specification of communication protocols using temporal logic.
Journal of Systems and Software 33(3): 299-312 (1996) |
| 1995 |
|---|
| 1 | | Mohamed Jmaiel:
An algebraic-temporal specification of a CSMA/CD-protocol.
PSTV 1995: 187-202 |
