Anass Rachdi

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 5

Top Topics

Reachability Analysis

Top Venues

J. Comput. Inf. Technol.

Publications

Anass Rachdi, Abdeslam En-Nouaary, Mohamed Dahchour
Short Paper: BPMN Process Analysis: A Formal Validation and Verification Eclipse Plugin for BPMN Process Models. NETYS (2018)
Anass Rachdi, Abdeslam En-Nouaary, Mohamed Dahchour
DataFlow Analysis in BPMN Models. ICEIS (2) (2017)
Anass Rachdi, Abdeslam En-Nouaary, Mohamed Dahchour
Analysis of common business rules in BPMN process models using business rule language. SITA (2016)
Anass Rachdi, Abdeslam En-Nouaary, Mohamed Dahchour
Verification of Common Business Rules in BPMN Process Models. NETYS (2016)
Anass Rachdi, Abdeslam En-Nouaary, Mohamed Dahchour
Liveness and Reachability Analysis of BPMN Process Models. J. Comput. Inf. Technol. 24 (2) (2016)