Mohamed Garoui

According to our database, Mohamed Garoui authored at least 7 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Safe-Platoon: A Formal Model for Safety Evaluation.

Mohamed Garoui

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

2016

A formal model for safety evaluation of platooning system.

Mohamed Garoui

Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016

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

Mohamed Garoui

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2016

2015

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

Mohamed Garoui, Belhassen Mazigh, Abderrafiaa Koukam

Proceedings of the 16th IEEE/ACIS International Conference on Software Engineering, 2015

2014

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

Mohamed Garoui, Belhassen Mazigh, Béchir el Ayeb, Abderrafiaa Koukam

CoRR, 2014

2013

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

2012

Adapting and Extended ASPECS Methodology to Support the Goal Concept.

Mohamed Garoui, Belhassen Mazigh

Proceedings of the 3rd International Conference on Ambient Systems, 2012