Pruning Search Spaces of RATA Model for the Job-Shop Scheduling. - Farid Arfi; Jean-Michel Ilié; Djamel-Eddine Saïdouni (QSHINE, 2013)

Solving preemptive job-shop scheduling problems using a true concurrency model. - Farid Arfi; Jean-Michel Ilié; Djamel-Eddine Saïdouni (Int. J. Simul. Process. Model., 2016)

Semi-formal and formal specification of a telerehabilitation system for chronic respiratory diseases: methodology and feedback. - Anne-Lise Courbis; Farid Arfi; Thomas Lambolais; François Bughin; Maurice Hayot (ISSREW, 2023)

Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal. - Farid Arfi; Anne-Lise Courbis; Thomas Lambolais; François Bughin; Maurice Hayot (IET Softw., 2023)

An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization. - Farid Arfi; Hélène Coullon; Frédéric Loulergue; Jolan Philippe; Simon Robillard (ICE, 2024)