|
[30]
|
S. Marzouk and M. Jmaiel. A Survey on Software Checkpointing and Mobility Techniques in Distributed Systems.
Concurrency and Computation: Practice and Experience, 23(11):1196-1212, 2011.
[ BibTeX |
DOI ]
|
|
[29]
|
S. Khemakhem, K. Drira, and M. Jmaiel.
An integration ontology for components composition.
International Journal of Web Portals (IJWP), 2(3):35-42, 2010.
[ BibTeX |
DOI ]
|
|
[28]
|
R. Ben-Halima, E. Fki, K. Drira, and M. 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 ]
|
|
[27]
|
K. Fakhfakh, T. Chaari, S. Tazi, M. Jmaiel, and I. 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 ]
|
|
[26]
|
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 ]
|
|
[25]
|
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 ]
|
|
[24]
|
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 ]
|
|
[23]
|
S. Kallel, M. Hajd Kacem, and M. Jmaiel.
Modeling and enforcing invariants of dynamic software
architectures.
Software and Systems Modeling, pages 23, April 2010.
[ BibTeX |
DOI ]
|
|
[22]
|
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 ]
|
|
[21]
|
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 ]
|
|
[20]
|
S. Kallel, A. Charfi, M. Mezini, and M. Jmaiel.
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 ]
|
|
[19]
|
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, December 2009.
[ BibTeX |
DOI ]
|
|
[18]
|
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 ]
|
|
[17]
|
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 ]
|
|
[16]
|
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]
|
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 ]
|
|
[14]
|
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 ]
|
|
[13]
|
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 ]
|
|
[12]
|
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 ]
|
|
[11]
|
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 |
DOI ]
|
|
[10]
|
M. Jmaiel.
Guest editorial.
International Journal of Computing & Information Sciences,
5(1):1-3, April 2007.
[ BibTeX |
PDF ]
|
|
[9]
|
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 ]
|
|
[8]
|
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 ]
|
|
[7]
|
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 ]
|
|
[6]
|
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 ]
|
|
[5]
|
Kamel Barkaoui, Mohamed Jmaiel, and Ali Mili.
Guest editorial.
Journal of Systems and Software, 60(2):87-89, 2002.
[ BibTeX |
DOI ]
|
|
[4]
|
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 ]
|
|
[3]
|
M. Jmaiel and P. Pepper.
Development of communication protocols using algebraic and temporal
specifications.
Computer Networks Journal, 42:737-764, 2003.
[ BibTeX |
DOI ]
|
|
[2]
|
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 ]
|
|
[1]
|
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 ]
|
