Towards formal verification of business process using a graphical specification. - Outman El Hichami; Badr Eddine El Mohajir; Mohammed Al Achhab; Ismail Berrada; Rachid Oucheikh (CIST, 2014)

Short: Graphical Specification and Automatic Verification of Business Process. - Outman El Hichami; Mohammed Al Achhab; Ismail Berrada; Badr Eddine El Mohajir (NETYS, 2014)

Visual Specification Language and Automatic Checking of Business Process. - Outman El Hichami; Mohammed Al Achhab; Ismail Berrada; Badr Eddine El Mohajir (VECoS, 2014)

Towards a Formal Semantics and Analysis of BPMN Gateways. - Outman El Hichami; Mohamed Naoum; Mohammed Al Achhab; Ismail Berrada; Badr Eddine El Mohajir (NETYS, 2015)

An Algebraic Method for Analysing Control Flow of BPMN Models. - Outman El Hichami; Mohamed Naoum; Mohammed Al Achhab; Ismail Berrada; Badr Eddine El Mohajir (Int. J. Recent Contributions Eng. Sci. IT, 2015)

A probabilistic method for business process verification: Reachability, Liveness and deadlock detection. - Mohamed Naoum; Outman El Hichami; Mohammed Al Achhab; Badr Eddine El Mohajir (CIST, 2016)

The 4-Octahedron Abstract Domain. - Rachid Oucheikh; Ismail Berrada; Outman El Hichami (NETYS, 2016)

Visual Language for Specifying Verification Properties. - Outman El Hichami; Mohamed Naoum; Mohammed Al Achhab; Badr Eddine El Mohajir; Mohamed Lazaar (BDIoT, 2019)

A Hypergraph Based Approach for the 4-Constraint Satisfaction Problem Tractability. - Rachid Oucheikh; Ismail Berrada; Outman El Hichami (CoRR, 2019)

Review of a Comparative Survey on the Detection and Classification of Traffic Signs. - El Mojahid Roumaissae; Outman El Hichami; Badr Eddine El Mohajir; Mohammed Al Achhab; Adnan Souri; Abdelali Zbakh (CiSt, 2023)