Information
Maître de Conférences B
DĂ©partement d'Informatique
Faculté des Sciences et de la Technologie
Université de Souk Ahras
Souk Ahras - 41000. Algérie
m.arous@univ-soukahras.dz
https://univ-soukahras.dz/fr/profile/amokdad
Enseignement
| Module | Niveau | Spécialité |
|---|---|---|
| Programmation par contraintes | Master - S3 | Web et Intelligence Artificielle |
| Théorie des langages | Licence - S4 | Socle Commun Informatique |
| Projet Fin d’études | Master - S4 | Génie logiciel |
Publications Scientifiques (4)
Revues
[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
Conférences
[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.
Autre
[1] Mokdad AROUS (2016) Cours de Programmation Logique. Université de Souk Ahras ,