Outman El Hichami

11 papers C 1Journal 2Unranked 8
YearRankTypeTitle / Venue / Authors
2025 — conf
Classification and Performance Modeling of Students in Long Jump Using Machine Learning.
CiST
Karim Midoul, Badr Eddine El Mohajir, Outman El Hichami, Adnan Souri
2023 — conf
Review of a Comparative Survey on the Detection and Classification of Traffic Signs.
CiSt
El Mojahid Roumaissae, Outman El Hichami, Badr Eddine El Mohajir, Mohammed Al Achhab, Adnan Souri, Abdelali Zbakh
2019 J jnl
A Hypergraph Based Approach for the 4-Constraint Satisfaction Problem Tractability.
CoRR
Rachid Oucheikh, Ismail Berrada, Outman El Hichami
2019 — conf
Visual Language for Specifying Verification Properties.
BDIoT
Outman El Hichami, Mohamed Naoum, Mohammed Al Achhab, Badr Eddine El Mohajir, Mohamed Lazaar
2016 — conf
A probabilistic method for business process verification: Reachability, Liveness and deadlock detection.
CIST
Mohamed Naoum, Outman El Hichami, Mohammed Al Achhab, Badr Eddine El Mohajir
2016 — conf
The 4-Octahedron Abstract Domain.
NETYS
Rachid Oucheikh, Ismail Berrada, Outman El Hichami
2015 J jnl
An Algebraic Method for Analysing Control Flow of BPMN Models.
Int. J. Recent Contributions Eng. Sci. IT
Outman El Hichami, Mohamed Naoum, Mohammed Al Achhab, Ismail Berrada, Badr Eddine El Mohajir
2015 — conf
Towards a Formal Semantics and Analysis of BPMN Gateways.
NETYS
Outman El Hichami, Mohamed Naoum, Mohammed Al Achhab, Ismail Berrada, Badr Eddine El Mohajir
2014 — conf
Short: Graphical Specification and Automatic Verification of Business Process.
NETYS
Outman El Hichami, Mohammed Al Achhab, Ismail Berrada, Badr Eddine El Mohajir
2014 — conf
Towards formal verification of business process using a graphical specification.
CIST
Outman El Hichami, Badr Eddine El Mohajir, Mohammed Al Achhab, Ismail Berrada, Rachid Oucheikh
2014 C conf
Visual Specification Language and Automatic Checking of Business Process.
VECoS
Outman El Hichami, Mohammed Al Achhab, Ismail Berrada, Badr Eddine El Mohajir