Weaving security aspects into UML 2.0 design models. - Djedjiga Mouheb; Chamseddine Talhi; Vitor Lima; Mourad Debbabi; Lingyu Wang 001; Makan Pourzandi (AOM@AOSD, 2009)

An Aspect-Oriented Approach for Software Security Hardening: from Design to Implementation. - Djedjiga Mouheb; Chamseddine Talhi; Azzam Mourad; Vitor Lima; Mourad Debbabi; Lingyu Wang 001; Makan Pourzandi (SoMeT, 2009)

Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages. - Vitor Lima; Chamseddine Talhi; Djedjiga Mouheb; Mourad Debbabi; Lingyu Wang 001; Makan Pourzandi (SSV, 2009)

Usability of Security Specification Approaches for UML Design: A Survey. - Chamseddine Talhi; Djedjiga Mouheb; Vitor Lima; Mourad Debbabi; Lingyu Wang 001; Makan Pourzandi (J. Object Technol., 2009)

Aspect-Oriented Modeling for Representing and Integrating Security Concerns in UML. - Djedjiga Mouheb; Chamseddine Talhi; Mariam Nouh; Vitor Lima; Mourad Debbabi; Lingyu Wang 001; Makan Pourzandi (SERA (selected papers), 2010)

Aspect-Oriented Security Hardening of UML Design Models - Djedjiga Mouheb; Mourad Debbabi; Makan Pourzandi; Lingyu Wang 001; Mariam Nouh; Raha Ziarati; Dima Alhadidi; Chamseddine Talhi; Vitor Lima (Springer, 2015)