Mohamed Garoui

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 4

Top Topics

Transportation Systems

Formal Languages

Predicate Calculus

Top Venues

Int. J. Softw. Sci. Comput. Intell.

Publications

Mohamed Garoui
Safe-Platoon: A Formal Model for Safety Evaluation. Int. J. Softw. Sci. Comput. Intell. 11 (2) (2019)
Mohamed Garoui
Modeling and Analysis of Vehicles Platoon Safety in a Dynamic Environment Based on GSPN. BMMDS/EMMSAD (2016)
Mohamed Garoui
A formal model for safety evaluation of platooning system. SNPD (2016)
Mohamed Garoui, Belhassen Mazigh, Abderrafiaa Koukam
The EventB2PN Tool: From Event-B specification to Petri Nets through model transformation. SNPD (2015)
Mohamed Garoui, Belhassen Mazigh, Béchir el Ayeb, Abderrafiaa Koukam
Towards an Agent-Oriented Modeling and Evaluation Approach For Vehicular Systems Security. CoRR (2014)
Belhassen Mazigh, Mohamed Garoui, Abder Koukam
Use of formal languages to consolidate a Holonic MAS methodology: a specification approach for analysing Problem and Agency domains. J. Simulation 7 (3) (2013)
Mohamed Garoui, Belhassen Mazigh
Adapting and Extended ASPECS Methodology to Support the Goal Concept. ANT/MobiWIS (2012)