Mohamed Jmaiel

	2012
88		Imene Lahyani, Nesrine Khabou, Mohamed Jmaiel: QoS Monitoring and Analysis Approach for Publish/Subscribe Systems Deployed on MANET. PDP 2012: 120-124
87		Slim Kallel, Mohamed Hadj Kacem, Mohamed Jmaiel: Modeling and enforcing invariants of dynamic software architectures. Software and System Modeling 11(1): 127-149 (2012)
	2011
86		Imene Lahyani, Mohamed Jmaiel: Experimentations for QoS Evaluation of Publish/Subscribe Systems Deployed on Ad-hoc Network. AINA Workshops 2011: 676-681
85		Afef Mdhaffar, Riadh Ben Halima, Ernst Juhnke, Mohamed Jmaiel, Bernd Freisleben: AOP4CSM: An Aspect-Oriented Programming Approach for Cloud Service Monitoring. CIT 2011: 363-370
84		Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel: Towards a Model-Based Approach for Reconfigurable DRE Systems. ECSA 2011: 295-302
83		Olfa Bouchaala, Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel: Graph-based Management of Communities of Web Service Registries. WEBIST 2011: 61-70
82		Olfa Bouchaala, Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel: Modeling and Managing Communities of Web Service Registries. WEBIST (Selected Papers) 2011: 88-102
81		Khalil Drira, Mohamed Jmaiel: Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures Track Report - AROSA 2011. WETICE 2011: 59-60
80		Soumaya Marzouk, Mohamed Jmaiel: A survey on software checkpointing and mobility techniques in distributed systems. Concurrency and Computation: Practice and Experience 23(11): 1196-1212 (2011)
	2010
79		Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel: NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31 - June 2, 2010, Proceedings IEEE 2010
78		Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel: Using Recommendation to Limit Search Space in Web Services Discovery. AINA 2010: 974-981
77		Kaouthar Fakhfakh, Saïd Tazi, Khalil Drira, Tarak Chaari, Mohamed Jmaiel: Implementing and Testing a Semantic-Driven Approach Towards a Better Comprehension Between Service Consumers and Providers. AINA Workshops 2010: 183-188
76		Sihem Loukil, Slim Kallel, Bechir Zalila, Mohamed Jmaiel: Toward an Aspect Oriented ADL for Embedded Systems. ECSA 2010: 489-492
75		Emna Fki, Chantal Soulé-Dupuy, Saïd Tazi, Mohamed Jmaiel: Intention Driven Service Composition with Patterns. ICEIS (3) 2010: 236-241
74		Soumaya Marzouk, Afef Jmal Maâlej, Mohamed Jmaiel: Aspect-Oriented Checkpointing Approach of Composed Web Services. ICWE Workshops 2010: 301-312
73		Afef Mdhaffar, Soumaya Marzouk, Riadh Ben Halima, Mohamed Jmaiel: A Runtime Performance Analysis for Web Service-Based Applications. ICWE Workshops 2010: 313-324
72		Monia Ben Brahim, Maher Ben Jemaa, Mohamed Jmaiel: Security Mapping to Enhance Matching Fine-Grained Security Policies. NDT (1) 2010: 183-196
71		Soumaya Marzouk, Mohamed Jmaiel: Low cost checkpoint/rollback solution for strong mobility of orchestrated Web services. NOTERE 2010: 345-350
70		Mohammed Nadhmi Miladi, Fatma Krichen, Mohamed Jmaiel, Khalil Drira: A UML Based Deployment and Management Modeling for Cooperative and Distributed Applications. SERA (selected papers) 2010: 87-101
69		Nabil Baklouti, Sonia Bouaziz, Bilel Gargouri, Chafik Aloulou, Mohamed Jmaiel: Towards the reuse of lingware systems: a proposed approach with a practical experiment. iiWAS 2010: 566-572
68		Riadh Ben Halima, Emna Fki, Khalil Drira, Mohamed Jmaiel: A large-scale monitoring and measurement campaign for web services-based applications. Concurrency and Computation: Practice and Experience 22(10): 1207-1222 (2010)
67		Kaouthar Fakhfakh, Tarak Chaari, Saïd Tazi, Mohamed Jmaiel, Khalil Drira: ODACE SLA: Ontology Driven Approach for Automatic Establishment of Service Level Agreements. IJSSOE 1(3): 1-20 (2010)
66		Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel: An Integration Ontology for Components Composition. IJWP 2(3): 35-42 (2010)
65		Ismael Bouassida Rodriguez, Khalil Drira, Christophe Chassot, Karim Guennoun, Mohamed Jmaiel: A rule-driven approach for architectural self adaptation in collaborative activities using graph grammars. Int. J. Auton. Comp. 1(3): 226-245 (2010)
64		Imen Loulou, Mohamed Jmaiel, Khalil Drira, Ahmed Hadj Kacem: P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration. Journal of Systems and Software 83(3): 412-428 (2010)
	2009
