Follow
Belhassen Mazigh
Belhassen Mazigh
Ass Prof computer science faculte des sciences de monastir
Verified email at fsm.rnu.tn - Homepage
Title
Cited by
Cited by
Year
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
111998
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
102017
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
72017
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
62011
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
51993
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
42015
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
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
42003
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
32019
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
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
22012
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
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
21993
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
21988
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
12018
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
12017
Multi-formalism Based Specification Language: Syntax, Semantics, Verification and Simulation
B MAZIGH
International Journal of Software Engineering Research & Practices 4 (2), 1-11, 2014
12014
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
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
12012
The system can't perform the operation now. Try again later.
Articles 1–20