G-Stratification is Equivalent to F-Stratification. - Choukri-Bey Ben-Yelles (Math. Log. Q., 1981)

Supervision de systèmes complexes artificiels décentralisés. Proposition d'un modèle multi-agent récursif générique. - Thi-Thanh-Ha Hoang; Michel Occello; Jean-Paul Jamont; Choukri Ben-Yelles (Rev. d'Intelligence Artif., 2012)

Generating FoCaLiZe Specifications from UML Models. - Messaoud Abbas; Choukri-Bey Ben-Yelles; Renaud Rioboo (ICAASE, 2014)

Modeling UML Template Classes with FoCaLiZe. - Messaoud Abbas; Choukri-Bey Ben-Yelles; Renaud Rioboo (IFM, 2014)

A recursive approach to enable the collective level interaction of the Web of Things applications. - Afra Khenifar; Jean-Paul Jamont; Michel Occello; Choukri-Bey Ben-Yelles; Mouloud Koudil (IWWISS, 2014)

De la coopération des productions collectives dans un contexte multi-agent (présentation courte). - Afra Khenifar-Bessadi; Jean-Paul Jamont; Michel Occello; Choukri Ben-Yelles; Mouloud Koudil (JFSMA, 2016)

About cooperation of multiagent collective products: An approach in the context of cyber-physical systems. - Afra Khenifar-Bessadi; Jean-Paul Jamont; Michel Occello; Choukri-Bey Ben-Yelles; Mouloud Koudil (RIVF, 2016)

De la coopération de collectifs multi-agents. Un modèle d'utilisation de productions collectives. - Afra Khenifar-Bessadi; Jean-Paul Jamont; Michel Occello; Choukri-Bey Ben-Yelles; Mouloud Koudil (Rev. d'Intelligence Artif., 2017)

Modelling UML state machines with FoCaLiZe. - Messaoud Abbas; Choukri-Bey Ben-Yelles; Renaud Rioboo (Int. J. Inf. Commun. Technol., 2018)

A Multi-Cooperative-Based Approach to Manage Communication in Wireless Instrumentation Systems. - Nacer Hamani; Jean-Paul Jamont; Michel Occello; Choukri-Bey Ben-Yelles; André Lagrèze; Mouloud Koudil (IEEE Syst. J., 2018)

A multi-level generic multi-agent architecture for supervision of collective cyber-physical systems. - Michel Occello; Jean-Paul Jamont; Choukri-Bey Ben-Yelles; Thi-Thanh-Ha Hoang (Int. J. Auton. Adapt. Commun. Syst., 2019)

Formalizing UML/OCL structural features with FoCaLiZe. - Messaoud Abbas; Choukri-Bey Ben-Yelles; Renaud Rioboo (Soft Comput., 2020)

Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe. - Messaoud Abbas; Renaud Rioboo; Choukri-Bey Ben-Yelles; Colin F. Snook (J. Syst. Archit., 2021)

A Meta-Agent Based Approach to Exploit the Collective Product of Mobile Cyber-Physical Collectives. - Afra Khenifar; Jean-Paul Jamont; Michel Occello; Choukri-Bey Ben-Yelles; Mouloud Koudil (Frontiers Robotics AI, 2022)