Outman El Hichami

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 7

Top Topics

Constraint Satisfaction

Workflow Technology

Business Process

Top Venues

Publications

El Mojahid Roumaissae, Outman El Hichami, Badr Eddine El Mohajir, Mohammed Al Achhab, Adnan Souri, Abdelali Zbakh
Review of a Comparative Survey on the Detection and Classification of Traffic Signs. CiSt (2023)
Outman El Hichami, Mohamed Naoum, Mohammed Al Achhab, Badr Eddine El Mohajir, Mohamed Lazaar
Visual Language for Specifying Verification Properties. BDIoT (2019)
Rachid Oucheikh, Ismail Berrada, Outman El Hichami
A Hypergraph Based Approach for the 4-Constraint Satisfaction Problem Tractability. CoRR (2019)
Mohamed Naoum, Outman El Hichami, Mohammed Al Achhab, Badr Eddine El Mohajir
A probabilistic method for business process verification: Reachability, Liveness and deadlock detection. CIST (2016)
Rachid Oucheikh, Ismail Berrada, Outman El Hichami
The 4-Octahedron Abstract Domain. NETYS (2016)
Outman El Hichami, Mohamed Naoum, Mohammed Al Achhab, Ismail Berrada, Badr Eddine El Mohajir
Towards a Formal Semantics and Analysis of BPMN Gateways. NETYS (2015)
Outman El Hichami, Mohamed Naoum, Mohammed Al Achhab, Ismail Berrada, Badr Eddine El Mohajir
An Algebraic Method for Analysing Control Flow of BPMN Models. Int. J. Recent Contributions Eng. Sci. IT 3 (3) (2015)
Outman El Hichami, Mohammed Al Achhab, Ismail Berrada, Badr Eddine El Mohajir
Short: Graphical Specification and Automatic Verification of Business Process. NETYS (2014)
Outman El Hichami, Badr Eddine El Mohajir, Mohammed Al Achhab, Ismail Berrada, Rachid Oucheikh
Towards formal verification of business process using a graphical specification. CIST (2014)
Outman El Hichami, Mohammed Al Achhab, Ismail Berrada, Badr Eddine El Mohajir
Visual Specification Language and Automatic Checking of Business Process. VECoS (2014)