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)

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

Performing of users' road safety at intelligent transportation systems. - Soumaya Amri; Mohamed Naoum; Mohamed Lazaar; Mohammed Al Achhab (CIST, 2021)