Belhassen Mazigh
Belhassen Mazigh
Ass Prof computer science faculte des sciences de monastir
Verified email at - Homepage
Cited by
Cited by
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Evaluation techno-économique d’une éolienne de pompage
M Belhassen
Projet de fin d’études Juin, 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
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
Multi-formalism Based Specification Language: Syntax, Semantics, Verification and Simulation
International Journal of Software Engineering Research & Practices 4 (2), 1-11, 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
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
The system can't perform the operation now. Try again later.
Articles 1–20