Towards Software Architectural Description for Systems of Systems: Case of a Maritime Transport SoS. - Akram Seghiri; Faiza Belala; A. Aymen Teniou (ICIEB, 2018)

A Maude based Specification for SoS Architecture. - Akram Seghiri; Faïza Belala; Zakaria Benzadri; Nabil Hameurlain (SoSE, 2018)

Modeling the Dynamic Reconfiguration in Smart Crisis Response Systems. - Akram Seghiri; Faiza Belala; Nabil Hameurlain (ENASE, 2022)

An Integrated Approach to Formal Analyze Cyber Physical Systems. - Riad Helal; Akram Seghiri; Faiza Belala (TACC, 2022)

A Formal Language for Modelling and Verifying Systems-of-Systems Software Architectures. - Akram Seghiri; Faiza Belala; Nabil Hameurlain (Int. J. Syst. Serv. Oriented Eng., 2022)

ArchSoS: un langage de description d'architectures avancées des systèmes de systèmes. (ArchSoS: A description language of advanced systems of systems architectures). - Akram Seghiri (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 a Formal Modeling Approach for Cyber-Physical Systems Requirements. - Riad Helal; Akram Seghiri; Faiza Belala; Nabil Hameurlain (ICSCA, 2024)

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