Laboratoire d’Informatique et Mathématiques

Université Mohamed-Chérif Messaadia Souk Ahras
https://www.univ-soukahras.dz/fr/lab/lim
 
  • Accueil
  • Thèmes de recherche
  • Membres
  • Publications
  • Projets
  • A Propos de Laboratoire
  • Login
  • Université de Souk Ahras
 

Mokdad AROUS

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://www.univ-soukahras.dz/fr/profile/amokdad

Enseignement

Matière 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 )

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 ,

Liens & Informations

  • » Département d'Informatique
 
 

Contact

  • Université de Souk Ahras
    Souk Ahras , 41000 - Algérie
  • +213.(0)37.75.30.15
  • +213.(0)37.75.30.06
  • info@univ-soukahras.dz
 
 

Administration

  • V. R. de la Recherche & Postgraduation
  • V. R. de Pédagogie & Graduation
  • V.R. des Relations Extérieures
  • V. R. du développement
  • Secrétariat Général
 
 

Services

  • eLearning
  • Publications
  • Laboratoires
  • Email
  • Liens Utiles
 
 

Restez connecté

0 8 5 6 3 0 9 5
Views Last 7 days : 104329
Views This Month : 302757
 
 © 2012-2025 Université de Souk Ahras. Tous droits réservés.