Login / Signup
Farid Arfi
Publication Activity (10 Years)
Years Active: 2013-2023
Publications (10 Years): 3
Top Topics
Data Abstraction
Specification Languages
Refinement Process
Timed Automata
Top Venues
Int. J. Simul. Process. Model.
IET Softw.
QSHINE
ISSREW
</>
Publications
</>
Anne-Lise Courbis
,
Farid Arfi
,
Thomas Lambolais
,
François Bughin
,
Maurice Hayot
Semi-formal and formal specification of a telerehabilitation system for chronic respiratory diseases: methodology and feedback.
ISSREW
(2023)
Farid Arfi
,
Anne-Lise Courbis
,
Thomas Lambolais
,
François Bughin
,
Maurice Hayot
Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal.
IET Softw.
17 (4) (2023)
Farid Arfi
,
Jean-Michel Ilié
,
Djamel-Eddine Saïdouni
Solving preemptive job-shop scheduling problems using a true concurrency model.
Int. J. Simul. Process. Model.
11 (3/4) (2016)
Farid Arfi
,
Jean-Michel Ilié
,
Djamel-Eddine Saïdouni
Pruning Search Spaces of RATA Model for the Job-Shop Scheduling.
QSHINE
(2013)