Belhassen Mazigh
Belhassen Mazigh
Ass Prof computer science faculte des sciences de monastir
Adresse e-mail validée de fsm.rnu.tn - Page d'accueil
Titre
Citée par
Citée par
Année
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
101998
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
82017
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, 135-140, 2011
72011
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
61993
Ncrio: A normative holonic metamodel for multi-agent systems
E Missaoui, B Mazigh, S Bhiri, V Hilaire
International Conference on Hybrid Artificial Intelligence Systems, 638-649, 2017
42017
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
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
32015
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
32014
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
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
12019
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
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
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
12013
To a formal modeling approach of error recovery in production systems based on holonic multi-agent systems specification
B Mazigh, A Hammed, V Hilaire
KES International Symposium on Agent and Multi-Agent Systems: Technologies …, 2012
12012
Adapting and extended ASPECS methodology to support the Goal Concept
M Garoui, B Mazigh
Procedia Computer Science 10, 795-800, 2012
12012
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20