Mohamed Jmaiel Vis

*	2009
52	EE	Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Karl Klose: From Formal Access Control Policies to Runtime Enforcement Aspects. ESSoS 2009: 16-31
51	EE	Amina Chaabane, Mohamed Jmaiel: Security aware content-based publish/subscribe system. ISCC 2009: 538-543
50	EE	Riadh Ben Halima, Emna Fki, Khalil Drira, Mohamed Jmaiel: Experiments results and large scale measurement data for web services performance assessment. ISCC 2009: 83-88
49	EE	Ismael Bouassida Rodriguez, Khalil Drira, Christophe Chassot, Mohamed Jmaiel: A model-based multi-level architectural reconfiguration applied to adaptability management in context-aware cooperative communication support systems. WICSA/ECSA 2009: 353-356
	2008
48	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
47	EE	Med 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
46	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
45	EE	Riadh Ben Halima, Khalil Drira, Mohamed Jmaiel: A QoS-Oriented Reconfigurable Middleware for Self-Healing Web Services. ICWS 2008: 104-111
44	EE	Soumaya Marzouk, Mohamed Jmaiel: Towards Making WSRF Based Web Services Strongly Mobile. WETICE 2008: 192-197
43	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)
42	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)
41	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)
40	EE	Slim Kallel, Anis Charfi, Mohamed Jmaiel: Using Aspects for Enforcing Formal Architectural Invariants. Electr. Notes Theor. Comput. Sci. 215: 5-21 (2008)
	2007
39	EE	Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel: Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants. COORDINATION 2007: 211-230
38	EE	Soumaya Marzouk, Maher Ben Jemaa, Mohamed Jmaiel: A Serialisation Based Approach for Processes Strong Mobility. DAIS 2007: 153-166
37	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
36	EE	Mehdi Ben Abderrahmen, Bilel Gargouri, Mohamed Jmaiel: LMF-QL: A Graphical Tool to Query LMF Databases for NLP and Editorial Use. LTC 2007: 279-290
35	EE	Soumaya Marzouk, Maher Ben Jemaa, Mohamed Jmaiel: A serialization based approach for strong mobility of shared object. PPPJ 2007: 237-242
34	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
33	EE	Monia Loulou, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Jmaiel: A Formal Approach to prevent Attacks on Mobile Agent Systems. SECURWARE 2007: 42-47
32	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
31	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)
30	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
29	EE	Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira: Compositional specification of event-based software architectural styles. AICCSA 2006: 337-344
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

Coauthor Index

1	Mehdi Ben Abderrahmen	[36]
2	Kamel Barkaoui	[11]
3	Achraf Boukhris	[48]
4	Amina Chaabane	[51]
5	Walid Chainbi	[3] [7]
6	Anis Charfi	[39] [40] [52]
7	Christophe Chassot	[41] [49]
8	Michel Diaz	[8]
9	Khalil Drira	[8] [15] [19] [20] [21] [22] [26] [27] [28] [29] [31] [32] [37] [41] [42] [43] [45] [48] [49] [50]
10	Emna Fki	[50]
11	Bilel Gargouri	[4] [5] [9] [10] [36]
12	Med Amine Haddar	[34] [46] [47]
13	Riadh Ben Halima	[19] [32] [45] [50]
14	Abdelmajid Ben Hamadou	[3] [4] [5] [7] [8] [9] [10]
15	Maher Ben Jemaa	[35] [38]
16	Ahmed Hadj Kacem	[8] [12] [14] [15] [16] [17] [18] [20] [21] [22] [23] [24] [25] [26] [28] [29] [30] [33] [34] [37] [46] [47]
17	Mohamed Hadj Kacem	[20] [21] [22] [26] [28] [48]
18	Slim Kallel	[25] [39] [40] [52]
19	Emna Khemakhem	[42] [43]
20	Sofien Khemakhem	[27] [31] [42] [43]
21	Karl Klose	[52]
22	Hany Loulou	[24]
23	Imen Loulou	[15] [29] [37]
24	Monia Loulou	[16] [33]
25	Soumaya Marzouk	[35] [38] [44]
26	Yves Métivier	[34] [46] [47]
27	Mira Mezini	[39] [52]
28	Mohammed Nadhmi Miladi	[22] [48]
29	Ali Mili	[11]
30	Mohamed Mosbah	[34] [46] [47]
31	Peter Pepper	[13]
32	Amira Regayeg	[14] [17] [18] [23] [25] [30]
33	Ismael Bouassida Rodriguez	[41] [49]
34	Mohamed Tounsi	[33]
35	Thierry Villemur	[8]

Colors in the list of coauthors