Get started
Author

Farid Arfi

Observed name: FaridArfi
Institution: IMT Atlantique
OpenAlex ID: A5017206964
FOCOVE: Formal Concurrency Verification Environment for Complex Systems
2008 · Djamel Eddine Saïdouni, Adel Benamira, et al. · AIP conference proceedings · 8
Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal
2023 · Farid Arfi, Anne‐Lise Courbis, et al. · IET Software · 6
PDF
Solving preemptive job-shop scheduling problems using a true concurrency model
2016 · Farid Arfi, Jean Michel Ilié, et al. · International Journal of Simulation and Process Modelling · 2
An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization
2024 · Farid Arfi, Hélène Coullon, et al. · Electronic Proceedings in Theoretical Computer Science · 1
PDF
Concerto-D/concertod-maude: ice24-final-version
2024 · FaridArfi, Coullon Helene, et al. · HAL
Semi-formal and formal specification of a telerehabilitation system for chronic respiratory diseases: methodology and feedback
2023 · Anne-Lise Courbis, Farid Arfi, et al. · IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
PDF
Pruning Search Spaces of RATA Model for the Job-Shop Scheduling
2013 · Farid Arfi, Jean-Michel Ilié, et al. · Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
A model for job-shop problem
2012 · Farid Arfi, Djamel Eddine Saidouni, et al. · International Conference on Information Technology and e-Services (ICITeS)
Works count: 8
Citation count: 17
H-index: 2
I10-index:
Year
Topic
Type