| 2009 |
|---|
| 46 | EE | Slim Kallel,
Anis Charfi,
Mira Mezini,
Mohamed Jmaiel,
Karl Klose:
From Formal Access Control Policies to Runtime Enforcement Aspects.
ESSoS 2009: 16-31 |
| 2008 |
|---|
| 45 | EE | Mohammed Nadhmi Miladi,
Mohamed Hadj Kacem,
Achraf Boukhris,
Mohamed Jmaiel,
Khalil Drira:
A UML rule-based approach for describing and checking dynamic software architectures.
AICCSA 2008: 1107-1114 |
| 44 | EE | M. A. 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 |
| 43 | EE | 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 |
| 42 | EE | Riadh Ben Halima,
Khalil Drira,
Mohamed Jmaiel:
A QoS-Oriented Reconfigurable Middleware for Self-Healing Web Services.
ICWS 2008: 104-111 |
| 41 | EE | Sofien Khemakhem,
Khalil Drira,
Emna Khemakhem,
Mohamed Jmaiel:
An experimental evaluation of SEC+, an enhanced search engine for component-based software development.
ACM SIGSOFT Software Engineering Notes 33(3): (2008) |
| 40 | EE | Sofien Khemakhem,
Khalil Drira,
Emna Khemakhem,
Mohamed Jmaiel:
An experimental evaluation of SEC+, an enhanced search engine for component-based software development.
ACM SIGSOFT Software Engineering Notes 33(4): (2008) |
| 39 | EE | Ismael Bouassida Rodriguez,
Khalil Drira,
Christophe Chassot,
Mohamed Jmaiel:
Context-aware adaptation for group communication support applications with dynamic architecture
CoRR abs/0812.3716: (2008) |
| 38 | EE | Slim Kallel,
Anis Charfi,
Mohamed Jmaiel:
Using Aspects for Enforcing Formal Architectural Invariants.
Electr. Notes Theor. Comput. Sci. 215: 5-21 (2008) |
| 2007 |
|---|
| 37 | EE | Slim Kallel,
Anis Charfi,
Mira Mezini,
Mohamed Jmaiel:
Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants.
COORDINATION 2007: 211-230 |
| 36 | EE | Soumaya Marzouk,
Maher Ben Jemaa,
Mohamed Jmaiel:
A Serialisation Based Approach for Processes Strong Mobility.
DAIS 2007: 153-166 |
| 35 | 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 |
| 34 | EE | Soumaya Marzouk,
Maher Ben Jemaa,
Mohamed Jmaiel:
A serialization based approach for strong mobility of shared object.
PPPJ 2007: 237-242 |
| 33 | EE | Med Amine Haddar,
Ahmed Hadj Kacem,
Yves Métivier,
Mohamed Mosbah,
Mohamed Jmaiel:
A Distributed Computational Model for Mobile Agents.
PRIMA 2007: 416-421 |
| 32 | EE | Monia Loulou,
Mohamed Tounsi,
Ahmed Hadj Kacem,
Mohamed Jmaiel:
A Formal Approach to prevent Attacks on Mobile Agent Systems.
SECURWARE 2007: 42-47 |
| 31 | 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 |
| 30 | 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) |
| 29 | EE | 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 |
|---|
| 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 |
