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

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

Design Patterns Formal Composition and Analysis. - Halima Douibi; Faiza Belala (Int. J. Inf. Technol. Syst. Approach, 2019)