Verification of Common Business Rules in BPMN Process Models. - Anass Rachdi; Abdeslam En-Nouaary; Mohamed Dahchour (NETYS, 2016)

Analysis of common business rules in BPMN process models using business rule language. - Anass Rachdi; Abdeslam En-Nouaary; Mohamed Dahchour (SITA, 2016)

Liveness and Reachability Analysis of BPMN Process Models. - Anass Rachdi; Abdeslam En-Nouaary; Mohamed Dahchour (J. Comput. Inf. Technol., 2016)

DataFlow Analysis in BPMN Models. - Anass Rachdi; Abdeslam En-Nouaary; Mohamed Dahchour (ICEIS (2), 2017)

Short Paper: BPMN Process Analysis: A Formal Validation and Verification Eclipse Plugin for BPMN Process Models. - Anass Rachdi; Abdeslam En-Nouaary; Mohamed Dahchour (NETYS, 2018)