Ezzine Missaoui

Publication Activity (10 Years)

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

Top Topics

Specification Languages

Hierarchical Decomposition

Formal Specification

Multi Agent Systems

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)