communications dans des conferences nationales
- N. Ouroua, M. Ioualalen, Use of formal models in Computer Science Security: Modeling of dos Attack, CGE’08, 8ème conference sur le Génie Electrique, EMP, 16-17 Avril, 2013 Alger.
- N. Ouroua, M. Ioualalen, Use of formal models in Computer Science Security: Modeling of SYN/TCP Attack and performances evaluation, Workshop International EPQoS’2013,, 5 ET 6 Mai, Bejaia 2013.
- N. Ouroua, M. Ioualalen, Utilisation des modèles formels dans la sécurité informatique, AID'2012, Mai ,USTHB.
- M. Taibi. Formalisation des SMA par les RdP: Application à l'étude d'un système E-commerce. Cinquièmes Journées Scientifiques du Laboratoire des Systèmes Informatiques - L.S.I 2011, Alger.
- M. Taibi, M. Ioualaen, M.C. Boukala, Distributed Performance Evaluation, 02-04 Novembre 2010, SNIB'2010, Biskra.
- M. Taibi. Distributed Performance Evaluation, Quatrièmes Journées Scientifiques du Laboratoire des Systèmes Informatiques - L.S.I 2010, Alger.