A Generic Multi-Agent Architecture for the Virtual Enterprise. - Kamel Boukhelfa; Mahmoud Boufaïda (EMISA, 2004)

Inter-agent Communications During the Virtual Enterprise Creation. - Kamel Boukhelfa; Mahmoud Boufaïda (Business Process Management Workshops, 2005)

For more understandable UML diagrams. - Kamel Boukhelfa; Faiza Belala; Aicha Choutri; Halima Douibi (AICCSA, 2010)

Towards a Formalization of Real-Time Patterns-Based Designs. - Kamel Boukhelfa; Faiza Belala (CIIA, 2015)

A Combined Approach for RT-Systems Development and Analysis: Application to the COVID-19 Fever Detection System. - Kamel Boukhelfa; Faiza Belala (Int. J. Organ. Collect. Intell., 2022)

FRAME-ArchSoS: A Model-based Framework for the Formal Specification of Reliable Systems of Systems. - Riad Helal; Akram Seghiri; Kamel Boukhelfa; Faiza Belala; Nabil Hameurlain (ICAASE, 2024)

Towards Specification and Analysis of Dependable Cyber-Physical Systems. - Riad Helal; Kamel Boukhelfa; Akram Seghiri; Nabil Hameurlain; Faiza Belala (MEDI, 2024)