ReDCAD laboratory   |  ENIS   |  University of Sfax	|  My vCard
Research Unit on Development and Control of Distributed Applications

 

 

My publications indexed by DBLP

Complete list of publications

[J1]	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.
[J2]	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.

[LN1]	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.
[LN2]	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.
[LN3]	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.

[C1]	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.
[C2]	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.
[C3]	M. Jmaiel, A. Hadj-Kacem, and A. Rgaieg. 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.