Vitor Lima

Publication Activity (10 Years)

Years Active: 2009-2010
Publications (10 Years): 0

Publications

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)
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. Electron. Notes Theor. Comput. Sci. 254 (2009)
Djedjiga Mouheb, Chamseddine Talhi, Vitor Lima, Mourad Debbabi, Lingyu Wang, Makan Pourzandi
Weaving security aspects into UML 2.0 design models. AOM@AOSD (2009)
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)
Chamseddine Talhi, Djedjiga Mouheb, Vitor Lima, Mourad Debbabi, Lingyu Wang, Makan Pourzandi
Usability of Security Specification Approaches for UML Design: A Survey. J. Object Technol. 8 (6) (2009)