A Life-cycle For Parallel And Distributed Systems Based On two Models Of Concurrency. - Mohamed Bettaz; Aicha Choutri; Gianna Reggio (PDP, 1994)

On Generating Tile System for a Software Architecture Case of a Collaborative Application Session. - Chafia Bouanaka; Aicha Choutri; Faiza Belala (ICSOFT (SE), 2007)

Towards a tile based LfP semantics. - Aicha Choutri; Faiza Belala; Kamel Barkaoui (RCIS, 2008)

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

A Tile Logic Based Approach for Software Architecture Description Analysis. - Aicha Choutri; Faiza Belala; Kamel Barkaoui (J. Softw. Eng. Appl., 2010)

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 improving the characteristics of deep neural networks: a meta-modeling approach. - Aicha Choutri; Angham Boukhari; Faiza Belala; Ahmed Hadj Kacem (TACC, 2023)

Towards a Maude-Based Approach for Formal Modeling Deep Neural Networks. - Angham Boukhari; Aïcha Choutri; Faiza Belala; Ahmed Hadj Kacem (LPKM, 2024)