| [] | I. Loulou, M. Jmaiel, A. Hadj-Kacem, and K. Drira. P/S-com: Building correct by design
publish/subscribe architectural styles with safe reconfiguration. Journal of
Systems and Software - (JSS), Volume 83(3): 412–428, March 2010. ISSN: 0164-1212.
Elsevier Publisher.
|
| [] | N. Hadj Kacem, A. Hadj Kacem, and K. Drira. An Approach to Building Self-
Adaptative Software in Distributed Systems. Communications of SIWN, Volume 7:
119–126, May 2009. ISSN 1757-4439. Published by Foresight Academy of Technology
|
| [] | 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.
|
| [] | N. Hadj Kacem, A. Hadj Kacem, and K. Drira. A formal model of a multi-step
coordination protocol for self-adaptive software using coloured petri nets. International
Journal of Computing and Information Sciences - (IJCIS), 2009. ISSN 1708-0460. to
appear
|
| [] |
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):435--454, 2007. |
| [] |
A. Hadj Kacem and N. Hadj Kacem. From formal specification to model checking of
MAS using CSP-Z and SPIN. International Journal of Computing and Information
Sciences - (IJCIS), 5(1):35–44, April 2007. ISSN 1708-0460.
|
| [] |
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. |
| [] |
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 MCSEAI'04, (19):29--42, 2005. |
| [] |
H. Aloulou, M. Loulou, S. Kallel, A. Hadj-Kacem, and M. Jmaiel. Rdymass: Reliable and dynamic
enforcement of security policies for mobile agent systems. In The second international
workshop on autonomous and spontaneous security (SETOP 2009), volume 5939 of Lecture Notes in computer sciences, pages 237-252, Saint-Malo, France, 2010. Springer-Verlag. |
| [] |
M. A. Haddar, A. Hadj-Kacem, Y. Métivier, M. Mosbah, and M. Jmaiel. A distributed
computational model for mobile agents. In A. Ghose, G. Governatori, and R. Sadananda,
editors, Proceedings of the 10th International Conference on Principals of Practice in
Multi-Agent Systems PRIMA 2007, volume 5044 of Lecture Notes in Artificial Intelligence,
pages 416–421. Springer-Verlag, 2009. |
| [] |
M. A. Haddar, A. Hadj Kacem, Y. Métivier, M. Mosbah, and M. Jmaiel.
Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous
Networks. In Proceedings of the 9th International Conference on Distributed Computing
and Networking (ICDCN'08), volume 4904 of Lecture Notes in Computer Sciences,
pages 286--291, Kolkata, India, January 2008. Springer-Verlag. |
| [] |
I. Loulou, A. Hadj Kacem, M. Jmaiel, and K. Drira. Formal Design of Structural and
Dynamic Features of Publish/Subscribe Architectural Styles. In Proceedings of the First
European Conference on Software Architecture (ECSA'07), volume 4758 of Lecture Notes
in Computer Science, pages 44--59, Madrid - Spain, September 2007. Springer-Verlag. |
| [] |
M. Hadj Kacem, A. Hadj Kacem, M. Jmaiel, and K. Drira. An UML-based approach
for validation of software architecture descriptions. In Proceedings of the International
Conference on Trends in Enterprise Application Architecture (TEAA'06), volume 3956 of
Lecture Notes in Computer Sciences, pages 153--164, November 2006. Springer-Verlag. |
| [] |
A. Regayeg, A. Hadj Kacem, and M. Jmaiel. Towards a formal methodology for designingmulti-agent applications. In Proceedings of the third German Conference on Multi-Agent
Technologis (MATES'05), volume 3550 of Lecture Notes in Artificial Intelligence, pages
153--164, September 2005. Springer-Verlag. |
| [] |
A. Regayeg, A. Hadj Kacem, and M. Jmaiel. Towards a formal methodology for designing
multi-agent applications. In Proceedings of the third German Conference on Multi-Agent
Technologis (MATES-05), volume 3550 of Lecture Notes in Artificial Intelligence, pages
153--164, September 2005. Springer-Verlag. |
| [] |
A. Regayeg, A. Hadj Kacem, and M. Jmaiel. Specification and design of multi-agent
applications using temporal Z. In Proceedings of the Pacific Rim International Workshop
on Multi-Agents (PRIMA'04), volume 3371 of Lecture Notes in Artificial Intelligence,
pages 228--242, August 2004. Springer-Verlag. |
| [] |
M. Loulou, A. Hadj Kacem, and M. Jmaiel. Formalization of cooperation in MAS: Towards a generic conceptual model. In Proceedings of the IX Ibero-American Conference on Artificial Intelligence (IBERAMIA'05), volume 3315 of Lecture Notes in Artificial Intelligence, pages 43--52, November 2004. Springer-Verlag. |
| [] |
M. Jmaiel and A. Hadj Kacem. An operational semantics for negotiating agents. In
Intelligent Agents and Multi-Agent Systems, volume 2413 of Lecture Notes in Computer
Science, pages 79--108, August 2002. Springer-Verlag. |
| [] |
M. A. Haddar, A. Hadj-Kacem, Y. Metivier, M. Mosbah, and M. Jmaiel. Fault tolerant
distributed algorithms for mobile agents. In Proceedings of the 9th International Conference on New Technologies
for Distribution (NOTERE'09), pages 108--117, Montreal - Canada, July 2009. |
| [] |
I. Loulou, I. Tounsi, M. Hadj-Kacem, A. Hadj-Kacem, and M. Jmaiel. A formal architecture-
centric approach for safe self-repair. In In Second International Conference on Web and
Information Technologies (ICWIT’09), Kerkennah Island, Sfax, Tunisia, June 2009. |
| [] |
I. Loulou, I. Tounsi, M. Hadj-Kacem, A. Hadj-Kacem, and M. Jmaiel. Making sound
policies for self-healing systems. 9th International Conference on New Technologies
for Distribution (NOTERE'09), pages 178--185, Montreal - Canada, July
2009. |
| [] |
N. Hadj Kacem, A. Hadj Kacem, M. Jmaiel, and K. Drira. Towards modelling and analysis
of a coordination protocol for dynamic software adaptation. In CSTST ’08: Proceedings
of the 5th international conference on Soft computing as transdisciplinary science and
technology, pages 499–507, New York, NY, USA, 2008. ACM. |
| [] |
M. A. Haddar, A. Hadj Kacem, Y. Métivier, M. Mosbah, and M. Jmaiel. Electing a
Leader in the Local Computation Model Using Mobile Agents. In Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'08), pages 473-480, Doha, Qatar, April 2008. |
| [] |
I. Loulou, A. Hadj Kacem, M. Jmaiel, and K. Drira. Consistent Reconfiguration for Publish/Subscribe Architecture Styles. In Proceedings of the 1st International Workshop
on Verification and Evaluation of Computer and Communication Systems, Algiers, Algeria,
May 2007. Electronic Workshops in Computing EWIC Series, The British Computer
Society. |
| [] |
M. Loulou, M. Tounsi, A. Hadj Kacem, M. Jmaiel, and M. Mosbah. A formal approach to prevent attacks on mobile agent systems. In Proceedings of the International Conference on
Emerging Security Information, Systems and Technologies, pages 42--47, Valencia, Spain,
2007. IEEE Computer Society. |
| [] |
I. Loulou, A. Hadj Kacem, M. Jmaiel, and K. Drira. A formally specified framework for elaborating event-based architectural styles correct by design. In Proceedings of the 9th
Maghrebian Conference on Software Engineering and Artificial Intelligence (MCSEAI'06),
pages 132--138, Agadir, Morocco, December 2006. |
| [] |
M. Loulou, A. Hadj Kacem, M. Jmaiel, and M. Mosbah. A conceptual model for secure
mobile agent systems. In Proceedings of the IEEE International Conference on Computational
Intelligence and Security (CIS06), Bejing, China, 3-6 November 2006. |
| [] |
I. Loulou, A. Hadj Kacem, M. Jmaiel, and K. Drira. Compositional specification of eventbased software architectural styles. In Proceedings of the 4th ACS/IEEE International
Conference on Computer Systems and Applications (AICCSA'06), Dubai/Sharjah, UAE,
March 2006. |
| [] |
M. Hadj Kacem, A. Hadj Kacem, M. Jmaiel, and K. Drira. Describing dynamic software
architecture using an extended UML model. In Proceeding of the 2006 ACM Symposium
on Applied Computing : Session track Model Transformation, pages 1245--1249, Dijon,
France, April 2006. ACM SIGAPP, ACM.
|
| [] |
M. Hadj Kacem, M. Jmaiel, A. Hadj Kacem, and K. Drira. Evaluation and comparison of ADL based approaches for the description of dynamic software architectures. In Proceedings
of the 7th International Conference on Enterprise Information Systems ICEIS'05,
Miami, USA, May 2005. |
| [] |
M. Hadj Kacem, M. Jmaiel, A. Hadj Kacem, and K. Drira. Using UML2.0 and graph
grammars for describing the dynamic software architectures. In Proceedings of the IEEE
International Conference on Information Technology and Applications ICITA'05, Sydney,
Australia, July 2005. |
| [] |
M. Loulou, A. Hadj-Kacem, and M. Jmaiel. A formal model for mobile agent systems
using Z. In Proccedings of the 3rd ACS/IEEE International Conference on Computer
Systems and Applications (AICCSA'05), Cairo, Egypt, January 2005. |
| [] |
A. Regayeg, A. Hadj-Kacem, and M. Jmaiel. Towards a formal methodology for developing multi-agent applications using temporal Z. In Proceedings of the 3rd ACS/IEEE
International Conference on Computer Systems and Applications (AICCSA'05), Cairo,
Egypt, January 2005. |
| [] |
M. Loulou, A. Hadj Kacem, and M. Jmaiel. Agent et SMA: Modélisation de la coopération et de la négociation selon la notation Z. In Proceedings of the 8th Maghrebian Conference on Software Engineering and Artificial Intelligence, Sousse, Tunisia, May 2004. |
| [] |
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. In Proceedings of the
8th Maghrebian Conference on Software Engineering and Artificial Intelligence, Sousse,
Tunisia, May 2004. |
| [] |
I. Loulou, A. Hadj Kacem, M. Jmaiel, and K. Drira. Toward a unified graph-based framework for dynamic component-based architectures descriptionin Z. In Proceedings of the
IEEE/ACS International Conference on Pervasive Services (ICPS'2004), Beirut, Lebanon,
July 2004. |
| [] |
A. Regayeg, A. Hadj Kacem, and M. Jmaiel. Specification and verification of multi-agent applications using temporal Z. In Proceedings of the IEEE/WIC/ACM International
Conference on Intelligent Agent Technology 2004 (IAT'2004), Beijing, China, September
2004. |
| [] |
A. Jmal, M. Jmaiel, and A. Hadj Kacem. Support de communication asynchrone dédié aux agents distribués. Actes des Journées Scientifiques Francophones JSF'03 en Electronique,
Télécommunication et Informatique, Tozeur, Tunisie, Décembre 2003. |
| [] |
M. Jmaiel, A. Hadj-Kacem, and A. Regayeg. An operational semantics dedicated to the
coordination of cooperating agents. In Proceedings of the IEEE International Conference
on Systems, Man and Cybernetics, Hammamet, Tunisia, October 2002. |
| [] |
A. Hadj-Kacem and M. Jmaiel. A formal negotiation model for cooperating agents. In Proceedings of the AAAI Workshop on Negotiation Methods for Autonomous Cooperative
Systems, North Falmouth, Massachusetts, USA, November 2001. |
| [] |
M. Jmaiel and A. Hadj Kacem. A formal definition of cooperation and agency among
multi-agent systems. In Proceedings of the International Conference on Artificial and
Computational Intelligence for Decision, Control and Automation in Engineering and Industrial
Applications, Monastir, Tunisia, March 2000. |
| [] |
A. Hadj-Kacem and M. Jmaiel. Towards a formal definition of the cooperation among
multi-agent systems. In Proceedings of the first IFAC Workshop on Multi-Agent-Systems
in production, Vienna, Austria, December 1999. |
