 | 2010 |
| 4 |  | Djedjiga Mouheb,
Chamseddine Talhi,
Mariam Nouh,
Vitor Lima,
Mourad Debbabi,
Lingyu Wang,
Makan Pourzandi:
Aspect-Oriented Modeling for Representing and Integrating Security Concerns in UML.
SERA (selected papers) 2010: 197-213 |
| 2009 |
| 3 |  | Djedjiga Mouheb,
Chamseddine Talhi,
Azzam Mourad,
Vitor Lima,
Mourad Debbabi,
Lingyu Wang,
Makan Pourzandi:
An Aspect-Oriented Approach for Software Security Hardening: from Design to Implementation.
SoMeT 2009: 203-222 |
| 2 |  | Vitor Lima,
Chamseddine Talhi,
Djedjiga Mouheb,
Mourad Debbabi,
Lingyu Wang,
Makan Pourzandi:
Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages.
Electr. Notes Theor. Comput. Sci. 254: 143-160 (2009) |
| 1 |  | Chamseddine Talhi,
Djedjiga Mouheb,
Vitor Lima,
Mourad Debbabi,
Lingyu Wang,
Makan Pourzandi:
Usability of Security Specification Approaches for UML Design: A Survey.
Journal of Object Technology 8(6): 102-122 (2009) |