Outman El Hichami

According to our database, Outman El Hichami authored at least 10 papers between 2014 and 2023.

Collaborative distances:

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

2023

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

Proceedings of the 7th IEEE Congress on Information Science and Technology, 2023

2019

A Hypergraph Based Approach for the 4-Constraint Satisfaction Problem Tractability.

Rachid Oucheikh, Ismail Berrada, Outman El Hichami

CoRR, 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

The 4-Octahedron Abstract Domain.

Rachid Oucheikh, Ismail Berrada, Outman El Hichami

Proceedings of the Networked Systems - 4th International Conference, 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

2014

Visual Specification Language and Automatic Checking of Business Process.

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

Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, 2014

Short: Graphical Specification and Automatic Verification of Business Process.

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

Proceedings of the Networked Systems - Second International Conference, 2014

Towards formal verification of business process using a graphical specification.

Outman El Hichami, Badr Eddine El Mohajir, Mohammed Al Achhab, Ismail Berrada, Rachid Oucheikh

Proceedings of the Third IEEE International Colloquium in Information Science and Technology, 2014