Farid Arfi

FOCOVE: Formal Concurrency Verification Environment for Complex Systems

Nabil Belala, Djamel-Eddine Saidouni, Adel Benamira, 2008 .

Solving preemptive job-shop scheduling problems using a true concurrency model

Djamel-Eddine Saïdouni, Jean-Michel Ilié, Farid Arfi, 2016, Int. J. Simul. Process. Model..

Pruning Search Spaces of RATA Model for the Job-Shop Scheduling

Djamel-Eddine Saïdouni, Jean-Michel Ilié, Farid Arfi, 2013, QSHINE.

Response surface parameter sensitivity analysis methods for postcalibration studies

Soroosh Sorooshian, Farid Arfi, S. Sorooshian, 1982 .