Anass Rachdi

According to our database, Anass Rachdi authored at least 5 papers between 2016 and 2018.

Collaborative distances:

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

2018

Short Paper: BPMN Process Analysis: A Formal Validation and Verification Eclipse Plugin for BPMN Process Models.

Anass Rachdi, Abdeslam En-Nouaary, Mohamed Dahchour

Proceedings of the Networked Systems - 6th International Conference, 2018

2017

DataFlow Analysis in BPMN Models.

Anass Rachdi, Abdeslam En-Nouaary, Mohamed Dahchour

Proceedings of the ICEIS 2017, 2017

2016

Liveness and Reachability Analysis of BPMN Process Models.

Anass Rachdi, Abdeslam En-Nouaary, Mohamed Dahchour

J. Comput. Inf. Technol., 2016

Analysis of common business rules in BPMN process models using business rule language.

Anass Rachdi, Abdeslam En-Nouaary, Mohamed Dahchour

Proceedings of the 11th International Conference on Intelligent Systems: Theories and Applications, 2016

Verification of Common Business Rules in BPMN Process Models.

Anass Rachdi, Abdeslam En-Nouaary, Mohamed Dahchour

Proceedings of the Networked Systems - 4th International Conference, 2016