Messaoud Rahim

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

Messaoud Rahim, Malika Boukala-Ioualalen, Ahmed Hammad, 2014, PNSE @ Petri Nets.

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

Messaoud Rahim, Malika Boukala-Ioualalen, Ahmed Hammad, 2015, 2015 3rd International Conference on Applied Computing and Information Technology/2nd International Conference on Computational Science and Intelligence.

Recursive ECATNets-based approach for formally verifying System Modelling Language activity diagrams

Messaoud Rahim, Malika Boukala-Ioualalen, Ahmed Hammad, 2015, IET Softw..

Slicing Based Verification Approach for the Validation of SysML Activity Diagrams

Messaoud Rahim, Ahmed Hammad, Malika Boukala, 2017, TASE 2017.