Information
Senior Lecturer
Department of Computer Science
Faculty of Science and Technology
University of Souk Ahras
Souk Ahras - 41000. Algeria
m.arous@univ-soukahras.dz
https://univ-soukahras.dz/en/profile/amokdad
Biography
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.
Teaching
| Module | Level | Speciality |
|---|---|---|
| Constraint programming | Master - S3 | Web and Artificial Intelligence |
| Theory of Languages | Bachelor - S4 | Common Core: Computer Science |
| Graduation project | Master - S4 | Software Engineering |
Research Publications (4)
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
[1] Mokdad AROUS (2016) Cours de Programmation Logique. Université de Souk Ahras ,