Mohamed Naoum

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 5

Top Topics

Deadlock Detection

Business Process

Top Venues

Int. J. Recent Contributions Eng. Sci. IT

Publications

Soumaya Amri, Mohamed Naoum, Mohamed Lazaar, Mohammed Al Achhab
Performing of users' road safety at intelligent transportation systems. CIST (2021)
Outman El Hichami, Mohamed Naoum, Mohammed Al Achhab, Badr Eddine El Mohajir, Mohamed Lazaar
Visual Language for Specifying Verification Properties. BDIoT (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)
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)