Farid Arfi

According to our database, Farid Arfi authored at least 4 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., August, 2023

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

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

2016

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

2013

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

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

Proceedings of the Quality, Reliability, Security and Robustness in Heterogeneous Networks, 2013