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 | 23 | 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 | 17 | 2017 |
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 | 13 | 2015 |
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 | 11 | 2021 |
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 |
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 |
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 | |
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 | 1 | 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 | 1 | 2022 |
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 |
User Web Access Prediction Based On Web Services And User Profile K Boudjebbour, A Belkhir, M Rahim 2022 International Conference on Advanced Aspects of Software Engineering …, 2022 | | 2022 |
Plateforme basée sur les micro-services et les jumeaux numériques pour la supervision et le contrôle des patients au niveau d’un hôpital M Bouaied, K Chibani, M RAHIM | | 2022 |
Proposition d’une méthodologie de conception et de développement des jumeaux numériques pour les distributeurs automatiques de produits A BENKORTBI, M KADIK, M RAHIM | | 2020 |
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 | | 2018 |
Vérification distribuée des systèmes de grandes tailles M RAHIM Mas (terts thesis, Institut National dtInformatique, 2003 | | 2003 |