Messaoud Rahim

According to our database1, Messaoud Rahim authored at least 9 papers between 2013 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Robust Misbehavior Detection System for Cooperative Driving Network.
Proceedings of the 12th International Symposium on Digital Forensics and Security, 2024

2022
A Model Driven Approach for Web Service Composition.
Proceedings of the International Conference on Advanced Aspects of Software Engineering, 2022

User Web Access Prediction Based On Web Services And User Profile.
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.
Proceedings of the Advances in Computing Systems and Applications, 2020

2017
A methodology for verifying SysML requirements using activity diagrams.
Innov. Syst. Softw. Eng., 2017

2015
Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams.
IET Softw., 2015

Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets.
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.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013
Modular and Distributed Verification of SysML Activity Diagrams.
Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013


  Loading...