| Modeling and quantitative analysis of discrete event systems: a Statecharts based approach P Gruer, A Koukam, B Mazigh journal of Simulation Practice and Theory 6 (4), 397-411, 1998 | 11 | 1998 |
| A normative model for holonic multi-agent systems E Missaoui, B Mazigh, S Bhiri, V Hilaire 2017 IEEE 29th International Conference on Tools with Artificial …, 2017 | 10 | 2017 |
| Ncrio: A normative holonic metamodel for multi-agent systems E Missaoui, B Mazigh, S Bhiri, V Hilaire Hybrid Artificial Intelligent Systems: 12th International Conference, HAIS …, 2017 | 7 | 2017 |
| Formal specification of holonic multi-agent systems: application to distributed maintenance company B Mazigh, V Hilaire, A Koukam Advances on Practical Applications of Agents and Multiagent Systems: 9th …, 2011 | 6 | 2011 |
| GSPN Modelling Methods for Performance and Dependability Evaluation of a Real-life Flexible Manufacturing System. B Mazigh, J Gresser, F Simon 5th International Workshop on Petri Nets and Performance Models, Toulouse …, 1993 | 6 | 1993 |
| The EventB2PN Tool: From Event-B specification to petri nets through model transformation M Garoui, B Mazigh, A Koukam 2015 IEEE/ACIS 16th International Conference on Software Engineering …, 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 |
| A multiview approach to modeling and analysis of discrete event systems A Koukam, B Mazigh, P Gruer, V Hilaire Systems Analysis Modelling Simulation 43 (6), 721-740, 2003 | 4 | 2003 |
| Non-functional norms specification and verification approach for normative multi-agents systems E Missaoui, B Mazigh, V Hilaire, S Bhiri Procedia Computer Science 159, 717-726, 2019 | 3 | 2019 |
| 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 |
| Specifying and Verifying Holonic Multi-agent Systems using Stochastic Petri Net and Object-Z: Application to Industrial Maintenance Organizations B Mazigh, A Abbas-Turki INTECH Open Access Publisher, 2012 | 2 | 2012 |
| 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 |
| Well suited modelling and evaluation techniques based on GSPN for real production systems B Mazigh, J Gresser, F Simon Proceedings of IEEE 2nd International Workshop on Emerging Technologies and …, 1993 | 2 | 1993 |
| Politiques de maintenances et évaluation des attributs de la sûreté de fonctionnement des systèmes de production par les réseaux de Petri stochastiques généralisés J Mazigh, B., Giacona, G., Gresser Colloque MOAD'92, 1992 | 2* | 1992 |
| Evaluation techno-économique d’une éolienne de pompage M Belhassen Projet de fin d’études Juin, 1988 | 2 | 1988 |
| A Decomposition-based Approach of Global Norms for Hierarchical Normative Systems E Missaoui, B Mazigh, S Bhiri, V Hilaire Procedia Computer Science 126, 778-787, 2018 | 1 | 2018 |
| A formal specification and verification of normative multi-agent systems by DisCSP A Boudhaouia, B Mazigh, E Missaoui 2017 IEEE/ACS 14th International Conference on Computer Systems and …, 2017 | 1 | 2017 |
| Multi-formalism Based Specification Language: Syntax, Semantics, Verification and Simulation B MAZIGH International Journal of Software Engineering Research & Practices 4 (2), 1-11, 2014 | 1 | 2014 |
| 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 |
| To a formal modeling approach of error recovery in production systems based on holonic multi-agent systems specification B Mazigh, A Hammed, V Hilaire Agent and Multi-Agent Systems. Technologies and Applications: 6th KES …, 2012 | 1 | 2012 |
A. KoukamFull Professor, CIAD, SeT, Université de Technologie de Belfort MontbéliardVerified email at utbm.fr
