| 2019 | KES | Non-Functional Norms Specification and Verification Approach for Normative Multi-agents Systems. | Ezzine Missaoui, Belhassen Mazigh, Vincent Hilaire, Sami Bhiri |
| 2018 | KES | A Decomposition-based Approach of Global Norms for Hierarchical Normative Systems. | Ezzine Missaoui, Belhassen Mazigh, Sami Bhiri, Vincent Hilaire |
| 2017 | AICCSA | A Formal Specification and Verification of Normative Multi-agent Systems by DisCSP. | Aida Boudhaouia, Belhassen Mazigh, Ezzine Missaoui |
| 2017 | HAIS | NCRIO: A Normative Holonic Metamodel for Multi-agent Systems. | Ezzine Missaoui, Belhassen Mazigh, Sami Bhiri, Vincent Hilaire |
| 2017 | ICTAI | A Normative Model for Holonic Multi-agent Systems. | Ezzine Missaoui, Belhassen Mazigh, Sami Bhiri, Vincent Hilaire |
| 2015 | SNPD | The EventB2PN Tool: From Event-B specification to Petri Nets through model transformation. | Mohamed Garoui, Belhassen Mazigh, Abderrafiaa Koukam |
| 2011 | PAAMS | Formal Specification of Holonic Multi-Agent Systems: Application to Distributed Maintenance Company. | Belhassen Mazigh, Vincent Hilaire, Abderrafiaa Koukam |