Suivre
Mohamed GAROUI
Mohamed GAROUI
Laboratoire Systèmes et Transports (IRTES-SET) Université de Technologie de Belfort-Montbéliard
Adresse e-mail validée de utbm.fr
Titre
Citée par
Citée par
Année
Advanced approaches to intelligent information and database systems
J Sobecki, V Boonjing, S Chittayasothorn
Springer, 2014
62014
The EventB2PN Tool: From Event-B specification to Petri Nets through model transformation
G Mohamed
Software Engineering, Artificial Intelligence, Networking and Parallel …, 2015
4*2015
Towards an agent-oriented modeling and evaluation approach for vehicular systems security
M Garoui, B Mazigh, BE Ayeb, A Koukam
arXiv preprint arXiv:1403.2821, 2014
42014
Use of formal languages to consolidate a Holonic MAS methodology: a specification approach for analysing Problem and Agency domains
B Mazigh, M Garoui, A Koukam
Journal of Simulation 7 (3), 159-169, 2013
22013
Heterogeneous Formal specification of a Holonic MAS methodology based on Petri Nets and Object-Z
B Mazigh, M Garoui, A Koukam
Proceedings of the Federated Conference on Computer Science and Information …, 2011
22011
Safe-Platoon: A Formal Model for Safety Evaluation
M Garoui
International Journal of Software Science and Computational Intelligence …, 2019
12019
Safety modelling and evaluation of vehicles platoon based on SAN models
M Garoui
Int. J. of Vehicle Safety 9 (4), 298 - 310, 2017
12017
Modeling and Analysis of Vehicles Platoon Safety in a Dynamic Environment Based on GSPN
M Garoui
International Conference on Business Process Modeling, Development, and …, 2016
12016
A formal model for safety evaluation of platooning system
M Garoui
2016 17th IEEE/ACIS International Conference on Software Engineering …, 2016
12016
Agent-Oriented Meta-model for Modeling and Specifying Transportation Systems: Platoon of Vehicles
M Garoui, B Mazigh, B El Ayeb, A Koukam
Advanced Approaches to Intelligent Information and Database Systems, 305-314, 2014
12014
Adapting and extended ASPECS methodology to support the Goal Concept
M Garoui, B Mazigh
Procedia Computer Science 10, 795-800, 2012
12012
Achimugu, Philip 129 Ahmad, Azhana 35 Ahmad, Mohd Sharifuddin 35 Anuar, Mohd Syahid 97
M Augustynek, A Bartuskova, GS Basheer, F Benbouzid-Sitayeb, ...
Advanced Approaches to Intelligent Information and Database Systems 551, 365, 2014
2014
Event-B specification of transportation system in dynamic environment: Study of urban public Transportation system
M Garoui, B Mazigh, B El Ayeb, A Koukam
2014 World Symposium on Computer Applications & Research (WSCAR), 1-6, 2014
2014
Formal Verification of Safety Properties for Multi-Agents System in Dynamic Environment: Application to a Platoon System
M Garoui, B Mazigh, E Missaoui
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND PRACTICES 4 (1), 6-13, 2014
2014
Towards to an Agent-Oriented Meta-Model for Modeling Vehicular Systems with Multi-Configuration Ability
M Garoui, B Mazigh, A Koukam
2013
Feroz Mahmud, Md. Mostafijur Rahman, Shanto Rahman, Emon Kumar Dey, Mohammad Shoyaib........... 231
H Chong, R Zhang, Z Qin, M Hentali, L Benammar, A Trabelsi, ...
Costa, Lino A., 684
J Abawajy, A Abbas, M Abid, I Abnane, A Abran, M Adel, AT Ahamed, ...
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–17