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)