| Petri nets based approach for modular verification of SysML Requirements on Activity Diagrams. M Rahim, M Boukala-Ioualalen, A Hammad PNSE@ Petri Nets, 233-248, 2014 | 24 | 2014 |
| A methodology for verifying SysML requirements using activity diagrams M Rahim, A Hammad, M Ioualalen Innovations in Systems and Software Engineering 13, 19-33, 2017 | 19 | 2017 |
| Hierarchical colored Petri nets for the verification of SysML designs-activity-based slicing approach M Rahim, M Boukala-Ioualalen, A Hammad Advances in Computing Systems and Applications: Proceedings of the 4th …, 2021 | 15 | 2021 |
| Towards the formal verification of sysml specifications: Translation of activity diagrams into modular petri nets M Rahim, A Hammad, M Boukala-Ioualalen 2015 3rd International Conference on Applied Computing and Information …, 2015 | 14 | 2015 |
| Modular and distributed verification of SysML activity diagrams M Rahim, A Hammad, M Ioualalen MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software …, 2013 | 9 | 2013 |
| Recursive ECATNets‐based approach for formally verifying System Modelling Language activity diagrams M Rahim, A Kheldoun, M Boukala-Ioualalen, A Hammad IET Software 9 (5), 119-128, 2015 | 8 | 2015 |
| Platform for Inter-Institutions E-Governance Based on a Dynamic Web Services Composition EB Toubal, A Belkhir, M Rahim, A Kheldoun International Journal of Computing and Digital Systems 12 (1), 961-977, 2022 | 2 | 2022 |
| A model driven approach for web service composition A Belkhir, A Kheldoun, M Rahim 2022 International Conference on Advanced Aspects of Software Engineering …, 2022 | 2 | 2022 |
| Slicing based verification approach for the validation of SysML activity diagrams M Rahim, M Boukala, A Hammad International Symposium on Theoretical Aspects of Software Engineering, 2017 | 2 | 2017 |
| Validation of a SysML based design for wireless sensor networks A Berrachedi, M Rahim, M Ioualalen, A Hammad AIP Conference Proceedings 1863 (1), 2017 | 2 | 2017 |
| Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets R Messaoud, A Hammad, M Boukala-Ioualalen SERA, 2015 | 2 | 2015 |
| Parallel Object-Based Load Balancing Strategy for Distributed State Space Construction: Application on Petri nets R Messaoud, M Ioualalen, MC Boukala, A Hammad INDS, 2014 | 2 | 2014 |
| Using processor virtualization to load balancing distributed state space construction M Rahim, MC Boukala 2011 10th International Symposium on Programming and Systems, 156-162, 2011 | 2 | 2011 |
| Vérification distribuée des systèmes de grandes tailles M RAHIM Mas (terts thesis, Institut National dtInformatique, 2003 | 2 | 2003 |
| Proposition d’une démarche de spécification et de vérification des systèmes complexes R Messaoud PhD thesis, USTHB-Alger-Algérie, 2017. 64, 0 | 2 | |
| Digital twin-enabled quality control through deep learning in industry 4.0: a framework for enhancing manufacturing performance Y Aniba, M Bouhedda, M Bachene, M Rahim, H Benyezza, A Tobbal International Journal of Modelling and Simulation, 1-21, 2024 | 1 | 2024 |
| A Robust Misbehavior Detection System for Cooperative Driving Network AM Abdullahi, W Lalouani, M Rahim 2024 12th International Symposium on Digital Forensics and Security (ISDFS), 1-6, 2024 | 1 | 2024 |
| A Web Services-based Secure Platform for Inter-Institutions E-Governance E Toubal, A Belkhir, M Rahim, A Kheldoun, K Boudjebbour 2018 International Conference on Applied Smart Systems (ICASS), 1-6, 2018 | 1* | 2018 |
| Parallel Object-Based Load Balancing Strategy for Distributed State Space Construction: Application on Petri Nets M Rahim, M Ioualalen, MC Boukala, A Hammad 2014 International Conference on Advanced Networking Distributed Systems and …, 2014 | 1 | 2014 |
| A Digital Twin-Based Platform for Medical Cyber-Physical Systems M Rahim, W Lalouani, E Toubal, L Emokpae IEEE Access, 2024 | | 2024 |
Ahmed Hammad (MCF-HDR)Institut Femto-ST (Dept DISC)Verified email at femto-st.fr