|
 
|
Zaïdi Sahnoun
Publications
2016
- [DBS16] A. Dib, K. Barkaoui, Z. Sahnoun. "Specification and verification of reconfigurable multi-agent system architectures", Multiagent and Grid Systems, vol. 12(2), pp. 105-124, 2016
Revue Internationale avec comité de lecture
2010
- [KSB10] Y. Kissoum, Z. Sahnoun, K. Barkaoui. "Model-based testing approach for mobile agents using the paradigm of reference net", Multiagent and Grid Systems, vol. 6(4), pp. 271-292, 2010
Revue Internationale avec comité de lecture
2009
- [KSB09] Y. Kissoum, Z. Sahnoun, K. Barkaoui. "An Approach for Testing Mobile Agents Using the Nets within Nets Paradigm", RCIS'09, 3rd IEEE International Conference on Research Challenges in Information Science, Fez, Morocco, April 22-24, April 2009, pp.207-216, Series IEEE,
Conférence Internationale avec comité de lecture
2005
- [KBS05] L. Kahloul, K. Barkaoui, Z. Sahnoun. "Using AUML to derive formal modelling agents interactions", AICCSA'05, 3rd ACS/IEEE Int. Conf. on Computer Systems and Applications, Cairo, Egypt, January 2005, pp.109-116, Series IEEE,
Conférence Internationale avec comité de lecture
2003
- [BSa03] K. Barkaoui, Z. Sahnoun. "Distance Learning as Opportunity for Improving Quality Learning", 4th IEEE Int'l. Conf. on Information Technology Based Higher Education and Training, Maroc, January 2003,
-
[SBB03]
H. Sebih, K. Barkaoui, M. Bettaz, F. Belala, Z. Sahnoun.
"Towards a Temporal Logic Tau LTL for the Verification of Rewriting Theories Denoting ECATNets",
1st Int'l Workshop on Automated Technology for Verification and Analysis (ATVA'03), Taiwan,,
January 2003,
Conférence Internationale avec comité de lecture
2002
- [BSS02] K. Barkaoui, R. Seghiri, Z. Sahnoun. "Agent Based Software Process Modeling Using Object Oriented Petri Nets", EurAsian Workshop on Agents for Information Management (EURASIA-ICT), Shiraz, Iran, January 2002,
