Messaoud Rahim

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 7

Top Topics

Formal Verification

Modelling Language

Activity Diagrams

Top Venues

Innov. Syst. Softw. Eng.

Publications

Abdullahi Modibbo Abdullahi, Wassila Lalouani, Messaoud Rahim
A Robust Misbehavior Detection System for Cooperative Driving Network. ISDFS (2024)
Karim Boudjebbour, Abdelkader Belkhir, El Bahi Toubal, Messaoud Rahim
User Web Access Prediction Based On Web Services And User Profile. ICAASE (2022)
El Bahi Toubal, Abdelkader Belkhir, Ahmed Kheldoun, Messaoud Rahim
A Model Driven Approach for Web Service Composition. ICAASE (2022)
Messaoud Rahim, Malika Boukala-Ioualalen, Ahmed Hammad
Hierarchical Colored Petri Nets for the Verification of SysML Designs- Activity-Based Slicing Approach. CSA (2020)
Messaoud Rahim, Ahmed Hammad, Malika Ioualalen
A methodology for verifying SysML requirements using activity diagrams. Innov. Syst. Softw. Eng. 13 (1) (2017)
Messaoud Rahim, Ahmed Kheldoun, Malika Boukala-Ioualalen, Ahmed Hammad
Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams. IET Softw. 9 (5) (2015)
Messaoud Rahim, Ahmed Hammad, Malika Boukala-Ioualalen
Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets. ACIT-CSI (2015)
Messaoud Rahim, Malika Boukala-Ioualalen, Ahmed Hammad
Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams. PNSE @ Petri Nets (2014)
Messaoud Rahim, Ahmed Hammad, Malika Ioualalen
Modular and Distributed Verification of SysML Activity Diagrams. MODELSWARD (2013)