A K-based language for Design Patterns. - Halima Douibi; Sahar Smaali; Faïza Belala (AICCSA, 2014)

Towards a meta-model for dynamic applications. - Sahar Smaali; Aïcha Choutri; Faïza Belala (CBSE, 2014)

K-Maude Definition of Dynamic Software Architecture. - Sahar Smaali; Aïcha Choutri; Faïza Belala (ICAASE, 2014)

K-based definition of Real Time Distributed Systems: from a meta-model to maude modules. - Sahar Smaali; Aicha Choutri; Faiza Belala (CFIP/NOTERE, 2015)

A formal framework-based K-Maude for modelling scalable software architectures. - Sahar Smaali; Aïcha Choutri; Faïza Belala (Int. J. Comput. Aided Eng. Technol., 2019)

Towards a Metamodeling approach For IoT based System of Systems. - Sahar Smaali; Rachida Boucebsi (TACC, 2021)

Towards a BRS-based Model for IoT Hybrid Fault Tolerance. - Sahar Smaali; Rachida Boucebsi; Wafa Ghemmaz (ICAASE, 2022)

A Fault Tolerance and Recovery Formal Model for IoT Systems. - Sahar Smaali; Riadh Benbessem; Hatem Mohamed Nazim Touati (Int. J. Organ. Collect. Intell., 2022)

DaVe: Data Value Evaluation Framework for Seamless Data Integration. - Souad Bouaicha; Wafa Ghemmaz; Sahar Smaali (IEEE Access, 2024)