Belhassen Mazigh

Publication Activity (10 Years)

Years Active: 1993-2019
Publications (10 Years): 5

Top Topics

Multi Agents Systems

Formal Specification

Formal Languages

Top Venues

Publications

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