Belhassen Mazigh

16 papers B 3C 2Misc 2Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2019 B conf
Non-Functional Norms Specification and Verification Approach for Normative Multi-agents Systems.
KES
Ezzine Missaoui, Belhassen Mazigh, Vincent Hilaire, Sami Bhiri
2018 B conf
A Decomposition-based Approach of Global Norms for Hierarchical Normative Systems.
KES
Ezzine Missaoui, Belhassen Mazigh, Sami Bhiri, Vincent Hilaire
2017 C conf
A Formal Specification and Verification of Normative Multi-agent Systems by DisCSP.
AICCSA
Aida Boudhaouia, Belhassen Mazigh, Ezzine Missaoui
2017 B conf
A Normative Model for Holonic Multi-agent Systems.
ICTAI
Ezzine Missaoui, Belhassen Mazigh, Sami Bhiri, Vincent Hilaire
2017 Misc conf
NCRIO: A Normative Holonic Metamodel for Multi-agent Systems.
HAIS
Ezzine Missaoui, Belhassen Mazigh, Sami Bhiri, Vincent Hilaire
2015 C conf
The EventB2PN Tool: From Event-B specification to Petri Nets through model transformation.
SNPD
Mohamed Garoui, Belhassen Mazigh, Abderrafiaa Koukam
2014 J jnl
Towards an Agent-Oriented Modeling and Evaluation Approach For Vehicular Systems Security.
CoRR
Mohamed Garoui, Belhassen Mazigh, Béchir el Ayeb, Abderrafiaa Koukam
2013 — conf
A System Performance in Presence of Faults Modeling Framework Using AADL and GSPNs.
PNSE+ModPE
Belhassen Mazigh, Kais Ben Fadhel
2013 J jnl
Use of formal languages to consolidate a Holonic MAS methodology: a specification approach for analysing Problem and Agency domains.
J. Simulation
Belhassen Mazigh, Mohamed Garoui, Abder Koukam
2012 — conf
Adapting and Extended ASPECS Methodology to Support the Goal Concept.
ANT/MobiWIS
Mohamed Garoui, Belhassen Mazigh
2012 — conf
To a Formal Modeling Approach of Error Recovery in Production Systems Based on Holonic Multi-agent Systems Specification.
KES-AMSTA
Belhassen Mazigh, Ahmed Hammed, Vincent Hilaire
2011 Misc conf
Formal Specification of Holonic Multi-Agent Systems: Application to Distributed Maintenance Company.
PAAMS
Belhassen Mazigh, Vincent Hilaire, Abderrafiaa Koukam
1998 — conf
An Extended Statecharts Approach for the Modeling and Analysis of Discrete Event Systems: The Case of Manufacturing Systems.
ESM
Belhassen Mazigh, Pablo Gruer, Abder Koukam
1998 J jnl
Modeling and quantitative analysis of discrete event systems: A statecharts based approach.
Simul. Pract. Theory
Pablo Gruer, Abder Koukam, Belhassen Mazigh
1996 — conf
An Optimization Approach of Complex Discrete Event Systems.
ESM
Belhassen Mazigh, Pablo Gruer, Abder Koukam
1993 — conf
GSPN modelling methods for performance and dependability evaluation of a real-life flexible manufacturing system.
PNPM
Belhassen Mazigh, Julien Gresser, François Simon