Farid ARFI
...
Maître de conférences
Univ. Constantine 2
Equipe : CFSC

Ancien membre
Détails
Publications
Farid Arfi; Jean Michel Ilié; Djamel Eddine Saidouni
Solving preemptive job-shop scheduling problems using a true concurrency model. Int. J. of Simulation and Process Modelling (IJSPM) 11(3): 292-304 (2016)
Farid Arfi; Jean Michel Ilie; Djamel Eddine Saidouni
Pruning Search Spaces of RATA Model for the Job-Shop Scheduling. 9th Int. Conf. on Quality, Reliability, Security and Robustness in Heterogeneous Networks (QShine'13): 387-401 (2013)
Djamel Eddine Saidouni; Adel Benamira; Nabil Belala; Farid Arfi
FOCOVE: Formal Concurrency Verification Environment for Complex Systems. 1st Mediterranean Conf. on Intelligent Systems and Automation (CISA’08): 375-380 (2008)
Thèse de doctorat
Farid Arfi
Définition de modèles formels pour les systèmes temporisés hétérogènes et leur application au problème d'ordonnancement de type JOB-SHOP. Université Constantine 2, Algérie (2016)