Mokdad AROUS

Mokdad AROUS graduated in Computer Science at the University of Mentouri of Constantine, Algeria, and he obtained his BEng degree in June 2003, and his MSc degree in June 2007. Currently, he is Assist Professor at the University of Souk-Ahras (Algeria), and he prepares his PhD thesis in computer science at the MISC Laboratory (Laboratoire de Modélisation et Implémentation des Systèmes Complexes) of University of Mentouri of Constantine, Algeria. His research interests are in the area of formal specification, verification and performance evaluation of concurrent systems.

Module	Level	Speciality
Programmation par contraintes	Master - S3	Web and Artificial Intelligence
Théorie des langages	Bachelor - S4	Socle Commun Informatique L2
Projet Fin d’études	Master - S4	Software Engineering

Journals

[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

Conferences

[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.

Other Publications

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

Programmation par contraintes

Théorie des langages

Projet Fin d’études

Journals

Conferences

Other Publications