Home › Researcher directory › Farid Arfi
Farid Arfi
Affiliation : University Frères Mentouri Constantine 1 · Université Constantine 2
- 4Publications (affiliation in Algeria)
- 8Total publications
- 17Citations
- 2h-index
Is this you? Get your research seen
Create your free DzCademia profile and add your articles: they will show up more easily on Google and in AI assistants like ChatGPT, so more people can read and cite your work.
Create my free profile Add my publicationsResearch areas
- Formal Methods in Verification
- Petri Nets in System Modeling
- Logic, programming, and type systems
- Scheduling and Optimization Algorithms
- Model-Driven Software Engineering Techniques
Publications (4)
- Solving preemptive job-shop scheduling problems using a true concurrency model
- Pruning Search Spaces of RATA Model for the Job-Shop Scheduling
- A model for job-shop problem
- FOCOVE: Formal Concurrency Verification Environment for Complex Systems
Co-authors
Bibliographic data from OpenAlex (open database).
Why choose Dzcademia?
Profiles, articles and conference contributions: give your research a structured public presence. Integrated metadata help search engines and AI assistants identify your work and understand its references.
Comment with Google
Sign in with Google to comment directly on this page.