Mokdad AROUS

Matière	Niveau	Spécialité
Programmation par contraintes	Master - S3	Web et Intelligence Artificielle
Théorie des langages	Licence - S4	Socle Commun Informatique L2
Projet Fin d’études	Master - S4	Génie logiciel

[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