Messaoud Rahim

According to our database, Messaoud Rahim authored at least 10 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

A Digital Twin-Based Platform for Medical Cyber-Physical Systems.

Messaoud Rahim, Wassila Lalouani, El Bahi Toubal, Lloyd Emokpae

IEEE Access, 2024

A Robust Misbehavior Detection System for Cooperative Driving Network.

Abdullahi Modibbo Abdullahi, Wassila Lalouani, Messaoud Rahim

Proceedings of the 12th International Symposium on Digital Forensics and Security, 2024

2022

A Model Driven Approach for Web Service Composition.

El Bahi Toubal, Abdelkader Belkhir, Ahmed Kheldoun, Messaoud Rahim

Proceedings of the International Conference on Advanced Aspects of Software Engineering, 2022

User Web Access Prediction Based On Web Services And User Profile.

Karim Boudjebbour, Abdelkader Belkhir, El Bahi Toubal, Messaoud Rahim

Proceedings of the International Conference on Advanced Aspects of Software Engineering, 2022

2020

Hierarchical Colored Petri Nets for the Verification of SysML Designs- Activity-Based Slicing Approach.

Messaoud Rahim, Malika Boukala-Ioualalen, Ahmed Hammad

Proceedings of the Advances in Computing Systems and Applications, 2020

2017

A methodology for verifying SysML requirements using activity diagrams.

Messaoud Rahim, Ahmed Hammad, Malika Ioualalen

Innov. Syst. Softw. Eng., 2017

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

Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets.

Messaoud Rahim, Ahmed Hammad, Malika Boukala-Ioualalen

Proceedings of the 3rd International Conference on Applied Computing and Information Technology, 2015

2014

Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams.

Messaoud Rahim, Malika Boukala-Ioualalen, Ahmed Hammad

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013

Modular and Distributed Verification of SysML Activity Diagrams.

Messaoud Rahim, Ahmed Hammad, Malika Ioualalen

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013