DD-LOTOS: A distributed real time language TM Maarouk, DE Saïdouni, M Khergag Proceedings 2nd Annual International Conference on Advances in Distributed …, 2011 | 12 | 2011 |
Towards a Calculus for Distributed, Real-Time and Mobile Systems. TM Maarouk, DE Saïdouni, M Khergag J. Softw. 7 (3), 564-574, 2012 | 11 | 2012 |
Formal semantics and transformation of BPMN models TM Maarouk, E Merah, S Ghaoui, N Rahabi International Journal of Business Process Integration and Management 9 (3 …, 2019 | 4 | 2019 |
Formalization and Model Checking of BPMN Collaboration Diagrams with DD-LOTOS. TM Maarouk, MEH SOUIDI Nadia HOGGAS Computing & Informatics 40 (5), 2021 | 3 | 2021 |
Interpretation of DD-LOTOS Specification by C-DATA MT Messaoud, SD Eddine, M Rafik, H Hichem New Trends in Databases and Information Systems: ADBIS 2015 Short Papers and …, 2015 | 3 | 2015 |
Multi-Pursuer Multi-Evader Games Based on Dynamic Elimination Priorities of the Dominated Strategies MEH Souidi, TM Maarouk, M Ledmi, A Ledmi, H Rahab Journal of Computer and Systems Sciences International, 1-14, 2023 | 1 | 2023 |
Multi-Agent Dynamic Leader-Follower Path Planning Applied to the Multi-Pursuer Multi-Evader Game MEH Souidi, M Ledmi, TM Maarouk, A Siam, A Ledmi Computing and Informatics 42 (5), 1158–1183-1158–1183, 2023 | 1 | 2023 |
Formal Specification and Verification for Organization-based systems: A Survey S Sabeg, TM Maarouk, MEH Souidi 2022 4th International Conference on Pattern Analysis and Intelligent …, 2022 | 1 | 2022 |
Multi-agent Ludo Game Collaborative Path Planning based on Markov Decision Process MEH Souidi, TM Maarouk, A Ledmi Inventive Systems and Control: Proceedings of ICISC 2021, 37-51, 2021 | 1 | 2021 |
Spécification formelle des systèmes mobiles temps réel. TM Maarouk Université de Batna 2, 2012 | 1 | 2012 |
Modèles formels pour la conception des systèmes temps réel TM Maarouk, DE Saidouni Université Frères Mentouri-Constantine 1, 2012 | 1 | 2012 |
IMAP-QL: an improved multi-agent pursuit path-planning based on Q-learning MEH Souidi, M Ledmi, TM Maarouk, A Ledmi, F Laassami International Journal of Systems, Control and Communications 15 (2), 159-178, 2024 | | 2024 |
Formalization of BPMN Gateways using the DD-LOTOS Formal Language TM Maarouk, M El Habib Souidi, M Ledmi, S Sabeg Journal of Communications Software and Systems 19 (4), 254-263, 2023 | | 2023 |
A discrete particle swarm optimization coalition formation algorithm for multi-pursuer multi-evader game MEH Souidi, H Haouassi, M Ledmi, TM Maarouk, A Ledmi Journal of Intelligent & Fuzzy Systems 44 (1), 757-773, 2023 | | 2023 |
Formalization and Refinement Proof for Embedded Systems A Bezza, E Merah, R Ameur-Boulifa, R Benaboud, TM Maarouk 2020 4th International Symposium on Informatics and its Applications (ISIA), 1-6, 2020 | | 2020 |
Modèles formels pour la conception des systèmes temps réel MT Messaoud, S Djamel-Eddine Université Frères Mentouri-Constantine 1, 2017 | | 2017 |
New Trends in Databases and Information Systems T Morzy, P Valduriez, L Bellatreche Springer, 2015 | | 2015 |
Formal Verification of Real-Time Systems Using a TrueConcurrency Semantics MT Messaoud, SD Eddine International Journal of Innovation, Management and Technology 4 (1), 62, 2013 | | 2013 |
Spécification formelle des systèmes mobiles temps réel. T Messaoud Université de Batna 2, 2006 | | 2006 |
Equipe Vision et Infographie Laboratoire LIRE, Université de Mentouri, 25000 Constantine TM MAAROUK Université de Batna 2, 2006 | | 2006 |