Adapting and Extended ASPECS Methodology to Support the Goal Concept. - Mohamed Garoui; Belhassen Mazigh (ANT/MobiWIS, 2012)

Use of formal languages to consolidate a Holonic MAS methodology: a specification approach for analysing Problem and Agency domains. - Belhassen Mazigh; Mohamed Garoui; Abder Koukam (J. Simulation, 2013)

Towards an Agent-Oriented Modeling and Evaluation Approach For Vehicular Systems Security. - Mohamed Garoui; Belhassen Mazigh; Béchir el Ayeb; Abderrafiaa Koukam (CoRR, 2014)

The EventB2PN Tool: From Event-B specification to Petri Nets through model transformation. - Mohamed Garoui; Belhassen Mazigh; Abderrafiaa Koukam (SNPD, 2015)

Modeling and Analysis of Vehicles Platoon Safety in a Dynamic Environment Based on GSPN. - Mohamed Garoui (BMMDS/EMMSAD, 2016)

A formal model for safety evaluation of platooning system. - Mohamed Garoui (SNPD, 2016)

Safe-Platoon: A Formal Model for Safety Evaluation. - Mohamed Garoui (Int. J. Softw. Sci. Comput. Intell., 2019)