Modular and Distributed Verification of SysML Activity Diagrams. - Messaoud Rahim; Ahmed Hammad; Malika Ioualalen (MODELSWARD, 2013)

Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams. - Messaoud Rahim; Malika Boukala-Ioualalen; Ahmed Hammad (PNSE @ Petri Nets, 2014)

Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets. - Messaoud Rahim; Ahmed Hammad; Malika Boukala-Ioualalen (ACIT-CSI, 2015)

Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams. - Messaoud Rahim; Ahmed Kheldoun; Malika Boukala-Ioualalen; Ahmed Hammad (IET Softw., 2015)

A methodology for verifying SysML requirements using activity diagrams. - Messaoud Rahim; Ahmed Hammad; Malika Ioualalen (Innov. Syst. Softw. Eng., 2017)

Hierarchical Colored Petri Nets for the Verification of SysML Designs- Activity-Based Slicing Approach. - Messaoud Rahim; Malika Boukala-Ioualalen; Ahmed Hammad (CSA, 2020)

User Web Access Prediction Based On Web Services And User Profile. - Karim Boudjebbour; Abdelkader Belkhir; El Bahi Toubal; Messaoud Rahim (ICAASE, 2022)

A Model Driven Approach for Web Service Composition. - El Bahi Toubal; Abdelkader Belkhir; Ahmed Kheldoun; Messaoud Rahim (ICAASE, 2022)

A Robust Misbehavior Detection System for Cooperative Driving Network. - Abdullahi Modibbo Abdullahi; Wassila Lalouani; Messaoud Rahim (ISDFS, 2024)

A Digital Twin-Based Platform for Medical Cyber-Physical Systems. - Messaoud Rahim; Wassila Lalouani; El Bahi Toubal; Lloyd Emokpae (IEEE Access, 2024)