Toward the Formalization of Business Process Model and Notation. - Honoré Hounwanou; Laila Boumlik; Mohamed Mejri (SoMeT, 2021)

Enforcing Security Policies Using an Algebraic Approach. - Honoré Hounwanou; Mohamed Mejri (SoMeT, 2023)