63		Slim Kallel, Anis Charfi, Tom Dinkelaker, Mira Mezini, Mohamed Jmaiel: Specifying and Monitoring Temporal Properties in Web Services Compositions. ECOWS 2009: 148-157
62		Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Karl Klose: From Formal Access Control Policies to Runtime Enforcement Aspects. ESSoS 2009: 16-31
61		Mohammed Nadhmi Miladi, Ikbel Krichen, Mohamed Jmaiel, Khalil Drira: An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures. FSEN 2009: 439-446
60		Mohamed Heni Frikha, Mohamed Jmaiel, Walid Mahdi: A collaborative distributed video indexing. ICTA 2009: 383-386
59		Amina Chaabane, Mohamed Jmaiel: Security aware content-based publish/subscribe system. ISCC 2009: 538-543
58		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
57		Amina Chaabane, Mohamed Jmaiel: A Secure Content-Based Publish/Subscribe Middleware. ITNG 2009: 619-622
56		Soumaya Marzouk, Afef Jmal Maâlej, Ismael Bouassida Rodriguez, Mohamed Jmaiel: Periodic Checkpointing for Strong Mobility of Orchestrated Web Services. SERVICES I 2009: 203-210
55		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
54		Mohamed Jmaiel, Mohamed Mosbah: CRiSIS '08, Third International Conference on Risks and Security of Internet and Systems, Tozeur, Tunesia, October 28-30, 2008 IEEE 2008
53		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
52		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
51		Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Mohamed Mosbah: A formal security framework for mobile agent systems: Specification and verification. CRiSIS 2008: 69-76
50		Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel: Aspect-based enforcement of formal delegation policies. CRiSIS 2008: 9-17
49		Ismael Bouassida Rodriguez, Karim Guennoun, Khalil Drira, Christophe Chassot, Mohamed Jmaiel: Implementing a rule-driven approach for architectural self configuration in collaborative activities using a graph rewriting formalism. CSTST 2008: 484-491
48		Najla Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira: Towards modelling and analysis of a coordination protocol for dynamic software adaptation. CSTST 2008: 499-507
47		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
46		Riadh Ben Halima, Khalil Drira, Mohamed Jmaiel: A QoS-Oriented Reconfigurable Middleware for Self-Healing Web Services. ICWS 2008: 104-111
45		Soumaya Marzouk, Mohamed Jmaiel: Towards Making WSRF Based Web Services Strongly Mobile. WETICE 2008: 192-197
44		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)
43		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)
42		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)
41		Slim Kallel, Anis Charfi, Mohamed Jmaiel: Using Aspects for Enforcing Formal Architectural Invariants. Electr. Notes Theor. Comput. Sci. 215: 5-21 (2008)
	2007
40		Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel: Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants. COORDINATION 2007: 211-230
39		Soumaya Marzouk, Maher Ben Jemaa, Mohamed Jmaiel: A Serialisation Based Approach for Processes Strong Mobility. DAIS 2007: 153-166
38		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
37		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
36		Soumaya Marzouk, Maher Ben Jemaa, Mohamed Jmaiel: A serialization based approach for strong mobility of shared object. PPPJ 2007: 237-242
35		Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel: A Distributed Computational Model for Mobile Agents. PRIMA 2007: 416-421
34		Monia Loulou, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Jmaiel: A Formal Approach to prevent Attacks on Mobile Agent Systems. SECURWARE 2007: 42-47
33		Riadh Ben Halima, Khalil Drira, Mohamed Jmaiel: A QoS-Driven Reconfiguration Management System Extending Web Services with Self-Healing Properties. WETICE 2007: 339-344
32		Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel: SEC+: an enhanced search engine for component-based software development. ACM SIGSOFT Software Engineering Notes 32(4): (2007)
31		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
30		Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira: Compositional specification of event-based software architectural styles. AICCSA 2006: 337-344
29		Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira: Describing dynamic software architectures using an extended UML model. SAC 2006: 1245-1249
28		Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel: SEC: a search engine for component based software development. SAC 2006: 1745-1750
27		Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira: An UML-Based Approach for Validation of Software Architecture Descriptions. TEAA 2006: 158-171
26		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
25		Hany Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel: A formal model for mobile agent systems using Z. AICCSA 2005: 113
24		Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel: Towards a formal methodology for developing multi-agent applications using temporal Z. AICCSA 2005: 123
23		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
22		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
21		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
20		Riadh Ben Halima, Mohamed Jmaiel, Khalil Drira: Graphical simulation of the dynamic evolution of the software architectures specified in Z. IWPSE 2005: 45-48
19		Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel: Towards a Formal Methodology for Designing Multi-agent Applications. MATES 2005: 153-164
	2004
