Mohamed Garoui

Formal Verification of Safety Properties for Multi-Agents System in Dynamic Environment: Application to a Platoon System

Mohamed Garoui, Mohamed Garoui, 2014 .

Use of formal languages to consolidate a Holonic MAS methodology: a specification approach for analysing Problem and Agency domains

Abder Koukam, Mohamed Garoui, Belhassen Mazigh, 2013, J. Simulation.

Adapting and Extended ASPECS Methodology to Support the Goal Concept

Mohamed Garoui, Belhassen Mazigh, 2012, ANT/MobiWIS.

Towards an Agent-Oriented Modeling and Evaluation Approach For Vehicular Systems Security pdf

Abder Koukam, Béchir el Ayeb, Mohamed Garoui, 2014, ArXiv.

Modeling and Analysis of Vehicles Platoon Safety in a Dynamic Environment Based on GSPN

Mohamed Garoui, Mohamed Garoui, 2016, BMMDS/EMMSAD.

Safe-Platoon: A Formal Model for Safety Evaluation

Mohamed Garoui, Mohamed Garoui, 2019, Int. J. Softw. Sci. Comput. Intell..

A formal model for safety evaluation of platooning system

Mohamed Garoui, Mohamed Garoui, 2016, 2016 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD).

Event-B specification of transportation system in dynamic environment: Study of urban public Transportation system

Mohamed Garoui, Belhassen Mazigh, Abderrafiaa Koukam, 2014, 2014 World Symposium on Computer Applications & Research (WSCAR).

The EventB2PN Tool: From Event-B specification to Petri Nets through model transformation

Abder Koukam, Mohamed Garoui, Belhassen Mazigh, 2015, 2015 IEEE/ACIS 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD).

Safety modelling and evaluation of vehicles platoon based on SAN models

Mohamed Garoui, 2017 .

Agent-Oriented Meta-model for Modeling and Specifying Transportation Systems: Platoon of Vehicles

Abderrafiaa Koukam, Mohamed Garoui, Belhassen Mazigh, 2014 .