مقداد عروس

المقياس	المستوى	التخصص
Programmation par contraintes	ماستر - S3	ويب و الذكاء الإصطناعي
Théorie des langages	ليســـانـس - S4	جذع مشترك اعلام آلي سنة 2
Projet Fin d’études	ماستر - S4	هندسة برمجية

[1]

Mokdad Arous and Djamel-Eddine Saïdouni (2013) Towards an Integrated Specification and Analysis of Functional and Temporal Properties. Part I: Functional Aspect Verification. Modeling Approaches and Algorithms for Advanced Computer Applications - Studies in Computational Intelligence , (Volume 488), 367–377, Springer International Publishing Switzerland

[1]	Mokdad Arous, Jean-Michel Ilié and Djamel-Eddine Saidouni (2012) Addressing State Space Explosion Problem in Performance Evaluation Using Maximality-based Labeled Stochastic Transition Systems. 2nd International Conference on Computer and Software Modeling - ICCSM 2012 , Cochin, India

[2]	Mokdad Arous, Djamel-Eddine Saidouni and Jean-Michel Ilié (2011) Maximality Semantics based Stochastic Process Algebra for Performance Evaluation. 1st IEEE International Conference on Communications, Computing and Control Applications (CCCA’11) March 3-5, 2011 , Hammamet, Tunisia.

[1]	Mokdad AROUS (2016) Cours de Programmation Logique. Université de Souk Ahras ,

Programmation par contraintes