Messaoud Rahim

11 papers C 1Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
An Ontology-Based Approach for Requirements and Change Impact Analysis in SysML Designs.
SN Comput. Sci.
Messaoud Rahim, Ahmed Hammad, Pierre-Cyrille Héam, Malika Boukala-Ioualalen
2024 J jnl
A Digital Twin-Based Platform for Medical Cyber-Physical Systems.
IEEE Access
Messaoud Rahim, Wassila Lalouani, El Bahi Toubal, Lloyd Emokpae
2024 — conf
A Robust Misbehavior Detection System for Cooperative Driving Network.
ISDFS
Abdullahi Modibbo Abdullahi, Wassila Lalouani, Messaoud Rahim
2022 — conf
A Model Driven Approach for Web Service Composition.
ICAASE
El Bahi Toubal, Abdelkader Belkhir, Ahmed Kheldoun, Messaoud Rahim
2022 — conf
User Web Access Prediction Based On Web Services And User Profile.
ICAASE
Karim Boudjebbour, Abdelkader Belkhir, El Bahi Toubal, Messaoud Rahim
2020 — conf
Hierarchical Colored Petri Nets for the Verification of SysML Designs- Activity-Based Slicing Approach.
CSA
Messaoud Rahim, Malika Boukala-Ioualalen, Ahmed Hammad
2017 J jnl
A methodology for verifying SysML requirements using activity diagrams.
Innov. Syst. Softw. Eng.
Messaoud Rahim, Ahmed Hammad, Malika Ioualalen
2015 J jnl
Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams.
IET Softw.
Messaoud Rahim, Ahmed Kheldoun, Malika Boukala-Ioualalen, Ahmed Hammad
2015 — conf
Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets.
ACIT-CSI
Messaoud Rahim, Ahmed Hammad, Malika Boukala-Ioualalen
2014 — conf
Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams.
PNSE @ Petri Nets
Messaoud Rahim, Malika Boukala-Ioualalen, Ahmed Hammad
2013 C conf
Modular and Distributed Verification of SysML Activity Diagrams.
MODELSWARD
Messaoud Rahim, Ahmed Hammad, Malika Ioualalen