Mohamed Naoum

According to our database, Mohamed Naoum authored at least 5 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Performing of users' road safety at intelligent transportation systems.

Soumaya Amri, Mohamed Naoum, Mohamed Lazaar, Mohammed Al Achhab

Proceedings of the 6th IEEE Congress on Information Science and Technology, 2021

2019

Visual Language for Specifying Verification Properties.

Outman El Hichami, Mohamed Naoum, Mohammed Al Achhab, Badr Eddine El Mohajir, Mohamed Lazaar

Proceedings of the BDIoT'19: The 4th International Conference On Big Data and Internet of Things, 2019

2016

A probabilistic method for business process verification: Reachability, Liveness and deadlock detection.

Mohamed Naoum, Outman El Hichami, Mohammed Al Achhab, Badr Eddine El Mohajir

Proceedings of the 4th IEEE International Colloquium on Information Science and Technology, 2016

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

Towards a Formal Semantics and Analysis of BPMN Gateways.

Outman El Hichami, Mohamed Naoum, Mohammed Al Achhab, Ismail Berrada, Badr Eddine El Mohajir

Proceedings of the Networked Systems - Third International Conference, 2015