18		Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel: Specification and Verification of Multi-Agent Applications using Temporal Z. IAT 2004: 260-266
17		Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel: Formalization of Cooperation in MAS: Towards a Generic Conceptual Model. IBERAMIA 2004: 43-52
16		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
15		Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel: Specification and Design of Multi-agent Applications Using Temporal Z. PRIMA 2004: 228-242
	2003
14		Mohamed Jmaiel, Peter Pepper: Development of communication protocols using algebraic and temporal specifications. Computer Networks 42(6): 737-764 (2003)
13		Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou: An approach to the formal specification of lingware. Natural Language Engineering 9(3): 211-230 (2003)
	2002
12		Mohamed Jmaiel, Ahmed Hadj Kacem: An Operational Semantics for Negotiating Agents. PRIMA 2002: 77-91
11		Kamel Barkaoui, Mohamed Jmaiel, Ali Mili: Guest editorial. Journal of Systems and Software 60(2): 87-89 (2002)
	2001
10		Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou: An Environment for Formal Lingware Engineering. AICCSA 2001: 451-453
9		Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou: An Environment for Formal Specification and Verification of Lingware. IEA/AIE 2001: 539-545
8		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		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		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	[37]
2	Chafik Aloulou	[69]
3	Nabil Baklouti	[69]
4	Kamel Barkaoui	[11]
5	Sonia Bouaziz	[69]
6	Olfa Bouchaala	[82] [83]
7	Achraf Boukhris	[53]
8	Monia Ben Brahim	[72]
9	Amina Chaabane	[57] [59]
10	Tarak Chaari	[67] [77]
11	Walid Chainbi	[3] [7]
12	Anis Charfi	[40] [41] [50] [62] [63]
13	Christophe Chassot	[42] [49] [55] [65]
14	Michel Diaz	[8]
15	Tom Dinkelaker	[63]
16	Khalil Drira	[8] [16] [20] [21] [22] [23] [27] [28] [29] [30] [32] [33] [38] [42] [43] [44] [46] [48] [49] [53] [55] [58] [61] [64] [65] [66] [67] [68] [70] [77] [79] [81]
17	Kaouthar Fakhfakh	[67] [77]
18	Emna Fki	[58] [68] [75]
19	Bernd Freisleben	[85]
20	Mohamed Heni Frikha	[60]
21	Walid Gaaloul	[78] [82] [83]
22	Bilel Gargouri	[4] [5] [9] [10] [13] [37] [69]
23	Karim Guennoun	[49] [65]
24	Med Amine Haddar	[35] [47] [52]
25	Riadh Ben Halima	[20] [33] [46] [58] [68] [73] [85]
26	Abdelmajid Ben Hamadou	[3] [4] [5] [7] [8] [9] [10] [13]
27	Brahim Hamid	[84]
28	Maher Ben Jemaa	[36] [39] [72]
29	Ernst Juhnke	[85]
30	Ahmed Hadj Kacem	[8] [12] [15] [16] [17] [18] [19] [21] [22] [23] [24] [25] [26] [27] [29] [30] [31] [34] [35] [38] [47] [48] [51] [52] [64] [79]
31	Mohamed Hadj Kacem	[21] [22] [23] [27] [29] [53] [87]
32	Najla Hadj Kacem	[48]
33	Slim Kallel	[26] [40] [41] [50] [62] [63] [76] [87]
34	Nesrine Khabou	[88]
35	Emna Khemakhem	[43] [44]
36	Sofien Khemakhem	[28] [32] [43] [44] [66]
37	Karl Klose	[62]
38	Fatma Krichen	[70] [84]
39	Ikbel Krichen	[61]
40	Imene Lahyani	[86] [88]
41	Sihem Loukil	[76]
42	Hany Loulou	[25]
43	Imen Loulou	[16] [30] [38] [64]
44	Monia Loulou	[17] [34] [51]
45	Afef Jmal Maâlej	[56] [74]
46	Walid Mahdi	[60]
47	Soumaya Marzouk	[36] [39] [45] [56] [71] [73] [74] [80]
48	Afef Mdhaffar	[73] [85]
49	Yves Métivier	[35] [47] [52]
50	Mira Mezini	[40] [50] [62] [63]
51	Mohammed Nadhmi Miladi	[23] [53] [61] [70]
52	Ali Mili	[11]
53	Mohamed Mosbah	[35] [47] [51] [52] [54]
54	Peter Pepper	[14]
55	Amira Regayeg	[15] [18] [19] [24] [26] [31]
56	Ismael Bouassida Rodriguez	[42] [49] [55] [56] [65]
57	Mohamed Sellami	[78] [82] [83]
58	Chantal Soulé-Dupuy (C. Soulé-Dupuy)	[75]
59	Samir Tata	[78] [82] [83]
60	Saïd Tazi	[67] [75] [77]
61	Mohamed Tounsi	[34]
62	Thierry Villemur	[8]
63	Bechir Zalila	[76] [84]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page