| Advanced approaches to intelligent information and database systems J Sobecki, V Boonjing, S Chittayasothorn Springer, 2014 | 5 | 2014 |
| 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 | 4 | 2014 |
| 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 | 2 | 2013 |
| 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 | 2 | 2011 |
| Safe-Platoon: A Formal Model for Safety Evaluation M Garoui International Journal of Software Science and Computational Intelligence …, 2019 | 1 | 2019 |
| Safety modelling and evaluation of vehicles platoon based on SAN models M Garoui Int. J. of Vehicle Safety 9 (4), 298 - 310, 2017 | 1 | 2017 |
| 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 | 1 | 2016 |
| A formal model for safety evaluation of platooning system M Garoui 2016 17th IEEE/ACIS International Conference on Software Engineering …, 2016 | 1 | 2016 |
| 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 | 1 | 2014 |
| Adapting and extended ASPECS methodology to support the Goal Concept M Garoui, B Mazigh Procedia Computer Science 10, 795-800, 2012 | 1 | 2012 |
| 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, ... | | |
