Achieving Supplementary Requirements Using Aspect-Oriented Development. - Julie Vachon; Farida Mostefaoui (ICEIS (3), 2004)

Approche basée sur les réseaux de Petri pour la vérification de la composition dans les systèmes par aspects. - Farida Mostefaoui; Julie Vachon (Obj. Logiciel Base données Réseaux, 2006)

Verification of Aspect-UML models using alloy. - Farida Mostefaoui; Julie Vachon (AOM@AOSD, 2007)

Design-Level Detection of Interactions in Aspect-UML Models Using Alloy. - Farida Mostefaoui; Julie Vachon (J. Object Technol., 2007)