Publications

[1]	Riadh Ben-Halima, Emna Fki, Khalil Drira, and Mohamed Jmaiel. A large-scale monitoring and measurement campaign for web services-based applications. Concurrency and Computation: Practice and Experience, 22(10):1207-1222, May 2010. [ BibTeX \| DOI ]
[2]	K. Fakhfakh, T. Chaari, S. Tazi, M. Jmaiel, and Ikbel Guidara. Modélisation et alignement sémantique des intentions des clients avec les offres des fournisseurs. revue des nouvelles technologies RNTI L5 CAL 2010, pages pp. 87-99, 2010. [ BibTeX ]
[3]	K. Fakhfakh, T. Chaari, S. Tazi, K. DRIRA, and M. Jmaiel. ODACE SLA: Ontology Driven Approach for automatic Establishment of Service Level Agreements. International Journal of Systems and Service-Oriented Engineering 2010, 1(3), 2010. [ BibTeX ]
[4]	I. BOUASSIDA, K. GUENNOUN, DRIRA K., C. CHASSOT, and M. JMAIEL. A rule-driven approach for architectural self adaptation in collaborative activities using graph grammars. International Journal of Autonomic Computing (IJAC), 1(3):226-245, 2010. [ BibTeX \| DOI ]
[5]	I. BOUASSIDA, K. DRIRA, C. CHASSOT, and M. JMAIEL. An architectural refinement model for group-wide communications with priorities applied to the ROSACE project senario. International Transactions on Systems Science and Applications, 6(1), 2010. [ BibTeX ]
[6]	I. BOUASSIDA, C. CHASSOT, and M. JMAIEL. Graph grammar-based transformation for context-aware architectures supporting group communication. Revue des Nouvelles Technologies de l'Information, L(19):29-42, 2010. [ BibTeX ]
[7]	Slim Kallel, Mohamed Hajd Kacem, and Mohamed Jmaiel. Modeling and enforcing invariants of dynamic software architectures. Software and Systems Modeling, page 23, April 2010. [ BibTeX \| DOI ]
[8]	I. Boaussida, K. Drira, Ch. Chassot, K. Guennoun, and M.Jmaiel. A rule-driven approach for architectural self adaptation in collaborative activities using graph grammars. International Journal of Autonomic Computing, 1:226-245, 2010. [ BibTeX \| DOI ]
[9]	I. Loulou, M. Jmaiel, K. Drira, and A. 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, March 2010. [ BibTeX \| DOI ]
[10]	M.Loulou, M.Jmaiel, and M.Mosbah. Dynamic security framework for mobile agent systems: specification, verification and enforcement. International Journal of Information and Computer Security, 3(3/4):321-336, 2009. [ BibTeX \| DOI ]
[11]	Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, and Andreas Sewe. A Holistic Approach for Access Control Policies: from Formal Specification to Aspect-Based Enforcement. International Journal of Information and Computer Security, 3(3/4):337 - 354, December 2009. [ BibTeX \| DOI ]
[12]	I. Lahyani, S. Marzouk, and M Jmaiel. Qos aware publish/subscribe system deployed on a mobile ad-hoc network. Communications of SIWN - The Systemics and Informatics World Network, 7:84-90, 2009. [ BibTeX ]
[13]	M. A. Haddar, A. Hadj-Kacem, Y. Métivier, M. Mosbah, and M. Jmaiel. A distributed computational model for mobile agents. International Journal of Grid Computing and Multi Agent Systems (GCMAS), 1(1):1-26, 2009. [ BibTeX ]
[14]	K. Fakhfakh, T. Chaari, S. Tazi, K. Drira, and M. Jmaiel. Semantic enabled framework for sla monitoring. International Journal on Advances in Software, 2:36-34, 2009. [ BibTeX \| DOI ]
[15]	M. Ben Jemaa, N. Abid, M. Laurent-Maknavicius, and H. Chaouchi. Experimental measurements of host identity protocol for mobile nodes networks. 2009. [ BibTeX ]
[16]	M. Ben Jemaa, M. Kallel Zouari, and B. Zouari. A new approach to services differentiation between mobile terminals of a wireless LAN . 2009. [ BibTeX ]
[17]	S. Kallel, A. Charfi, and M. Jmaiel. Using aspects for enforcing formal architectural invariants. Electronic Notes in Theoretical Computer Science, 215:5-21, 2008. [ BibTeX \| DOI ]
[18]	S. Khemakhem, K. Drira, E. Khemakhem, and M. Jmaiel. An experimental evaluation of sec+, an enhanced search engine for component-based software development. SIGSOFT Softw. Eng. Notes, 33(4):1-3, 2008. [ BibTeX \| DOI ]
[19]	R. Ben-Halima, K. Guennoun, K. Drira, and M. Jmaiel. Providing predictive self-healing for web services: a qos monitoring and analysis-based approach. Journal of Information Assurance and Security (JIAS), 3(3):175-184, 2008. [ BibTeX \| DOI ]
[20]	S. Khemakhem, K. Drira, and M. Jmaiel. SEC+: an enhanced search engine for component-based software development. SIGSOFT Software Engineering Notes, 32(4):1-6, 2007. [ BibTeX \| DOI ]
[21]	A. Hadj-Kacem and N. Hadj-Kacem. From formal specification to model cheking of mas unsing csp-z and spin. International Journal of Computing & Information Sciences, 5(1):35-46, April 2007. [ BibTeX \| PDF ]
[22]	M. Jmaiel. Guest editorial. International Journal of Computing & Information Sciences, 5(1):1-3, April 2007. [ BibTeX \| PDF ]
[23]	I. Bouassida, K. Drira, Ch. Chassot, and M. Jmaiel. Context-aware adaptation for group communication support applications with dynamic architecture. -System and Information Sciences Notes, 2(1):88-92, 2007. [ BibTeX \| DOI ]
[24]	A. Regayeg, S. Kallel, A. Hadj-Kacem, and M. Jmaiel. Formaad method: An experimental design for air traffic control. International Transactions on Systems Science and Applications, 1(4):327-334, 2006. Electronic Journal. [ BibTeX \| DOI ]
[25]	A. Hadj-Kacem, A. Regayeg, and M. Jmaiel. Formaad: A formal method for agent-based application design. Journal of Web Intelligence and Agent Systems, 5(4):216-334, 2007. [ BibTeX \| DOI ]
[26]	Gérard H. E. Duchamp, Hatem Hadj Kacem, and Eric Laugerotte. Algebraic elimination of epsilon-transitions. Discrete Mathematics and Theoretical Computer Science, 7(1):51-70, 2005. [ BibTeX \| PDF ]
[27]	I. Loulou, A. Hadj-Kacem, M. Jmaiel, and K. Drira. Approche formelle intégrée pour la spécification des architectures dynamiques orientées composants. Information Sciences for Decision Making, Special Issue of The 8th MCSEAI'04, (19):29-42, 2005. Electronic Journal. [ BibTeX \| PDF ]
[28]	Kamel Barkaoui, Mohamed Jmaiel, and Ali Mili. Guest editorial. Journal of Systems and Software, 60(2):87-89, 2002. [ BibTeX \| DOI ]
[29]	B. Gargouri, M. Jmaiel, and A. Ben-Hamadou. An approach to the formal specification of lingware. Natural Language Engineering, 9(3):211-230, July 2003. [ BibTeX \| DOI ]
[30]	M. Jmaiel and P. Pepper. Development of communication protocols using algebraic and temporal specifications. Computer Networks Journal, 42:737-764, 2003. [ BibTeX \| DOI ]
[31]	W. Chainbi, A. Ben-Hamadou, and M. Jmaiel. A belief-goal-role theory for multiagent systems. International Journal of Pattern Recognition and Artificial Intelligence, 15(3):435-450, May 2001. [ BibTeX \| DOI ]
[32]	M. Jmaiel. Specification of communication protocols using temporal logic. Journal of Systems and Software, Special Issue on Software Engineering for Distributed Systems, 33(3):299-312, June 1996. [ BibTeX \| DOI ]

Print this