GSPN modelling methods for performance and dependability evaluation of a real-life flexible manufacturing system. - Belhassen Mazigh; Julien Gresser; François Simon (PNPM, 1993)

An Optimization Approach of Complex Discrete Event Systems. - Belhassen Mazigh; Pablo Gruer; Abder Koukam (ESM, 1996)

An Extended Statecharts Approach for the Modeling and Analysis of Discrete Event Systems: The Case of Manufacturing Systems. - Belhassen Mazigh; Pablo Gruer; Abder Koukam (ESM, 1998)

Modeling and quantitative analysis of discrete event systems: A statecharts based approach. - Pablo Gruer; Abder Koukam; Belhassen Mazigh (Simul. Pract. Theory, 1998)

Formal Specification of Holonic Multi-Agent Systems: Application to Distributed Maintenance Company. - Belhassen Mazigh; Vincent Hilaire; Abderrafiaa Koukam (PAAMS, 2011)

To a Formal Modeling Approach of Error Recovery in Production Systems Based on Holonic Multi-agent Systems Specification. - Belhassen Mazigh; Ahmed Hammed; Vincent Hilaire (KES-AMSTA, 2012)

Adapting and Extended ASPECS Methodology to Support the Goal Concept. - Mohamed Garoui; Belhassen Mazigh (ANT/MobiWIS, 2012)

A System Performance in Presence of Faults Modeling Framework Using AADL and GSPNs. - Belhassen Mazigh; Kais Ben Fadhel (PNSE+ModPE, 2013)

Use of formal languages to consolidate a Holonic MAS methodology: a specification approach for analysing Problem and Agency domains. - Belhassen Mazigh; Mohamed Garoui; Abder Koukam (J. Simulation, 2013)

Towards an Agent-Oriented Modeling and Evaluation Approach For Vehicular Systems Security. - Mohamed Garoui; Belhassen Mazigh; Béchir el Ayeb; Abderrafiaa Koukam (CoRR, 2014)

The EventB2PN Tool: From Event-B specification to Petri Nets through model transformation. - Mohamed Garoui; Belhassen Mazigh; Abderrafiaa Koukam (SNPD, 2015)

A Formal Specification and Verification of Normative Multi-agent Systems by DisCSP. - Aida Boudhaouia; Belhassen Mazigh; Ezzine Missaoui (AICCSA, 2017)

NCRIO: A Normative Holonic Metamodel for Multi-agent Systems. - Ezzine Missaoui; Belhassen Mazigh; Sami Bhiri; Vincent Hilaire (HAIS, 2017)

A Normative Model for Holonic Multi-agent Systems. - Ezzine Missaoui; Belhassen Mazigh; Sami Bhiri; Vincent Hilaire (ICTAI, 2017)

A Decomposition-based Approach of Global Norms for Hierarchical Normative Systems. - Ezzine Missaoui; Belhassen Mazigh; Sami Bhiri; Vincent Hilaire (KES, 2018)

Non-Functional Norms Specification and Verification Approach for Normative Multi-agents Systems. - Ezzine Missaoui; Belhassen Mazigh; Vincent Hilaire; Sami Bhiri (KES, 2019)